scientific article; zbMATH DE number 3630747

zbMATH Open0406.03069MaRDI QIDQ4192055FDOQ4192055

Authors: Dag Prawitz 

Publication date: 1979

Title of this publication is not available (Why is that?)

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)

• 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
• Definite descriptions in intuitionist positive free logic
• General-elimination harmony and the meaning of the logical constants
• 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
• Prawitz, Proofs, and Meaning
• Logical connectives for constructive modal logic
• Inversion principles and introduction rules
• Classical harmony: Rules of inference and the meaning of the logical constants
• Proof-theoretic harmony: towards an intensional account
• Stabilizing quantum disjunction
• 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
• Eight rules for implication elimination
• Intensional harmony as isomorphism
• Is there a neutral metalanguage?
• 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 explosion calculus
• The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
• 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
• Bilateral inversion principles

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)