SEMANTIC POLLUTION AND SYNTACTIC PURITY

DOI10.1017/S1755020315000210zbMath1375.03010OpenAlexW2262950274MaRDI QIDQ3459083

Stephen Read

Publication date: 30 December 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020315000210

zbMATH Keywords

modal logiclabelled deductive systemssyntactic purity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Abstract deductive systems (03B22)

Related Items (5)

EPISTEMIC MULTILATERAL LOGIC ⋮ Identity and harmony and modality ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Actuality, tableaux, and two-dimensional modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• Harmony and autonomy in classical logic
• ON FLATTENING ELIMINATION RULES
• Labelled propositional modal logics: theory and practice
• The Different Ways in which Logic is (said to be) Formal
• Analytic natural deduction

This page was built for publication: SEMANTIC POLLUTION AND SYNTACTIC PURITY