![]() | Up a level |
Journal of Applied Logic
Hirsch, R. and Mikulás, Szabolcs (2013) Ordered domain algebras. Journal of Applied Logic 11 (3), pp. 266-271. ISSN 1570-8683.
Journal of Logic and Algebraic Programming
Hirsch, R. and Mikulás, Szabolcs (2011) Axiomatizability of representable domain algebras. Journal of Logic and Algebraic Programming 80 (2), pp. 75-91. ISSN 1567-8326.
Journal of Pure and Applied Algebra
Hirsch, R. and Jackson, M. and Mikulás, Szabolcs (2015) The algebra of functions with antidomain and range. Journal of Pure and Applied Algebra 220 (6), pp. 2214-2239. ISSN 0022-4049.
Logic Journal of the IGPL
Hirsch, R. and Mikulas, Szabolcs and Stokes, T. (2022) The algebra of non-deterministic programs: demonic operations, orders and axioms. Logic Journal of the IGPL 30 (5), pp. 886-906. ISSN 1367-0751.
The Review of Symbolic Logic
Hirsch, R. and Mikulás, Szabolcs (2011) Positive fragments of relevance logic and algebras of binary relations. The Review of Symbolic Logic 4 (1), pp. 81-105. ISSN 1755-0203.