Logicality, double-line rules, and modalities

DOI10.1007/s11225-017-9778-0OpenAlexW2791118640MaRDI QIDQ2631645

Norbert Gratzl, Eugenio Orlandelli

Publication date: 15 May 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9778-0

zbMATH Keywords

proof-theoretic semanticsdisplay calculilogicalitydouble-line rulesnormal modalities

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Proof-theoretic pluralism ⋮ Hopeful monsters: a note on multiple conclusions

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Logical constants as punctuation marks
• Simple consequence relations
• Proof analysis in modal logic
• Display calculi and other modal calculi: a comparison
• Displaying modal logic
• Display logic
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• What is Logic?
• Popper's theory of deductive inference and the concept of a logical constant
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Sequent Calculi for Normal Modal Propositional Logics
• Basic logic: reflection, symmetry, visibility
• Popper's Notion of Duality and His Theory of Negations
• Sequent-systems for modal logic
• Power and Limits of Structural Display Rules
• WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS

This page was built for publication: Logicality, double-line rules, and modalities