Pages that link to "Item:Q1812017"
From MaRDI portal
The following pages link to Varieties of BL-algebras. I: General properties. (Q1812017):
Displaying 50 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- The variety generated by all the ordinal sums of perfect MV-chains (Q361853) (← links)
- State BL-algebras (Q432189) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- On the structure of pseudo BL-algebras and pseudo hoops in quantum logics (Q535622) (← links)
- Pseudo-BCK algebras as partial algebras (Q621618) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- The free \(n\)-generated BL-algebra (Q636351) (← links)
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Complexity issues in Basic Logic (Q816857) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- Finiteness based results in BL-algebras (Q816864) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← links)
- Generating the variety of BL-algebras (Q816867) (← links)
- Bounded commutative residuated \(\ell\)-monoids with general comparability and states (Q816883) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- Product logic and probabilistic Ulam games (Q876494) (← links)
- Every linear pseudo BL-algebra admits a state (Q877764) (← links)
- Filters on some classes of quantum B-algebras (Q904489) (← links)
- Embedding theorems for classes of GBL-algebras (Q964512) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- Canonicity in subvarieties of BL-algebras (Q993324) (← links)
- Aglianò-Montagna type decomposition of linear pseudo hoops and its applications (Q995635) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- Supersound many-valued logics and Dedekind-MacNeille completions (Q1042436) (← links)
- On the structure of linearly ordered pseudo-BCK-algebras (Q1042440) (← links)
- Non-commutative fuzzy structures and pairs of weak negations. (Q1428678) (← links)
- Kites and residuated lattices (Q1623237) (← links)
- The Archimedean property: new horizons and perspectives (Q1630814) (← links)
- On a new construction of pseudo BL-algebras (Q1677647) (← links)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- The approximation of left-continuous t-norms (Q1697362) (← links)
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic (Q1697516) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras (Q1699728) (← links)
- An expansion of basic logic with fixed points (Q1699729) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
- Varieties of BL-algebras. I, revisited (Q1699741) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- The decomposition of linearly ordered pseudo-hoops (Q1746797) (← links)
- Expanding basic fuzzy logic with truth constants for component delimiters (Q1759708) (← links)
- On the predicate logics of continuous t-norm BL-algebras (Q1765100) (← links)
- Varieties of BL-algebras. II (Q1790601) (← links)
