Pages that link to "Item:Q2425353"

The following pages link to A sound and complete proof theory for propositional logical contingencies (Q2425353):

Displaying 14 items.

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