scientific article; zbMATH DE number 1852925
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 3164639
- Algebraic logic
- scientific article; zbMATH DE number 567281
- scientific article; zbMATH DE number 4183416
- scientific article; zbMATH DE number 3896930
- scientific article; zbMATH DE number 1303723
- Algebraizable logics
- scientific article; zbMATH DE number 2171655
- scientific article; zbMATH DE number 1145122
Cited in
(52)- scientific article; zbMATH DE number 5772813 (Why is no real title available?)
- scientific article; zbMATH DE number 1163360 (Why is no real title available?)
- On the variety generated by generalized subreducts of Tarski's algebras of relations
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- scientific article; zbMATH DE number 5910661 (Why is no real title available?)
- On generalization of definitional equivalence to non-disjoint languages
- On partially ordered semigroups of relations with domino operations.
- Algebraic approach to algorithmic logic
- On graph reasoning
- scientific article; zbMATH DE number 67040 (Why is no real title available?)
- On the algebraization of Henkin‐type second‐order logic
- Algebraic characterization of the local Craig interpolation property
- Varying interpolation and amalgamation in polyadic MV-algebras
- scientific article; zbMATH DE number 1865922 (Why is no real title available?)
- Notions of density that imply representability in algebraic logic
- Algebras inspired by logics
- Proposition algebra
- scientific article; zbMATH DE number 3323811 (Why is no real title available?)
- The calculus of relations as a foundation for mathematics
- Cylindric algebras and finite polyadic algebras
- On algebras of binary relations with conjunctive operations
- Cylindric structures and dependencies in relational databases
- On varieties of algebras of relations with an operation of double cylindrification
- Compositionality in context
- Amalgamation, interpolation, and implicit definability in varieties of algebras
- On Jónsson's problem for groupoids of relations with operation of binary cylindrification
- Modal Logics that Bound the Circumference of Transitive Frames
- scientific article; zbMATH DE number 1512768 (Why is no real title available?)
- On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
- Epimorphisms in cylindric algebras and definability in finite variable logic
- Automated theorem proving by resolution in non-classical logics
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- scientific article; zbMATH DE number 125238 (Why is no real title available?)
- scientific article; zbMATH DE number 567281 (Why is no real title available?)
- scientific article; zbMATH DE number 4183416 (Why is no real title available?)
- A logic for rough sets
- On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
- On varieties of groupoids of relations with operation of binary cylindrification.
- Turning decision procedures into disprovers
- Axiomatizability of positive algebras of binary relations
- Leon Henkin the reviewer
- Algebraic neighbourhood logic
- A logical approach to abstract algebra
- On identities of relation algebras with domino operations.
- On groupoids of relations with one conjunctive operation of rank 2
- Algebraic Logic and Knowledge Bases
- Complexity of equational theory of relational algebras with standard projection elements
- The Modelwise Interpolation Property of Semantic Logics
- Abstract algebraic logic. An introductory chapter
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- Algebraizable logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4789455)
