Pages that link to "Item:Q3269132"
From MaRDI portal
The following pages link to A New Proof of the Completeness of the Lukasiewicz Axioms (Q3269132):
Displayed 50 items.
- (Q4276519) (← links)
- (Q4461621) (← links)
- (Q4461656) (← links)
- DRl-semigroups and MV-algebras (Q4515309) (← links)
- Subdirect product decompositions of MV-algebras (Q4515360) (← links)
- (Q4529552) (← links)
- Łukasiewicz and His Followers in Many-Valued Logic (Q4611677) (← links)
- Direct product decomposition of $MV$-algebras (Q4697511) (← links)
- (Q4792079) (← links)
- A non-commutative generalization of MV-algebras (Q4799961) (← links)
- Some Properties of Residuated Lattices (Q4802833) (← links)
- On complete $MV$-algebras (Q4864773) (← links)
- Sequential convergences on $MV$-algebras (Q4875080) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- HvMV-ALGEBRAS II (Q4956358) (← links)
- MOST RESULTS ON A-IDEALS IN MV -MODULES (Q4956390) (← links)
- Sheaf representations and locality of Riesz spaces with order unit (Q4989721) (← links)
- Consequence Relations with Real Truth Values (Q5020171) (← links)
- (Q5040925) (← links)
- Computing on Lattice-Ordered Abelian Groups (Q5049052) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- A metric-like topology yon BL-algebras (Q5064400) (← links)
- An algebraic analysis of categorical syllogisms by using Carroll’s diagrams (Q5080304) (← links)
- (Q5122707) (← links)
- (Q5130674) (← links)
- Bratteli diagrams via the De Concini–Procesi theorem (Q5159143) (← links)
- The eal truth (Q5179272) (← links)
- Spectrum Topology of a Residuated Lattice (Q5216843) (← links)
- (Q5288320) (← links)
- (Q5389824) (← links)
- (Q5389865) (← links)
- A non-associative generalization of MV-algebras (Q5422708) (← links)
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case (Q5426002) (← links)
- The block structure of complete lattice ordered effect algebras (Q5452624) (← links)
- MVW-rigs and product MV-algebras (Q5742700) (← links)
- Additive derivative and multiplicative coderivative operators on MV-algebras (Q5743024) (← links)
- A theorem about infinite-valued sentential logic (Q5804993) (← links)
- (Q5863860) (← links)
- A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra (Q5874611) (← links)
- Introduction (Q5892200) (← links)
- Basic algebras, logics, trends and applications (Q5899524) (← links)
- Natural dualities for varieties of MV-algebras. I (Q5929367) (← links)
- Decidable and undecidable prime theories in infinite-valued logic (Q5935996) (← links)
- Functorial representation theorems for MV\(_\Delta\) algebras with additional operators (Q5936152) (← links)
- Sequent calculus and data fusion (Q5947552) (← links)
- (Q6040894) (← links)
- A set-theoretic proof of the representation of MV-algebras by sheaves (Q6044358) (← links)
- The geometry of discrete \(L\)-algebras (Q6060894) (← links)