Some problems concerning axiom systems for finitely many-valued propositional logics
From MaRDI portal
Recommendations
- On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
- On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz
- scientific article; zbMATH DE number 1749199
- On a Method of Axiomatization of Some Propositional Calculi
- scientific article; zbMATH DE number 560935
Cites work
- A theorem about infinite-valued sentential logic
- A treatise on many-valued logics
- Algebraic foundations of many-valued reasoning
- An axiomatization of the finite-valued Łukasiewicz calculus
- An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems
- Characterization of prime numbers in Łukasiewicz's logical matrix
- scientific article; zbMATH DE number 5920144 (Why is no real title available?)
- scientific article; zbMATH DE number 1346445 (Why is no real title available?)
- scientific article; zbMATH DE number 201040 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- scientific article; zbMATH DE number 2101974 (Why is no real title available?)
- scientific article; zbMATH DE number 3073052 (Why is no real title available?)
- Jerzy Słupecki (1904-1987): Life and work
- On Słupecki T-functions
- On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
- The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940
- The many valued and nonmonotonic turn in logic
- Three-valued logics for incomplete information and epistemic logic
Cited in
(1)
This page was built for publication: Some problems concerning axiom systems for finitely many-valued propositional logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6599632)
