Proof-theoretic semantics, a problem with negation and prospects for modality

DOI10.1007/s10992-013-9310-6zbMath1426.03009arXiv2107.13988OpenAlexW2101642538MaRDI QIDQ266652

Nils Kürbis

Publication date: 13 April 2016

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.13988

zbMATH Keywords

harmonystabilitymodalitynegationproof-theoretic semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Logicality, double-line rules, and modalities, FRACTIONAL-VALUED MODAL LOGIC, Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules, Fractional-Valued Modal Logic and Soft Bilateralism, Bilateral Rules as Complex Rules, General-elimination stability, Hopeful monsters: a note on multiple conclusions, Definite Descriptions in Intuitionist Positive Free Logic

Cites Work

• A note on harmony
• General-elimination harmony and the meaning of the logical constants
• On the idea of a general proof theory
• Classical harmony: Rules of inference and the meaning of the logical constants
• Harmony and autonomy in classical logic
• On an intuitionistic modal logic
• Untersuchungen über das logische Schliessen. II
• Meaning approached via proofs
• A judgmental reconstruction of modal logic
• The consistency of arithmetics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item