scientific article; zbMATH DE number 1852925
From MaRDI portal
Publication:4789455
zbMath1003.03536MaRDI QIDQ4789455
Istvan Németi, Ildikó Sain, Hajnalka Andréka
Publication date: 29 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (35)
On partially ordered semigroups of relations with domino operations. ⋮ Leon Henkin the Reviewer ⋮ Automated theorem proving by resolution in non-classical logics ⋮ Algebraic Characterization of the Local Craig Interpolation Property ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ The calculus of relations as a foundation for mathematics ⋮ Unnamed Item ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ A logic for rough sets ⋮ On the variety generated by generalized subreducts of Tarski's algebras of relations ⋮ On the algebraization of Henkin‐type second‐order logic ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ Axiomatizability of positive algebras of binary relations ⋮ On Jónsson's problem for groupoids of relations with operation of binary cylindrification ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Cylindric algebras and finite polyadic algebras ⋮ On varieties of groupoids of relations with operation of binary cylindrification. ⋮ Cylindric structures and dependencies in relational databases ⋮ On algebras of binary relations with conjunctive operations ⋮ On graph reasoning ⋮ On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation ⋮ On generalization of definitional equivalence to non-disjoint languages ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ On groupoids of relations with one conjunctive operation of rank 2 ⋮ Notions of density that imply representability in algebraic logic ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ Turning decision procedures into disprovers ⋮ Algebraic Logic and Knowledge Bases ⋮ Modal Logics that Bound the Circumference of Transitive Frames ⋮ On identities of relation algebras with domino operations.
This page was built for publication:
