ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI

DOI10.1070/SM1985V051N02ABEH002870zbMATH Open0566.03010OpenAlexW2056528614WikidataQ63762585 ScholiaQ63762585MaRDI QIDQ3680809FDOQ3680809

Authors O. M. Anshakov, S. V. Rychkov

Publication date 1985

Published in Mathematics of the USSR-Sbornik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/sm1985v051n02abeh002870

zbMATH Keywords

axiomatization of many-valued logics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited in

(14)

• An Axiomatic Value Model for Isabelle/UTP
• Optimal axiomatizations of finitely valued logics
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
• Abelian groups in Russia.
• scientific article; zbMATH DE number 3957059 (Why is no real title available?)
• Towards a Behavioral Algebraic Theory of Logical Valuations
• ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft
• scientific article; zbMATH DE number 6287639 (Why is no real title available?)
• scientific article; zbMATH DE number 3859090 (Why is no real title available?)
• scientific article; zbMATH DE number 6290329 (Why is no real title available?)
• Finite concrete logics: their structure and measures on them
• On finite-valued propositional logical calculi
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• A finitely axiomatized formalization of predicate calculus with equality

This page was built for publication: ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI

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