scientific article; zbMATH DE number 3630747

MaRDI QIDQ4192055zbMATH OpenFDO

Authors Dag Prawitz

Publication date 1979

zbMATH Keywords

CompletenessEmpirical DeductionGeneral Proof TheoryLinguisticsMeaningNatural DeductionPhilosophical LogicSentential Operation

Mathematics Subject Classification ID

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

Cited in

(33)

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

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)