Verification of the logical sequence in nonclassical multivalued logic

DOI10.20537/2226-3594-2017-50-07zbMATH Open1388.03028OpenAlexW2793000583MaRDI QIDQ4565258FDOQ4565258

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

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

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)

Cites Work

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

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)