Labeled Fitch-style natural deduction for basic intuitionistic conditional logic

DOI10.21146/2074-1472-2025-31-2-143-168MaRDI QIDQ6865989zbMATH OpenFDO

Authors Igor Vasil'evich Zaĭtsev

Publication date 30 January 2026

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.21146/2074-1472-2025-31-2-143-168

zbMATH Keywords

birelational Kripke semanticscompletenessconditional logiccounterfactualsdeductive equivalenceintuitionistic logiclabeled formulaelabelsnatural deductionproof theoryrelational atoms

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A semantic analysis of conditional logic1
• An intuitionistically complete system of basic intuitionistic conditional logic
• Basic conditional logic
• Basic intuitionistic conditional logic
• Completeness and decidability of three logics of counterfactual conditionals¹
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• Intuitionistic conditional logics
• Minimal-change counterfactuals in intuitionistic logic
• Models for normal intuitionistic modal logics
• Monotonicity in Intuitionistic Minimal Change Semantics Given Gärdenfors’ Triviality Result
• Natural deduction, hybrid systems and modal logics
• Natural derivations for Priest, an introduction to non-classical logic
• Notes on conditional logic
• Sequent Calculi for Normal Modal Propositional Logics
• Sequent-systems and groupoid models. I

This page was built for publication: Labeled Fitch-style natural deduction for basic intuitionistic conditional logic

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