Pages that link to "Item:Q1817694"
From MaRDI portal
The following pages link to Algebraic foundations of many-valued reasoning (Q1817694):
Displaying 50 items.
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (Q5426008) (← links)
- Probability Theory on IF Events (Q5426010) (← links)
- Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups (Q5432593) (← links)
- (Q5472325) (← links)
- (Q5472336) (← links)
- (Q5472337) (← links)
- Effectiveness and multivalued logics (Q5477627) (← links)
- Free algebras in varieties of BL-algebras generated by a BL<sub><i>n</i></sub>-chain (Q5480467) (← links)
- Free nilpotent minimum algebras (Q5485396) (← links)
- On the category of hyper MV‐algebras (Q5505138) (← links)
- (Q5710791) (← links)
- Probability in quantum computation and quantum computational logics: a survey (Q5740362) (← links)
- MVW-rigs and product MV-algebras (Q5742700) (← links)
- Additive derivative and multiplicative coderivative operators on MV-algebras (Q5743024) (← links)
- WHAT THE ŁUKASIEWICZ AXIOMS MEAN (Q5855741) (← links)
- (Q5863830) (← links)
- Fuzzy Semi-Maximal and Fuzzy Radical Ideals in MV-Algebras (Q5874574) (← links)
- A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra (Q5874611) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (Q5889305) (← links)
- Basic algebras, logics, trends and applications (Q5899524) (← links)
- Natural dualities for varieties of MV-algebras. I (Q5929367) (← links)
- MV-observables and MV-algebras (Q5945935) (← links)
- Adding structure to MV-algebras (Q5954118) (← links)
- An effect-theoretic account of Lebesgue integration (Q5971402) (← links)
- A set-theoretic proof of the representation of MV-algebras by sheaves (Q6044358) (← links)
- (Q6044867) (← links)
- Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) (Q6058015) (← links)
- \(n\)-dimensional observables on \(k\)-perfect MV-algebras and \(k\)-perfect effect algebras. I: Characteristic points (Q6079398) (← links)
- Ideals of semisimple MV-algebras and convergence along set-theoretic filters (Q6079400) (← links)
- On bounded residuated \(\ell\)EQ-algebras (Q6079402) (← links)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)
- Rational Pavelka logic: the best among three worlds? (Q6083147) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
- An algebraic semantics for possibilistic finite-valued Łukasiewicz logic (Q6116520) (← links)
- On the Boolean algebra induced by a unital \(\ell\)-group (Q6118315) (← links)
- \(Z^{\circ}\)-ideals and \(Z\)-ideals in \(MV\)-algebras (Q6137347) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic (Q6163912) (← links)
- Entropies and dynamical systems in Riesz MV-algebras (Q6164190) (← links)
- New perspectives on semi-primal varieties (Q6185300) (← links)
- Many-valued logic and sequence arguments in value theory (Q6187768) (← links)
- Separable MV-algebras and lattice-ordered groups (Q6196134) (← links)
- Liminary \(C^{\ast}\)-algebras with boolean spectrum (Q6542839) (← links)
- Unilinear residuated lattices: axiomatization, varieties and FEP (Q6568737) (← links)
- From Specker \(\ell\)-groups to Boolean algebras via \(\Gamma\) (Q6589556) (← links)
- Relative ideals in homological categories with an application to MV-algebras (Q6589558) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
- Some problems concerning axiom systems for finitely many-valued propositional logics (Q6599632) (← links)
