Pages that link to "Item:Q4842633"
From MaRDI portal
The following pages link to A geometric proof of the completeness of the Łukasiewicz calculus (Q4842633):
Displayed 19 items.
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- Bernoulli automorphisms of finitely generated free MV-algebras (Q860428) (← links)
- Free Łukasiewicz implication algebras (Q937211) (← links)
- A characterization of MV-algebras free over finite distributive lattices (Q938236) (← links)
- The complexity of McNaughton functions of one variable (Q1271879) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- On normal forms in Łukasiewicz logic (Q1882628) (← links)
- A characterization of truth-functions in the nilpotent minimum logic (Q1885724) (← links)
- Geometry of Robinson consistency in Łukasiewicz logic (Q2370369) (← links)
- Semiring and Semimodule Issues in MV-Algebras (Q2839091) (← links)
- Lattice-ordered Abelian groups and Schauder bases of unimodular fans (Q3420373) (← links)
- (Q3421450) (← links)
- Invariant Measures in Free MV-Algebras (Q3525186) (← links)
- A discrete representation of free MV-algebras (Q3566946) (← links)
- Faithful and Invariant Conditional Probability in Łukasiewicz Logic (Q3600570) (← links)
- Varieties of MV-algebras (Q4443424) (← links)
- The Lebesgue state of a unital abelian lattice-ordered group (Q5309027) (← links)
- Decidable and undecidable prime theories in infinite-valued logic (Q5935996) (← links)
- Functorial representation theorems for MV\(_\Delta\) algebras with additional operators (Q5936152) (← links)