Analytic calculi for logics of indicative conditionals
From MaRDI portal
Cites work
- Abstract algebraic logic. An introductory textbook
- Adding an implication to logics of perfect paradefinite algebras
- An algebraic investigation of the connexive logic \(\mathsf{C}\)
- An algebraic view of super-Belnap logics
- Analytic calculi for monadic PNmatrices
- Automated deduction for many-valued logics
- Axiomatizing non-deterministic many-valued generalized consequence relations
- Connexive modal logic
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
- Finite-valued semantics for canonical labelled calculi
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- La logique de la probabilité.
- Material implication, confirmation, and counterfactuals
- Modular many-valued semantics for combined logics
- Multi-valued Calculi for Logics Based on Non-determinism
- The algebra of ordinary discourse. On the semantics of Cooper's logic
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- The connectives
- The logic of conditional negation
- The logic of paradox
- Theory of logical calculi. Basic theory of consequence operations
This page was built for publication: Analytic calculi for logics of indicative conditionals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6860395)
