Pages that link to "Item:Q3253788"
From MaRDI portal
The following pages link to Algebraic Analysis of Many Valued Logics (Q3253788):
Displayed 50 items.
- A multiple-valued logic approach to the design and verification of hardware circuits (Q266875) (← links)
- States on quantum and algebraic structures and their integral representation (Q277549) (← links)
- On tense MV-algebras (Q277554) (← links)
- Effect algebras with state operator (Q277561) (← links)
- MV-pairs and state operators (Q277563) (← links)
- A new approach for classification of filters in residuated lattices (Q277573) (← links)
- Representations through a monoid on the set of fuzzy implications (Q279330) (← links)
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Unitizations of generalized pseudo effect algebras and their ideals (Q304189) (← links)
- AF inverse monoids and the structure of countable MV-algebras (Q308140) (← links)
- On annihilators in BL-algebras (Q317875) (← links)
- A preliminary study of MV-algebras with two quantifiers which commute (Q332078) (← links)
- The representation of square root quasi-pseudo-MV algebras (Q344075) (← links)
- On symmetric left bi-derivations in BCI-algebras (Q352544) (← links)
- Equational type characterization for \(\sigma\)-complete MV-algebras. (Q353357) (← links)
- The variety generated by all the ordinal sums of perfect MV-chains (Q361853) (← links)
- Representations of MV-algebras by Hilbert-space effects (Q363031) (← links)
- Fuzzy prime Boolean filters and their operations in IMTL-algebras (Q376765) (← links)
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices (Q377479) (← links)
- The lexicographic product of po-groups and \(n\)-perfect pseudo effect algebras (Q379271) (← links)
- Non-commutative logical algebras and algebraic quantales (Q386648) (← links)
- Varieties generated by unital abelian \(\ell\)-groups (Q401022) (← links)
- Representation of states on effect-tribes and effect algebras by integrals (Q410678) (← links)
- Intervals in \(l\)-groups as \(L\)-algebras (Q412010) (← links)
- States on finite linearly ordered IMTL-algebras (Q416275) (← links)
- An algebraic generalization of the notion of tribe (Q419045) (← links)
- State operators on GMV algebras (Q422429) (← links)
- A direct product decomposition of QMV algebras (Q424333) (← links)
- Generalized Bosbach and Riečan states based on relative negations in residuated lattices (Q427915) (← links)
- A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata (Q428877) (← links)
- Bases in semilinear spaces over join-semirings (Q429396) (← links)
- States on quantum structures versus integrals (Q429933) (← links)
- State BL-algebras (Q432189) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- The dual adjunction between MV-algebras and Tychonoff spaces (Q454391) (← links)
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915) (← links)
- Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras (Q472706) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Fuzzy \(n\)-fold fantastic filters in BL-algebras (Q485456) (← links)
- Representable effect algebras and observables (Q487414) (← links)
- Computing power of Turing machines in the framework of unsharp quantum logic (Q496026) (← links)
- Normal residuated lattices (Q496998) (← links)
- Fuzzy logics and fuzzy model theory (Q498302) (← links)
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) (Q502643) (← links)
- Characterizations of fuzzy ideals in coresiduated lattices (Q504690) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- Olson order of quantum observables (Q517666) (← links)