A simple cut-free system for a paraconsistent logic equivalent to S5

MaRDI QIDQ5224558zbMATH OpenFDO

Authors Arnon Avron, Ori Lahav

Publication date 24 July 2019

zbMATH Keywords

cut-eliminationhypersequentsmodal logicparaconsistent logicS5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A cut-free simple sequent calculus for modal logic S5
• Paraconsistency, self-extensionality, modality
• scientific article; zbMATH DE number 5263148
• Hypersequent calculi for S5: the methods of cut elimination
• Cut free sequent calculus for logic S5_n(ED)

Cited in

(6)

• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• scientific article; zbMATH DE number 5997427 (Why is no real title available?)
• scientific article; zbMATH DE number 6863636 (Why is no real title available?)
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• On a second-order version of Russellian theory of definite descriptions
• Nested sequent calculi for some modal logics with non-standard modalities

This page was built for publication: A simple cut-free system for a paraconsistent logic equivalent to S5

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