The following pages link to (Q3259695):
Displaying 50 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Universal varieties of quasi-Stone algebras (Q331013) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- Bounded lattice structured discriminator varieties (Q616628) (← links)
- Monadic bounded algebras (Q708923) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- An algebraic axiomatization of the Ewald's intuitionistic tense logic (Q894527) (← links)
- Topological representation for monadic implication algebras (Q1040206) (← links)
- An algebraic study of well-foundedness (Q1087540) (← links)
- Theory of \(x\)-ideals (Q1130670) (← links)
- Intuitionistic diagonalizable algebras (Q1134152) (← links)
- Loeb operators and interior operators (Q1163545) (← links)
- Remarks on Priestley duality for distributive lattices (Q1183950) (← links)
- Quantifiers on distributive lattices (Q1185078) (← links)
- For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.) (Q1223284) (← links)
- On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.) (Q1223285) (← links)
- Investigations into quantified modal logic. I (Q1227597) (← links)
- Monadic algebras with finite degree (Q1230626) (← links)
- Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.) (Q1237068) (← links)
- On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) (Q1254312) (← links)
- Quasivarities of distributive lattices with a quantifier (Q1343244) (← links)
- Enriched Stone-type dualities (Q1644968) (← links)
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic (Q1697516) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- Similarity monadic basic logic (Q1999121) (← links)
- Duality theory for enriched Priestley spaces (Q2079656) (← links)
- Another look on tense and related operators (Q2099808) (← links)
- Quantifiers on L-algebras (Q2105714) (← links)
- An algebraic study of the logic \textbf{S5'(BL)} (Q2105717) (← links)
- Characterization of monadic BL-algebras by state operators (Q2144625) (← links)
- Monadic \(k\times j\)-rough Heyting algebras (Q2155492) (← links)
- Extensions of dualities and a new approach to the Fedorchuk duality (Q2217245) (← links)
- The Vietoris functor and modal operators on rings of continuous functions (Q2238128) (← links)
- Epistemic foundations for set-algebraic representations of knowledge (Q2338657) (← links)
- Dualities for modal algebras from the point of view of triples (Q2351511) (← links)
- Sasaki projections (Q2359732) (← links)
- Topological duality and lattice expansions. I: A topological construction of canonical extensions. (Q2449453) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- Über konservative Transformationen (Q2533907) (← links)
- Identity connective and modality (Q2561209) (← links)
- On the definition and the representability of quasi-polyadic equality algebras (Q2793902) (← links)
- Finite Monadic Algebras (Q3262264) (← links)
- Free Monadic Algebras (Q3272520) (← links)
- Nonhomogeneous Polyadic Algebras (Q3288998) (← links)
- Ideals in a Polyadic Algebra (Q3289858) (← links)
- Fixed point algebras (Q3333037) (← links)
- Quantum B-algebras with involutions (Q5024537) (← links)
- (Q5028485) (← links)
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS (Q5052001) (← links)
- Polyadic algebras with terms: A signature-free approach (Q5239106) (← links)
