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):
Displaying 28 items.
- Germinal theories in Łukasiewicz logic (Q515569) (← links)
- Consequence and interpolation in Łukasiewicz logic (Q647417) (← links)
- An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz (Q677079) (← links)
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- Bernoulli automorphisms of finitely generated free MV-algebras (Q860428) (← links)
- Pavelka-style completeness in expansions of Łukasiewicz logic (Q937210) (← 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)
- Finiteness in infinite-valued Łukasiewicz logic (Q1971778) (← links)
- Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. (Q2351509) (← links)
- Geometry of Robinson consistency in Łukasiewicz logic (Q2370369) (← links)
- An asymptotically tight bound on countermodels for Łukasiewicz logic (Q2506811) (← 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)
- (Q4836220) (← links)
- Consequence Relations with Real Truth Values (Q5020171) (← 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)
