The following pages link to (Q3705494):
Displayed 50 items.
- A note on regular De Morgan semi-Heyting algebras (Q305161) (← links)
- On good EQ-algebras (Q409738) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- On products of posets and coproducts of KM-algebras (Q521725) (← links)
- The Belluce-lattice associated with a bounded Hilbert algebra (Q521730) (← links)
- Bounded lattice structured discriminator varieties (Q616628) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) (Q869120) (← links)
- An algebraic axiomatization of the Ewald's intuitionistic tense logic (Q894527) (← links)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
- Hilbert algebras of fractions (Q963513) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- Commutative integral bounded residuated lattices with an added involution (Q1035650) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief (Q1677044) (← links)
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras (Q1689561) (← links)
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic (Q1697516) (← links)
- Expanding \(\text{FL}_{ew}\) with a Boolean connective (Q1699735) (← links)
- The logic of distributive nearlattices (Q1797923) (← links)
- Imploring GE-filters of GE-algebras (Q2034962) (← links)
- Prelinear Hilbert algebras (Q2035275) (← links)
- On prelinear Hilbert algebras with successor (Q2035276) (← links)
- An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
- Rough \(L\)-fuzzy sets: their representation and related structures (Q2076962) (← links)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras (Q2082260) (← links)
- Defining rough sets as core-support pairs of three-valued functions (Q2237201) (← links)
- Complete and atomic Tarski algebras (Q2274138) (← links)
- Variations of the free implicative semilattice extension of a Hilbert algebra (Q2318265) (← links)
- On weak implication algebra (Q2318286) (← links)
- Symmetric Heyting relation algebras with applications to hypergraphs (Q2347914) (← links)
- Hilbert algebras with a modal operator \(\diamondsuit\) (Q2350975) (← links)
- Semi-Heyting algebras term-equivalent to Gödel algebras (Q2376916) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Heyting algebras with Boolean operators for rough sets and information retrieval applications (Q2478438) (← links)
- A note on Hilbert algebras and their related generalized Esakia spaces (Q2520718) (← links)
- Duality for finite Hilbert algebras (Q2581404) (← links)
- Upper bounds on the sizes of finitely generated algebras (Q3099653) (← links)
- On Tarski algebras with a finite set of free generators (Q3130282) (← links)
- Irredundant Coverings, Tolerances, and Related Algebras (Q3299870) (← links)
- Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces (Q3299872) (← links)
- Consistency, Completeness, and Classicality (Q3305618) (← links)
- REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS (Q4576930) (← links)
- On GE-algebras (Q4999465) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- Subordination Tarski algebras (Q5231280) (← links)
- On subvarieties of symmetric closure algebras (Q5935988) (← links)
- Linear Heyting algebras with a quantifier (Q5935999) (← links)
- Quotient structures of some implicative algebras via fuzzy implicative filters (Q5947582) (← links)
- Varieties of pseudocomplemented Kleene algebras (Q6047673) (← links)
- On Heyting algebras with negative tense operators (Q6067747) (← links)