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 logic; tense logic; proof system; functional completeness; display logic; proof-theoretic semantics of logical operations
03B45: Modal logic (including the logic of norms)
03B44: Temporal logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere, 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, On reduction rules, meaning-as-use, and proof-theoretic semantics, Quine and Slater on paraconsistency and deviance, Conservativeness and Eliminability for Anti-Realistic Definitions, Why does the proof-theory of hybrid logic work so well?