Verification of the logical sequence in nonclassical multivalued logic

DOI10.20537/2226-3594-2017-50-07MaRDI QIDQ4565258zbMATHOpenAlexFDO

Authors Yu. M. Smetanin

Publication date 8 June 2018

Published in Izvestiya Instituta Matematiki i Informatiki. Udmurt. Gos. Univ. (Search for Journal in Brave)

Full work available at URL https://doi.org/10.20537/2226-3594-2017-50-07

zbMATH Keywords

Boolean algebraGalois correspondencealgebraic systemsyllogisticlogical equationsalgebraic ontologynonparadoxical logical consequence

Mathematics Subject Classification ID

Many-valued logic (03B50) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Logic in computer science (03B70) Other algebras related to logic (03G25)

Recommendations

• Many-valued Logics in Classical and Quantum Gates
• Encoding two-valued nonclassical logics in classical logic
• Nonmonotonicity and holicity in quantum logic
• Non-interactive classical verification of quantum computation
• Quantum logic and nonclassical logics
• A many-valued approach to quantum computational logics
• scientific article; zbMATH DE number 1361537
• A note on many valued quantum computational logics
• Nonordered quantum logic and its YES-NO representation

Cites work

• A method for the synthesis of deducibility conditions for Horn and some other formulas
• Compositional event semantics in pregroup grammars
• On the non-Aristotelian concept structure
• Syntactic interpretation of categorical attributive propositions

This page was built for publication: Verification of the logical sequence in nonclassical multivalued logic

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