De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics

DOI10.1007/S10992-020-09572-7MaRDI QIDQ830363zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 7 May 2021

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10992-020-09572-7

zbMATH Keywords

proof theoryindicative conditionalsalgebraic semanticstrivalent logicsconnexive logicsCooper-Cantwell conditionalde Finetti conditional

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
• Indicative conditionals and dynamic epistemic logic
• Intuitionistic conditional logics
• scientific article; zbMATH DE number 753779
• scientific article; zbMATH DE number 4116521
• Finitary algebraic logic II
• Conditionals and modularity in general logics
• On intermediate inquisitive and dependence logics: an algebraic study
• scientific article; zbMATH DE number 3910368
• Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic

Cites work

• scientific article; zbMATH DE number 446843 (Why is no real title available?)
• scientific article; zbMATH DE number 560935 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• A calculus of antinomics
• A treatise on many-valued logics
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Algebras of intervals and a logic of conditional assertions
• Conditional objects as nonmonotonic consequence relationships
• Conservatively extending classical logic with transparent truth
• Counterfactuals.
• Deduction with uncertain conditionals
• Doubt truth to be a liar
• Ein System des Verknüpfenden Schliessens
• Elementary induction on abstract structures
• Equivalential and algebraizable logics
• Material implication, confirmation, and counterfactuals
• On Priest's logic of paradox
• Proof theory. The first step into impredicativity
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• The connectives
• The logic of conditional negation
• The logic of conditionals. An application of probability to deductive logic
• The logic of paradox

Cited in

(4)

• Dutch book against Lewis
• De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
• The Ramsey test and evidential support theory
• A simple way to overcome hyperconnexivity

This page was built for publication: De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics

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