The following pages link to (Q4789455):
Displaying 50 items.
- On partially ordered semigroups of relations with domino operations. (Q284661) (← links)
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- On graph reasoning (Q731892) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- A logic for rough sets (Q1391755) (← links)
- On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection (Q1800460) (← links)
- Cylindric algebras and finite polyadic algebras (Q1991591) (← links)
- On algebras of binary relations with conjunctive operations (Q2036387) (← links)
- On groupoids of relations with one conjunctive operation of rank 2 (Q2082252) (← links)
- On Jónsson's problem for groupoids of relations with operation of binary cylindrification (Q2217780) (← links)
- On varieties of groupoids of relations with operation of binary cylindrification. (Q2257978) (← links)
- On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation (Q2304501) (← links)
- On generalization of definitional equivalence to non-disjoint languages (Q2323696) (← links)
- Algebraic approach to algorithmic logic (Q2344192) (← links)
- On identities of relation algebras with domino operations. (Q2356577) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Proposition algebra (Q2946640) (← links)
- (Q3007266) (← links)
- A logical approach to abstract algebra (Q3422024) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- (Q3584003) (← links)
- Algebraizable logics (Q3815297) (← links)
- (Q4011728) (← links)
- (Q4026931) (← links)
- (Q4291709) (← links)
- (Q4394885) (← links)
- (Q4508459) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- Varying interpolation and amalgamation in polyadic MV-algebras (Q4586142) (← links)
- (Q4792081) (← links)
- Algebraic Logic and Knowledge Bases (Q5015962) (← links)
- Modal Logics that Bound the Circumference of Transitive Frames (Q5015972) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← links)
- (Q5239568) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Turning decision procedures into disprovers (Q5505144) (← links)
- (Q5603860) (← links)
- (Q5749292) (← links)
- Algebras inspired by logics (Q5954012) (← links)
- Cylindric structures and dependencies in relational databases (Q5958623) (← links)
- On the variety generated by generalized subreducts of Tarski's algebras of relations (Q6053400) (← links)
- On the algebraization of Henkin‐type second‐order logic (Q6094141) (← links)
- Compositionality in context (Q6612797) (← links)
