scientific article; zbMATH DE number 1852925

zbMATH Open1003.03536MaRDI QIDQ4789455FDOQ4789455

Authors: István Németi, Ildikó Sain, Hajnal Andréka 

Publication date: 29 January 2003

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Algebraic logic (03Gxx)

Cited In (52)

• Compositionality in context
• Abstract algebraic logic. An introductory chapter
• On the variety generated by generalized subreducts of Tarski's algebras of relations
• Title not available (Why is that?)
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• On generalization of definitional equivalence to non-disjoint languages
• On partially ordered semigroups of relations with domino operations.
• Algebraic approach to algorithmic logic
• Title not available (Why is that?)
• On the algebraization of Henkin‐type second‐order logic
• On graph reasoning
• Algebraic characterization of the local Craig interpolation property
• Varying interpolation and amalgamation in polyadic MV-algebras
• Title not available (Why is that?)
• Algebras inspired by logics
• Title not available (Why is that?)
• Proposition algebra
• Notions of density that imply representability in algebraic logic
• The calculus of relations as a foundation for mathematics
• Cylindric algebras and finite polyadic algebras
• Cylindric structures and dependencies in relational databases
• On varieties of algebras of relations with an operation of double cylindrification
• On algebras of binary relations with conjunctive operations
• Modal Logics that Bound the Circumference of Transitive Frames
• Title not available (Why is that?)
• On Jónsson's problem for groupoids of relations with operation of binary cylindrification
• Amalgamation, interpolation, and implicit definability in varieties of algebras
• 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
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• Automated theorem proving by resolution in non-classical logics
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for rough sets
• On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
• Turning decision procedures into disprovers
• On varieties of groupoids of relations with operation of binary cylindrification.
• 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
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• Algebraizable logics
• Title not available (Why is that?)
• Title not available (Why is that?)

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)