scientific article; zbMATH DE number 3877155

MaRDI QIDQ3344181zbMATH OpenFDO

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

Publication date 1984

Full work available at URL https://eudml.org/doc/71566

zbMATH Keywords

axiomatization of many-valued logics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 3895040
• An axiomatization of the finite-valued Łukasiewicz calculus
• On a Method of Axiomatization of Some Propositional Calculi
• scientific article; zbMATH DE number 4010498
• The development of many-valued logics

Cited in

(17)

• ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft
• On axiomatization of many-valued logics associated with formalization of plausible reasonings
• On a Method of Axiomatization of Some Propositional Calculi
• scientific article; zbMATH DE number 6287639 (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
• scientific article; zbMATH DE number 4010498 (Why is no real title available?)
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Axiom schemes for m-valued propositions calculi
• Bookmaking over infinite-valued events
• Optimal axiomatizations of finitely valued logics
• An Axiomatic Value Model for Isabelle/UTP
• scientific article; zbMATH DE number 3957059 (Why is no real title available?)
• scientific article; zbMATH DE number 3859090 (Why is no real title available?)
• A finitely axiomatized formalization of predicate calculus with equality
• An axiomatization of the finite-valued Łukasiewicz calculus
• On finite-valued propositional logical calculi

This page was built for publication:

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