Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics

DOI10.1007/978-3-030-71430-7_21MaRDI QIDQ5027251zbMATH OpenOpenAlexFDO

Authors Francis Jeffry Pelletier, A. P. Hazen

Publication date 4 February 2022

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-71430-7_21

zbMATH Keywords

conditionalsdisjunctionsfirst-degree entailmentintuitionistic logicmany-valued logicssubstitutivity in many-valued logics

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Recommendations

• Conditionals and Independence in Many-Valued Logics
• Pecularities of some three- and four-valued second order logics
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• Conditional \textbf{FDE} logics
• From many-valued consequence to many-valued connectives

Cites work

• 40 years of FDE: an introductory overview
• An Interpretation of Many-Valued Logic
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• Constructible falsity
• scientific article; zbMATH DE number 3139759 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 4118331 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• scientific article; zbMATH DE number 3304023 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• Inconsistent models of arithmetic. I: Finite models
• Inconsistent models of arithmetic. II: The general case
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Pecularities of some three- and four-valued second order logics
• Recursive Functions and Intuitionistic Number Theory
• Second-order logic of paradox
• Semantic analysis of orthologic
• The connectives

This page was built for publication: Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics

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