scientific article; zbMATH DE number 3630747
From MaRDI portal
Publication:4192055
zbMath0406.03069MaRDI QIDQ4192055
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CompletenessLinguisticsPhilosophical LogicMeaningNatural DeductionEmpirical DeductionGeneral Proof TheorySentential Operation
Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)
Related Items
Proof-theoretic semantics, a problem with negation and prospects for modality, Classical harmony: Rules of inference and the meaning of the logical constants, Stabilizing quantum disjunction, The naturality of natural deduction, Logical connectives for constructive modal logic, General-elimination harmony and the meaning of the logical constants, The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics, The explosion calculus, On the equivalence conjecture for proof-theoretic harmony, Is there a neutral metalanguage?, Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts, Proof-theoretic harmony: towards an intensional account, Book review of: N. Kürbis, Proof and falsity: a logical investigation, Do-it-yourself type theory, Unnamed Item, General-elimination stability, Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different, Proof, meaning and paradox: some remarks, Functional completeness for subsystems of intuitionistic propositional logic, Prawitz, Proofs, and Meaning, Inversion Principles and Introduction Rules, A new connective in natural deduction, and its application to quantum computing, Steps towards a proof-theoretical semantics, The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle, Definite Descriptions in Intuitionist Positive Free Logic, Normalisation and subformula property for a system of classical logic with Tarski's rule, Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds, The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives