Result 1 to 15 of 15 total
Classes of algebras without the amalgamation property. (English)
Log. J. IGPL 19, No. 1, 87-104 (2011).
1
Strongly representable atom structures of cylindric algebras. (English)
J. Symb. Log. 74, No. 3, 811-828 (2009).
2
Algebras of relations and relevance logic. (English)
J. Log. Comput. 19, No. 2, 305-321 (2009).
3
On positive relational calculi. (English)
Log. J. IGPL 15, No. 5-6, 577-601 (2007).
4
On cylindric algebras satisfying merry-go-round properties. (English)
Log. J. IGPL 15, No. 2, 183-197 (2007).
5
A neat embedding theorem for expansions of cylindric algebras. (English)
Log. J. IGPL 15, No. 1, 41-51 (2007).
6
On neat reducts and amalgamation. (English)
Log. J. IGPL 15, No. 1, 33-39 (2007).
7
Finite diagonal-free two-dimensional cylindric algebras. (English)
Log. J. IGPL 12, No. 6, 509-523 (2004).
8
Strongly representable atom structures of relation algebras. (English)
Proc. Am. Math. Soc. 130, No.6, 1819-1831 (2002).
9
Decision problems in the calculus of relations. (English)
Vermeulen, Kees (ed.) et al., Algebras, diagrams and decisions in language, logic and computation. Stanford, CA: CSLI Publications (ISBN 1-57586-372-3/pbk; 1-57586-371-5/pbk). CSLI Lecture Notes 144, 67-88 (2001).
10
A representation of relation algebras using Routley-Meyer frames. (English)
Anderson, C. Anthony (ed.) et al., Logic, meaning and computation. Essays in memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0141-X/hbk). Synth. Libr. 305, 77-108 (2001).
11
Relation algebras from cylindric algebras. II. (English)
Ann. Pure Appl. Logic 112, No.2-3, 267-297 (2001).
12
An introduction to cylindric set algebras. (English)
Log. J. IGPL 8, No.4, 451-496 (2000).
13
Decidability of cylindric set algebras of dimension two and first-order logic with two variables. (English)
J. Symb. Log. 64, No.4, 1563-1572 (1999).
14
On eight independent equational axiomatisations for fork algebras. (English)
Bull. Sect. Log., Univ. Łódź, Dep. Log. 27, No.3, 117-129 (1998).
15
Result 1 to 15 of 15 total
Start
Contact
Print
General Help
