scientific article
From MaRDI portal
Publication:3941377
zbMath0483.03001MaRDI QIDQ3941377
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencycompletenesscompactnessnatural deductionKripke semanticsclassical and intuitionistic variantsfirst and second order arithmetics
Other nonclassical logic (03B60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05)
Related Items (32)
Classical harmony: Rules of inference and the meaning of the logical constants ⋮ Minimal complete propositional natural deduction systems ⋮ Tableaux for free logics with descriptions ⋮ Confronting ideals of proof with the ways of proving of the research mathematician ⋮ ON FLATTENING ELIMINATION RULES ⋮ ``Inference versus consequence revisited: inference, consequence, conditional, implication ⋮ 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 ⋮ First-order da Costa logic ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Structural Rules in Natural Deduction with Alternatives ⋮ Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic ⋮ Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology ⋮ Free logics are cut-free ⋮ A natural deduction system for first degree entailment ⋮ Validity concepts in proof-theoretic semantics ⋮ On Tarski's axiomatization of mereology ⋮ Prawitz, Proofs, and Meaning ⋮ Inversion Principles and Introduction Rules ⋮ Harmony in Proof-Theoretic Semantics: A Reductive Analysis ⋮ Truthmaker maximalism and the truthmaker paradox ⋮ A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation ⋮ Rescuing implicit definition from abstractionism ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ CUT FOR CLASSICAL CORE LOGIC ⋮ Popper's theory of deductive inference and the concept of a logical constant ⋮ Perfect validity, entailment and paraconsistency ⋮ An alternative normalization of the implicative fragment of classical logic ⋮ CATEGORICAL HARMONY AND PATH INDUCTION
This page was built for publication:
