Publication:3941377
From MaRDI portal
zbMath0483.03001MaRDI QIDQ3941377
Publication date: 1978
consistency; completeness; compactness; natural deduction; Kripke semantics; classical and intuitionistic variants; first and second order arithmetics
03B60: Other nonclassical logic
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B10: Classical first-order logic
03B05: Classical propositional logic
Related Items
Free Definite Description Theory – Sequent Calculi and Cut Elimination, Definite Descriptions in Intuitionist Positive Free Logic, Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic, Prawitz, Proofs, and Meaning, Inversion Principles and Introduction Rules, Harmony in Proof-Theoretic Semantics: A Reductive Analysis, A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation, CUT FOR CLASSICAL CORE LOGIC, CATEGORICAL HARMONY AND PATH INDUCTION, A natural deduction system for first degree entailment, RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH, The placeholder view of assumptions and the Curry-Howard correspondence, Core Gödel, A step towards absolute versions of metamathematical results, WHAT IS A RULE OF INFERENCE?, Structural Rules in Natural Deduction with Alternatives, ``Inference versus consequence revisited: inference, consequence, conditional, implication, Confronting ideals of proof with the ways of proving of the research mathematician, First-order da Costa logic, Perfect validity, entailment and paraconsistency, Classical harmony: Rules of inference and the meaning of the logical constants, Minimal complete propositional natural deduction systems, Truthmaker maximalism and the truthmaker paradox, Rescuing implicit definition from abstractionism, Tableaux for free logics with descriptions, Free logics are cut-free, On Tarski's axiomatization of mereology, An alternative normalization of the implicative fragment of classical logic, Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology, Validity concepts in proof-theoretic semantics, ON FLATTENING ELIMINATION RULES, Popper's theory of deductive inference and the concept of a logical constant