Pages that link to "Item:Q1817694"

The following pages link to Algebraic foundations of many-valued reasoning (Q1817694):

Displaying 50 items.

• EI, involutory and EQI-ideal in bounded BCK-algebras. (Q258387) (← links)
• The left adjoint of Spec from a category of lattice-ordered groups (Q266868) (← links)
• On tense MV-algebras (Q277554) (← links)
• Effect algebras with state operator (Q277561) (← links)
• Pasting of lattice-ordered effect algebras (Q277567) (← links)
• A new approach for classification of filters in residuated lattices (Q277573) (← links)
• Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras (Q278739) (← links)
• Almost structural completeness; an algebraic approach (Q278762) (← links)
• The structure of generalized intermediate syllogisms (Q279323) (← links)
• The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic (Q279327) (← links)
• A categorical equivalence motivated by Kalman's construction (Q284216) (← links)
• Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
• A representation theorem for integral rigs and its applications to residuated lattices. (Q284976) (← links)
• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
• A non-commutative generalization of Łukasiewicz rings (Q301364) (← links)
• AF inverse monoids and the structure of countable MV-algebras (Q308140) (← links)
• A preliminary study of MV-algebras with two quantifiers which commute (Q332078) (← links)
• Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras (Q339417) (← links)
• Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups (Q343592) (← links)
• Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic (Q346769) (← links)
• Equational type characterization for \(\sigma\)-complete MV-algebras. (Q353357) (← links)
• The Toffoli-Hadamard gate system: an algebraic approach (Q358697) (← links)
• Representations of MV-algebras by Hilbert-space effects (Q363031) (← links)
• Generalized Bosbach states. II (Q377478) (← links)
• Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
• MV-algebras freely generated by finite Kleene algebras. (Q387625) (← links)
• An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
• Varieties generated by unital abelian \(\ell\)-groups (Q401022) (← links)
• Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras. (Q401642) (← links)
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
• Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
• A formal theory of generalized intermediate syllogisms (Q423141) (← links)
• Handling the valuation of the predicates in a fuzzy model (Q423144) (← links)
• Fuzzy measures and integrals defined on algebras of fuzzy subsets over complete residuated lattices (Q425559) (← links)
• State operators on generalizations of fuzzy structures (Q427916) (← links)
• Bases in semilinear spaces over join-semirings (Q429396) (← links)
• States on quantum structures versus integrals (Q429933) (← links)
• States in Łukasiewicz logic correspond to probabilities of rational polyhedra (Q448927) (← links)
• Interval MV-algebras and generalizations. (Q459040) (← links)
• A note of filters in effect algebras. (Q463172) (← links)
• System adjustment of data of various nature in multidisciplinary research (Q464932) (← links)
• On finitely-valued fuzzy description logics (Q465589) (← links)
• Coproducts of distributive lattice-based algebras. (Q471163) (← links)
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915) (← links)
• \(n\)-perfect and \(\mathbb Q\)-perfect pseudo effect algebras (Q472702) (← links)
• Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras (Q472706) (← links)
• Propositional dynamic logic for searching games with errors (Q472791) (← links)
• How to produce S-tense operators on lattice effect algebras (Q474876) (← links)
• On the equivalence between MV-algebras and \(l\)-groups with strong unit (Q495838) (← links)
• Normal residuated lattices (Q496998) (← links)