A sound and complete proof theory for propositional logical contingencies
The authors call a propositional formula logically contingent if it is satisfiable and also falsifiable. Letting LC be the set of such formulas, they give a sound and complete axiomatic system for LC. It consists of two parts: the first is a set of rules for logically equivalent transformations, like replace \(\neg\neg A\) by \(A\), and the second is for contingency proper, e.g. (i) \(\vdash p\) where \(p\) is a sentence letter, (ii) if \(\vdash A\) then \(\vdash\neg A\), and (iii) if \(\vdash A\) then \(\vdash(A\wedge p)\vee (B\wedge\neg p)\). Completeness follows from the proof that truth tables can be handled by these axioms and rules. The authors point out that LC is an NP-complete set which is disjoint from two co-NP sets of logically true and logically false formulas. They also point out that LC in predicate calculus is not axiomatizable because of undecidability of validity. What kind of quantification rules are appopriate for LC is a project they leave for the future. \{The reviewer wonders what the situation is in intuitionism. Contingency in terms of Kripke models looks like an interesting subject.\}
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles
- The compression body graph has infinite diameter
- Producing 3D Ricci flows with nonnegative Ricci curvature via singular Ricci flows
- Paraconsistency in classical logic
- Ricci flow with bounded curvature integrals
- A sequent calculus for a logic of contingencies
- A sound and complete proof theory for the generalized logic of only knowing
- Classification of non-free Kleinian groups generated by two parabolic transformations
- The simplicial volume of contractible 3-manifolds
- Perelman-type no breather theorem for noncompact Ricci flows
- Logics for propositional contingentism
- The Lie bracket of undirected closed curves on a surface
- Hyper-elastic Ricci flow: Gradient flow, local existence-uniqueness, and a Perelman energy functional
- Geometric triangulations and the Teichmüller TQFT volume conjecture for twist knots
- The Space of Spaces: Curvature Bounds and Gradient Flows on the Space of Metric Measure Spaces
- A hypersequent calculus for classical contingencies
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)
