Counterexamples to import-export in conditionals: a logical analysis

DOI10.1007/978-3-031-99536-1_22MaRDI QIDQ6876445zbMATH OpenFDO

Authors Eric Raidl, Gilberto Gomes

Publication date 13 January 2026

Full work available at URL https://doi.org/10.1007/978-3-031-99536-1_22

zbMATH Keywords

conjunction eliminationexportGibbard's proofimplicative conditionalimportsimplification

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• Completeness for counter-doxa conditionals -- using ranking semantics
• Consequential implication and the implicative conditional
• Decision procedures for logics of consequential implication
• Definable conditionals
• Gibbard's collapse theorem for the indicative conditional: an axiomatic approach
• Logic: a history of its central concepts
• Modals and ConditionalsNew and Revised Perspectives
• Negation as cancellation, and connexive logic
• Principia mathematica. Vol 2, 3. 2. ed.
• Proof systems for super-strict implication
• Strengthened conditionals
• Super-strict implications
• The implicative conditional

This page was built for publication: Counterexamples to import-export in conditionals: a logical analysis

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