| Publication | Date of Publication | Type |
|---|
There is no obstruction to a Euclidean proof for the fourth postulate
Historia Mathematica | 2026-01-06 | Paper |
Some properties of conjunctivity (subfitness) in generalized settings
Quaestiones Mathematicae | 2023-11-16 | Paper |
Some general aspects of exactness and strong exactness of meets
Topology and its Applications | 2022-02-25 | Paper |
Exact and strongly exact filters
Applied Categorical Structures | 2021-05-11 | Paper |
Semi De Morgan logic properly displayed
Studia Logica | 2021-04-27 | Paper |
Exact filters and joins of closed sublocales
Applied Categorical Structures | 2020-09-10 | Paper |
On Isbell's density theorem for bitopological pointfree spaces. I
Topology and its Applications | 2020-04-06 | Paper |
Lindelöf tightness and the Dedekind-MacNeille completion of a regular \(\sigma\)-frame
Quaestiones Mathematicae | 2019-10-15 | Paper |
Semi De Morgan logic properly displayed
(available as arXiv preprint) | 2018-09-20 | Paper |
| Multi-type display calculus for semi De Morgan logic | 2017-12-20 | Paper |
Generating sublocales by subsets and relations: a tangle of adjunctions
Algebra Universalis | 2017-10-09 | Paper |
Concurrent Kleene algebra with tests and branching automata
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
A Hofmann-Mislove theorem for bitopological spaces
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
Algebra Universalis | 2014-05-23 | Paper |
Presenting dcpos and dcpo algebras
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Topological duality and lattice expansions. I: A topological construction of canonical extensions.
Algebra Universalis | 2014-05-08 | Paper |
Sequential real number computation and recursive relations
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Stably compact spaces and closed relations
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
A Duality Theorem for Real C * Algebras
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
A bitopological point-free approach to compactifications
Topology and its Applications | 2011-08-04 | Paper |
Sequential real number computation and recursive relations
Mathematical Logic Quarterly | 2008-10-08 | Paper |
A Hofmann-Mislove theorem for bitopological spaces
The Journal of Logic and Algebraic Programming | 2008-09-01 | Paper |
On the relationship between compact regularity and Gentzen's cut rule
Theoretical Computer Science | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1948164 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1523024 (Why is no real title available?) | 2002-09-09 | Paper |
| scientific article; zbMATH DE number 1339952 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1231573 (Why is no real title available?) | 1998-12-20 | Paper |
On completeness theorems for feature logics
Annals of Mathematics and Artificial Intelligence | 1997-05-12 | Paper |
A rational reconstruction of the domain of feature structures
Journal of Logic, Language and Information | 1995-12-05 | Paper |
Subfitness in distributive (semi)lattices
(available as arXiv preprint) | N/A | Paper |
