logic

Documents about logic

• An introduction to symbolic logic#277389Open Library
• The Game of Logic#32756Project Gutenberg
• A logic before the Logic#106372PhilArchive
• Deductive Logic#34064Project Gutenberg
• Logic: Deductive and Inductive#39487Project Gutenberg
• Logic, Inductive and Deductive#45835Project Gutenberg
• Reasons for Logic, Logic for Reasons#71004PhilArchive
• Symbolic Logic#44342Project Gutenberg
• Framework of Dichotomous Logic and Non-logic#76529PhilArchive
• Supervaluationism, Modal Logic, and Weakly Classical Logic#79603PhilArchive
• Transcendental Logic and the Logic of Thought#104602PhilArchive
• A meta-modal logic for bisimulations#139214arXiv (OAI)
• Intuitionistic logic versus paraconsistent logic. Categorical approach#78749PhilArchive
• First-order logic, second-order logic, and completeness#97712PhilArchive
• Studies and Exercises in Formal Logic#58250Project Gutenberg
• The calculus of logic#62751Project Gutenberg
• Classical Logic and Neutrosophic Logic. Answers to K. Georgiev#71389PhilArchive
• Introduction to Plithogenic Logic as generalization of MultiVariate Logic#94975PhilArchive
• an-introduction-to-probability-and-inductive-logic#334080Internet Archive
• A logic for diffusion in social networks#227262Lund University Publications
• Essays in Experimental Logic#50263Project Gutenberg
• Modal Logic as Poly-Logic: A Non-Relational Approach#75372PhilArchive
• Précis of _Reasons for Logic, Logic for Reasons_#108690PhilArchive
• Logic of ER I - Core Logic & Meta-Theory: A Conservative Predicate Extension of First-Order Linear Tense Logic#71206PhilArchive
• A Logic of Facts; Or, Every-day Reasoning#48473Project Gutenberg
• Studies in Logical Theory#50197Project Gutenberg
• On Modal Logics, IF Logic, and IF Modal Logic#91781PhilArchive
• The superiority of replacing science and traditional logic with pure logic#120899PhilArchive
• ECL3: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and Completeness#244988PhilArchive
• When is an exercise in logic also a logic game?#89936PhilArchive
• Discussive Logic. A Short History of the First Paraconsistent Logic#92332PhilArchive
• Formalization of dialectical logic, Separation theory of truth. Logic of cellular automata#118378PhilArchive
• Semantics out of context: nominal absolute denotations for first-order logic and computation#149126arXiv (OAI)
• Logic#109031PhilArchive
• The Logic of Hegel#56441Project Gutenberg
• The Essentials of Logic, Being Ten Lectures on Judgment and Inference#59916Project Gutenberg
• First notions of logic (preparatory to the study of geometry)#61600Project Gutenberg
• Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed#117781PhilArchive
• The Temporal Logic Synthesis Format TLSF v1.2#141616arXiv (OAI)
• Logic: From Philosophy to Mathematics? Towards George Boole’s Algebra of Logic#170249PhilArchive
• Approaches to the Impure Logic of Ground: Approaches to the Impure Logic..#86820PhilArchive
• Constraint Logic: A Conservative Non-Classical Logic System Based on the Uniqueness of Constraints#105392PhilArchive
• Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail#112137PhilArchive
• Replies for book symposium: Hlobil/Brandom _Reasons for Logic, Logic for Reasons_#113755PhilArchive
• Heterogeneous Dynamic Logic: Provability Modulo Program Theories#144320arXiv (OAI)
• Multidimensional Logic on the Generalized Consequences. In: 2000 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium 2000, Paris, France, July 23-31, 2000#93539PhilArchive
• Operant Logic#81581PhilArchive
• A System of Logic, Ratiocinative and Inductive#44007Project Gutenberg
• Logic as the Science of the Pure Concept#56039Project Gutenberg
• The Foundations of Truth: A Dual-Aspect Framework of Consciousness and Logic within Fourfold Logic#76830PhilArchive

Related topics