scientific article; zbMATH DE number 3758289

MaRDI QIDQ3941377zbMATH OpenFDO

Authors Neil Tennant

Publication date 1978

zbMATH Keywords

classical and intuitionistic variantscompactnesscompletenessconsistencyfirst and second order arithmeticsKripke semanticsnatural deduction

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Other nonclassical logic (03B60)

Cited in

(48)

• 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
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• 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
• Confronting ideals of proof with the ways of proving of the research mathematician
• 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
• First-order da Costa logic
• Towards proof-theoretic formulation of the general theory of term-forming operators
• Frege's class theory and the logic of sets
• Intensional harmony as isomorphism
• Dependent type refinements for futures
• When Iota meets lambda
• Cut elimination for negative free logics with definite descriptions
• Why should identity be logical??
• Perfect proofs at first order
• Coarsening natural deduction proofs. I: Finding perfect proofs
• Constructive validity of a generalized Kreisel-Putnam rule
• A note on the historiography of pre-modern connexive logic
• A binary quantifier for definite descriptions in Nelsonian free logic
• Core Tarski and Core McGee
• Normalisation for negative free logics without and with definite descriptions
• Disjunctive syllogism: the universal characterization of multiplicative ``or
• Normalisation for positive free logics without and with definite descriptions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3941377)