DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Classical logic
Classical logic
Chapter 2 Introduction to Classical Propositional
Aristotle's Assertoric Syllogistic and Modern Relevance Logic*
Theorem Proving in Classical Logic
John P. Burgess Department of Philosophy Princeton University Princeton, NJ 08544-1006, USA
[email protected]
A Quasi-Classical Logic for Classical Mathematics
The Development of Mathematical Logic from Russell to Tarski: 1900–1935
Introduction to Formal Logic II (3 Credit
Common Sense for Concurrency and Strong Paraconsistency Using Unstratified Inference and Reflection
Traditional Logic and Computational Thinking
On Bar Recursive Interpretations of Analysis. Powell, Thomas Rhidian John
Classical Logic, Argument and Dialectic
Some Basics of Classical Logic
Logic in Philosophy of Mathematics
8. Propositional Logic Natural Deduction - Negation
§1. Introduction. Ever Since the Undecidability of First-Order Classical
CHAPTER 11 Introduction to Intuitionistic Logic
Some Arguments Are Probably Valid: Syllogistic Reasoning As Communication Michael Tessler, Noah D
Syllogistic Reasoning with Intermediate Quantifiers
Top View
Lecture Notes on Classical Modal Logic
A Concise Introduction to Mathematical Logic
Propositional Calculus the Word “Logic” Has Many Different Meanings
Introduction to Constructive Logic and Mathematics
Recursive Predicates and Quantifiersc1)
Curry-Howard: Unveiling the Computational Content of Proofs
Strong De Morgan's Law and the Spectrum of a Commutative Ring
Classical and Nonclassical Logics
Proof Theory Foundations and Applications
An Introduction to Logic: from Everyday Life to Formal Systems Albert Mosley Smith College,
[email protected]
Mathematical Logic
A Computational Understanding of Classical (Co)Recursion
Classical and Constructive Logic
The Logic of Partitions: Introduction to the Dual of the Logic of Subsets
Extending LP with a Strong Conditional Operator
Classical Logic in the Quantum Context
An Introduction to Partition Logic
Formalising the Completeness Theorem of Classical Propositional Logic in Agda (Proof Pearl)
Logic in the Second Half of the Twentieth Century
Lecture Notes on Classical Logic
Fuzzy Systems Fuzzy Logic
Infinitary Classical Logic: Recursive Equations and Interactive Semantics
Part 1: Propositional Logic
Nyaya Methodology and Western Mathematical Logic: Origins and Implications
Symbolic Logic II
Algebraic Hierarchy of Logics Unifying Fuzzy Logic and Quantum Logic
Classical Logic, Control Calculi and Data Types
Classical Mathematics for a Constructive World
Understanding and Using Spector's Bar Recursive Interpretation Of
Logical Reasoning Beyond Classical Logic: an Illustration with Pythagoras Theorem
The Mental Logic Theory and De Morgan's Laws
0. Introduction
Classical Logic Stewart Shapiro
A Syllogistic Reasoning Theory and Three Examples
1 Demorgan's Law 2 Restricted Sequent Calculus 3 Soundness
Boolean and Ortho Fuzzy Subset Logics
« Mathematical Foundations: (2) Classical First-Order Logic »
Syllogistic Reasoning in Seven Spaces