Logics of generalized classical truth values

MaRDI QIDQ5354817zbMATH OpenFDO

Authors Dmitry V. Zaitsev

Publication date 4 September 2017

zbMATH Keywords

generalized truth valueslogic of generalized classical valuessemi-classical negation

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• A note on FDE ``all the way up
• Truth and falsehood. An inquiry into generalized logical values
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Generalized truth values.: A reply to Dubois

Cited in

(13)

• Supervaluation fixed-point logics of truth
• Intersubstitutivity principles and the generalization function of truth
• Valuation semantics for first-order logics of evidence and truth
• The logic of generalized truth values and the logic of bilattices
• Author's response to Wansing and Belnap's Generalized truth-values
• scientific article; zbMATH DE number 5722454 (Why is no real title available?)
• scientific article; zbMATH DE number 1859178 (Why is no real title available?)
• Theories of truth for countable languages which conform to classical logic
• Relevant generalization starts here (and here = 2)
• Vojshvillo-style semantics for some extensions of FDE. I
• Truth and falsehood. An inquiry into generalized logical values
• Truth-value semantics and functional extensions for classical logic of partial terms based on equality
• On retaining classical truths and classical deducibility in many-valued and fuzzy logics

This page was built for publication: Logics of generalized classical truth values

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