The idea of a proof-theoretic semantics and the meaning of the logical operations
From MaRDI portal
Publication:1970589
DOI10.1023/A:1005217827758zbMath0947.03072MaRDI QIDQ1970589
Publication date: 5 November 2000
Published in: Studia Logica (Search for Journal in Brave)
modal logictense logicproof systemfunctional completenessdisplay logicproof-theoretic semantics of logical operations
Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (16)
Conservativeness and Eliminability for Anti-Realistic Definitions ⋮ Connectives stranger than tonk ⋮ Logical connectives for constructive modal logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Intuitionistic logic is a connexive logic ⋮ FRACTIONAL-VALUED MODAL LOGIC ⋮ Fractional-Valued Modal Logic and Soft Bilateralism ⋮ Quine and Slater on paraconsistency and deviance ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Subatomic negation ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ Prawitz, Proofs, and Meaning ⋮ The calculus of natural calculation ⋮ Why does the proof-theory of hybrid logic work so well? ⋮ Bilattice logic properly displayed ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
This page was built for publication: The idea of a proof-theoretic semantics and the meaning of the logical operations
