A sequent calculus for a logic of contingencies

DOI10.1016/j.jal.2013.05.001zbMath1284.03256OpenAlexW2037897039MaRDI QIDQ2446684

Michael Tiomkin

Publication date: 17 April 2014

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

Full work available at URL: https://doi.org/10.1016/j.jal.2013.05.001

zbMATH Keywords

contingencysequent calculussoundness and completenesspropositional contingent formulas

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Structure of proofs (03F07)

Related Items (2)

Diversification of object-languages for propositional logics ⋮ Paraconsistency in classical logic

Cites Work

• Unnamed Item
• A formal system for the non-theorems of the propositional calculus
• A sound and complete proof theory for propositional logical contingencies
• Sentential calculus for logical falsehoods
• A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain

This page was built for publication: A sequent calculus for a logic of contingencies