Logicality, double-line rules, and modalities

DOI10.1007/S11225-017-9778-0MaRDI QIDQ2631645zbMATH OpenOpenAlexFDO

Authors 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

display calculidouble-line ruleslogicalitynormal modalitiesproof-theoretic semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Non normal logics: semantic analysis and proof theory
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• Logical constants: a modalist approach
• A semantical analysis of cut-free calculi for modal logics
• scientific article; zbMATH DE number 2211927

Cites work

• Basic logic: reflection, symmetry, visibility
• Display calculi and other modal calculi: a comparison
• Display logic
• Displaying modal logic
• Double-line harmony in a sequent setting
• First-order logic: (philosophical) pro and contra
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• scientific article; zbMATH DE number 5902347 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3365218 (Why is no real title available?)
• scientific article; zbMATH DE number 970627 (Why is no real title available?)
• scientific article; zbMATH DE number 970628 (Why is no real title available?)
• scientific article; zbMATH DE number 2211927 (Why is no real title available?)
• scientific article; zbMATH DE number 3045769 (Why is no real title available?)
• Logical constants as punctuation marks
• Popper's Notion of Duality and His Theory of Negations
• Popper's theory of deductive inference and the concept of a logical constant
• Power and limits of structural display rules
• Proof analysis in modal logic
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Sequent Calculi for Normal Modal Propositional Logics
• Sequent-systems for modal logic
• Simple consequence relations
• Structural proof theory. With an appendix by Aarne Ranta
• Weak disharmony: some lessons for proof-theoretic semantics
• What is Logic?

Cited in

(4)

• Hopeful monsters: a note on multiple conclusions
• scientific article; zbMATH DE number 6163273 (Why is no real title available?)
• Some dual logic without tautologies
• Proof-theoretic pluralism

Describes a project that uses

Uses Software

• Pesca

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631645)