Comparing decision problems for various paradigms of algebraic logic.

DOI10.1007/s00012-002-8196-xzbMath1058.03075OpenAlexW2073274856MaRDI QIDQ1771926

Ágnes Kurucz

Publication date: 19 April 2005

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-002-8196-x

zbMATH Keywords

algebraic logicdecision problemcylindric algebras

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (2)

Undecidability of Propositional Separation Logic and Its Neighbours ⋮ Relation algebras and their application in temporal and spatial reasoning

This page was built for publication: Comparing decision problems for various paradigms of algebraic logic.