Verification of the logical sequence in nonclassical multivalued logic

DOI10.20537/2226-3594-2017-50-07zbMath1388.03028OpenAlexW2793000583MaRDI QIDQ4565258

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 algebrasyllogisticlogical equationsalgebraic systemGalois correspondencealgebraic ontologynonparadoxical logical consequence

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• A method for the synthesis of deducibility conditions for Horn and some other formulas
• Compositional Event Semantics in Pregroup Grammars

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