scientific article; zbMATH DE number 3877155
From MaRDI portal
Publication:3344181
zbMATH Open0551.03015MaRDI QIDQ3344181FDOQ3344181
Authors: O. M. Anshakov, S. V. Rychkov 
Publication date: 1984
Full work available at URL: https://eudml.org/doc/71566
Title of this publication is not available (Why is that?)
Recommendations
Cited In (17)
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
- On a Method of Axiomatization of Some Propositional Calculi
- On axiomatization of many-valued logics associated with formalization of plausible reasonings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Finite concrete logics: their structure and measures on them
- Title not available (Why is that?)
- Axiom schemes for m-valued propositions calculi
- A finite axiomatization of the set of strongly valid Ockhamist formulas
- An Axiomatic Value Model for Isabelle/UTP
- Bookmaking over infinite-valued events
- 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
- 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)
