Pages that link to "Item:Q3043113"
From MaRDI portal
The following pages link to A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics <i>VC</i> and <i>VCS</i> (Q3043113):
Displayed 9 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- Trees and diagrams of decomposition (Q1066888) (← links)
- PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- Winter meeting of the Association for Symbolic Logic, San Antonio, 1993 (Q4302363) (← links)
