scientific article; zbMATH DE number 3630747

MaRDI QIDQ4192055zbMATH OpenFDO

Authors Dag Prawitz

Publication date 1979

zbMATH Keywords

CompletenessLinguisticsPhilosophical LogicMeaningNatural DeductionEmpirical DeductionGeneral Proof TheorySentential Operation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)

Cited in

(31)

• Bilateral inversion principles
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Book review of: N. Kürbis, Proof and falsity: a logical investigation
• Do-it-yourself type theory
• General-elimination harmony and the meaning of the logical constants
• Definite descriptions in intuitionist positive free logic
• Steps towards a proof-theoretical semantics
• 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
• Logical connectives for constructive modal logic
• Prawitz, Proofs, and Meaning
• Classical harmony: Rules of inference and the meaning of the logical constants
• Inversion principles and introduction rules
• Stabilizing quantum disjunction
• Proof-theoretic harmony: towards an intensional account
• On the equivalence conjecture for proof-theoretic harmony
• Functional completeness for subsystems of intuitionistic propositional logic
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Is there a neutral metalanguage?
• Eight rules for implication elimination
• Intensional harmony as isomorphism
• Propositional logics complexity and the sub-formula property
• Proof, meaning and paradox: some remarks
• A new connective in natural deduction, and its application to quantum computing
• The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
• The explosion calculus
• The naturality of natural deduction
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• General-elimination stability
• Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

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 Q4192055)