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)

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