ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI
From MaRDI portal
Publication:3680809
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
Cited In (14)
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
- Title not available (Why is that?)
- Title not available (Why is that?)
- Finite concrete logics: their structure and measures on them
- Abelian groups in Russia.
- Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
- Towards a Behavioral Algebraic Theory of Logical Valuations
- A finite axiomatization of the set of strongly valid Ockhamist formulas
- An Axiomatic Value Model for Isabelle/UTP
- Optimal axiomatizations of finitely valued logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- A finitely axiomatized formalization of predicate calculus with equality
- On finite-valued propositional logical calculi
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)
