The following pages link to (Q3282928):
Displaying 50 items.
- On modal logic with an intuitionistic base (Q1240729) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Towards automating duality (Q1343394) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- A unified framework for the algebra of unsharp quantum mechanics (Q1388203) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras (Q1689561) (← links)
- A topological duality for monadic MV-algebras (Q1703683) (← links)
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066) (← links)
- Monadic bounded hoops (Q1797798) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Brouwer-Zadeh posets and three-valued Łukasiewicz posets (Q1823937) (← links)
- A formal model for verification of dynamic consistency of KBSs (Q1842811) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- Positive modal logic (Q1902555) (← links)
- Free \(Q\)-distributive lattices (Q1914057) (← links)
- Symmetries of knowledge bases (Q1926585) (← links)
- Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras (Q1933793) (← links)
- Monadic bounded residuated lattices (Q1943692) (← links)
- Cylindric algebras and finite polyadic algebras (Q1991591) (← links)
- Irreducible equivalence relations, Gleason spaces, and de Vries duality (Q2014017) (← links)
- On a definition of a variety of monadic \(\ell\)-groups. (Q2016065) (← links)
- Monadic pseudo BE-algebras (Q2057873) (← links)
- Another look on tense and related operators (Q2099808) (← links)
- A generalization of monadic \(n\)-valued Łukasiewicz algebras (Q2118974) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Extensions of dualities and a new approach to the Fedorchuk duality (Q2217245) (← links)
- The enriched Vietoris monad on representable spaces (Q2249254) (← links)
- Isotypeness of models and knowledge bases equivalence (Q2254092) (← links)
- Chang's modal operators in algebraic logic (Q2266713) (← links)
- S5 knowledge without partitions (Q2268777) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- Algebraic approach to algorithmic logic (Q2344192) (← links)
- Modal operators on compact regular frames and de Vries algebras. (Q2350317) (← links)
- Lattice subordinations and Priestley duality. (Q2443678) (← links)
- Finitary polyadic algebras from cylindric algebras (Q2462668) (← links)
- Uncertain information: random variables in graded semilattices (Q2481039) (← links)
- An algebraic approach to knowledge base models informational equivalence (Q2492716) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- An axiomatization of the algebra of transformations over a set (Q2525327) (← links)
- Su una questione riguardante le chiusure di Moore (Q2526762) (← links)
- A generalization of Piaget's logical-mathematical model for the stage of formal operations (Q2550001) (← links)
- The semijoin algebra and the guarded fragment (Q2567344) (← links)
- Universal algebraic geometry: syntax and semantics (Q2673104) (← links)
- Proposition algebra (Q2946640) (← links)
- Some logical invariants of algebras and logical relations between algebras (Q3079224) (← links)
