A sound and complete proof theory for propositional logical contingencies

DOI10.1305/NDJFL/1193667709zbMATH Open1142.03007OpenAlexW2028514779MaRDI QIDQ2425353FDOQ2425353

Authors: Yanyan Li 

Publication date: 29 April 2008

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1193667709

Recommendations

• A sequent calculus for a logic of contingencies
• Logics for propositional contingentism
• Neighborhood contingency logic
• scientific article
• Propositional quantification in logics of contingency

zbMATH Keywords

complete axiomatic systemlogical contingency

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cited In (15)

• A sound and complete proof theory for the generalized logic of only knowing
• The compression body graph has infinite diameter
• The simplicial volume of contractible 3-manifolds
• The Lie bracket of undirected closed curves on a surface
• Logics for propositional contingentism
• Soundness of abductive proof procedure with respect to constraint for non-ground abducibles
• Paraconsistency in classical logic
• Ricci flow with bounded curvature integrals
• Perelman-type no breather theorem for noncompact Ricci flows
• Hyper-elastic Ricci flow: Gradient flow, local existence-uniqueness, and a Perelman energy functional
• The Space of Spaces: Curvature Bounds and Gradient Flows on the Space of Metric Measure Spaces
• Producing 3D Ricci flows with nonnegative Ricci curvature via singular Ricci flows
• A sequent calculus for a logic of contingencies
• Classification of non-free Kleinian groups generated by two parabolic transformations
• Geometric triangulations and the Teichmüller TQFT volume conjecture for twist knots

This page was built for publication: A sound and complete proof theory for propositional logical contingencies

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