A sound and complete proof theory for propositional logical contingencies
From MaRDI portal
Publication:2425353
DOI10.1305/ndjfl/1193667709zbMath1142.03007OpenAlexW2028514779MaRDI QIDQ2425353
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
Related Items (12)
The simplicial volume of contractible 3-manifolds ⋮ 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 sequent calculus for a logic of contingencies ⋮ Paraconsistency in classical logic ⋮ The compression body graph has infinite diameter ⋮ Perelman-type no breather theorem for noncompact Ricci flows ⋮ Ricci flow with bounded curvature integrals ⋮ Classification of non-free Kleinian groups generated by two parabolic transformations ⋮ Producing 3D Ricci flows with nonnegative Ricci curvature via singular Ricci flows ⋮ The Lie bracket of undirected closed curves on a surface
This page was built for publication: A sound and complete proof theory for propositional logical contingencies
