Non-classical operations hidden in classical logic

DOI10.3166/JANCL.18.309-324MaRDI QIDQ3643318zbMATH OpenOpenAlexFDO

Authors Vladimir Sotirov

Publication date 11 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.18.309-324

zbMATH Keywords

4-valued logicKripke semanticsnecessitynegation

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Non-classical operations hidden in the classical logic
• Translating non-classical logics into classical logic by using hidden variables
• Classical negation and expansions of Belnap-Dunn logic
• Non-commutative Łukasiewicz propositional logic
• A non-deterministic view on non-classical negations

Cites work

• A note on partial postulate sets for propositional logic
• Algebraic semantics for modal logics I
• An algebraic approach to non-classical logics
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• Note on truth-tables
• On Lukasiewicz's L-modal system
• On Łukasiewicz's four-valued modal logic
• The -system and the L-system of modal logic

Cited in

(4)

• Translating non-classical logics into classical logic by using hidden variables
• Correspondence analysis and automated proof-searching for first degree entailment
• Non-classical operations hidden in the classical logic
• Peirce and Łukasiewicz on modal and multi-valued logics

This page was built for publication: Non-classical operations hidden in classical logic

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