| Publication | Date of Publication | Type |
|---|
The fork and its role in unification of closure algebras
(available as arXiv preprint) | N/A | Paper |
Towards a logic of affordances
International Journal of Approximate Reasoning | 2026-08-04 | Paper |
Betweenness algebras
The Journal of Symbolic Logic | 2026-06-12 | Paper |
Closure algebras of depth two with extremal relations: their frames, logics, and structural completeness
Journal of Multiple-Valued Logic and Soft Computing | 2026-03-26 | Paper |
The fork and its role in unification of closure algebras
Fundamenta Informaticae | 2026-01-22 | Paper |
Skill set analysis in knowledge structures
British Journal of Mathematical & Statistical Psychology | 2026-01-16 | Paper |
| Guttman algebras and a model checking procedure for Guttman scales | 2024-09-06 | Paper |
| Closure algebras of depth two with extremal relations: Their frames, logics, and structural completeness | 2023-09-19 | Paper |
| Betweenness algebras | 2023-08-31 | Paper |
Approximation by Filter Functions
Rough Sets | 2023-06-28 | Paper |
Ideal Related Algebras and Their Logics Extended Abstract
Lecture Notes in Computer Science | 2022-08-30 | Paper |
On dimension andweight of a local contact algebra
Filomat | 2022-07-04 | Paper |
| Discrete dualities for groupoids | 2022-07-01 | Paper |
Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
Outstanding Contributions to Logic | 2022-02-04 | Paper |
Ideal related algebras and their logics
Journal Of Logic And Computation | 2022-01-03 | Paper |
On the Semilattice of Modal Operators and Decompositions of the Discriminator
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
Simplifying contextual structures
Lecture Notes in Computer Science | 2020-06-24 | Paper |
Indices for rough set approximation and the application to confusion matrices
International Journal of Approximate Reasoning | 2020-02-26 | Paper |
| A discrete representation of lattice frames | 2020-01-30 | Paper |
Mixed algebras and their logics
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
| scientific article; zbMATH DE number 6902612 (Why is no real title available?) | 2018-07-12 | Paper |
| Representation of lattice frames | 2018-06-07 | Paper |
A discrete representation for dicomplemented lattices
Fundamenta Informaticae | 2018-03-02 | Paper |
Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
Fuzzy Sets and Systems | 2018-02-19 | Paper |
A relational logic for spatial contact based on rough set approximation
Fundamenta Informaticae | 2017-11-09 | Paper |
PRE and variable precision models in rough set data analysis
Transactions on Rough Sets XIX | 2015-09-22 | Paper |
| On the homogeneous countable Boolean contact algebra. | 2015-04-09 | Paper |
Discrete dualities for some algebras with relations
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
Standard errors of indices in rough set data analysis
Transactions on Rough Sets XVII | 2014-03-25 | Paper |
Discrete duality for rough relation algebras
Fundamenta Informaticae | 2013-11-28 | Paper |
Lattice machine classification based on contextual probability
Fundamenta Informaticae | 2013-11-28 | Paper |
| Cylindric algebras and relational databases | 2013-10-16 | Paper |
Functions definable by numerical set-expressions
Journal of Logic and Computation | 2013-08-27 | Paper |
Remarks on contact relations on Boolean algebras
Algebra Universalis | 2013-01-30 | Paper |
Extension properties of Boolean contact algebras
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Discrete dualities for double Stone algebras
Studia Logica | 2011-11-23 | Paper |
An algebraic approach to preference relations
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Quadtree representation and compression of spatial data
Transactions on Rough Sets XIII | 2011-02-11 | Paper |
Structures with multirelations, their discrete dualities and applications
Fundamenta Informaticae | 2011-01-03 | Paper |
Functions definable by arithmetic circuits
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
Complex algebras of arithmetic
Fundamenta Informaticae | 2010-03-10 | Paper |
A proximity approach to some region-based theories of space
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
A discrete duality between apartness algebras and apartness frames
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Lattice-Based Relation Algebras II
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
Distributive contact lattices: topological representations
The Journal of Logic and Algebraic Programming | 2008-06-19 | Paper |
The Lattice of Contact Relations on a Boolean Algebra
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Topological Representation of Contact Lattices
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Betweenness and Comparability Obtained from Binary Relations
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Region-based theory of discrete spaces: A proximity approach
Annals of Mathematics and Artificial Intelligence | 2007-10-12 | Paper |
Relational Attribute Systems II: Reasoning with Relations in Information Structures
Transactions on Rough Sets VII | 2007-09-03 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
| A multi-modal logic for disagreement and exhaustiveness | 2007-02-26 | Paper |
| Rough relation algebras revisited | 2007-01-19 | Paper |
A representation theorem for Boolean contact algebras
Theoretical Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2222699 (Why is no real title available?) | 2005-11-03 | Paper |
| scientific article; zbMATH DE number 2202279 (Why is no real title available?) | 2005-09-05 | Paper |
| scientific article; zbMATH DE number 2177633 (Why is no real title available?) | 2005-06-21 | Paper |
Relation algebras and their application in temporal and spatial reasoning
Artificial Intelligence Review | 2005-06-16 | Paper |
Hyperrelations in version space
International Journal of Approximate Reasoning | 2005-02-09 | Paper |
Boolean algebras arising from information systems
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
A multimodal logic for reasoning about complementarity
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
| scientific article; zbMATH DE number 1953903 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1735905 (Why is no real title available?) | 2003-04-06 | Paper |
A note on the correspondence among entail relations, rough set dependencies, and logical consequence
Journal of Mathematical Psychology | 2002-09-23 | Paper |
| scientific article; zbMATH DE number 1735914 (Why is no real title available?) | 2002-09-16 | Paper |
Approximation quality for sorting rules.
Computational Statistics and Data Analysis | 2002-09-09 | Paper |
Classificatory filtering in decision systems
International Journal of Approximate Reasoning | 2002-07-29 | Paper |
| Logical and algebraic techniques for rough set data analysis | 2002-04-24 | Paper |
| Statistical techniques for rough set data analysis | 2002-04-24 | Paper |
A necessary relation algebra for mereotopology
Studia Logica | 2002-04-11 | Paper |
Cylindric structures and dependencies in relational databases
Theoretical Computer Science | 2002-03-03 | Paper |
Rough approximation quality revisited
Artificial Intelligence | 2002-03-03 | Paper |
Algebras of approximating regions
Fundamenta Informaticae | 2002-01-24 | Paper |
Relational attribute systems
International Journal of Human-Computer Studies | 2001-11-19 | Paper |
A relation-algebraic approach to the region connection calculus
Theoretical Computer Science | 2001-08-20 | Paper |
| Roughian: Rough information analysis | 2001-04-17 | Paper |
A proof system for contact relation algebras
Journal of Philosophical Logic | 2001-03-07 | Paper |
| Logics of Complementarity in Information Systems | 2000-11-07 | Paper |
| scientific article; zbMATH DE number 1471990 (Why is no real title available?) | 2000-07-09 | Paper |
Simple data filtering in rough set systems
International Journal of Approximate Reasoning | 2000-01-04 | Paper |
Uncertainty measures of rough set prediction
Artificial Intelligence | 1999-01-12 | Paper |
A logic for rough sets
Theoretical Computer Science | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 994052 (Why is no real title available?) | 1997-08-17 | Paper |
On query procedures to build knowledge structures
Journal of Mathematical Psychology | 1997-07-13 | Paper |
Expressibility of properties of relations
Journal of Symbolic Logic | 1996-07-24 | Paper |
On the maximal number of non-\(C\)-endorigid equivalence relations
Journal of Pure and Applied Algebra | 1996-03-20 | Paper |
Skills and knowledge structures†
British Journal of Mathematical and Statistical Psychology | 1996-03-20 | Paper |
Binary Relations and Permutation Groups
Mathematical Logic Quarterly | 1995-06-06 | Paper |
| scientific article; zbMATH DE number 708663 (Why is no real title available?) | 1995-05-07 | Paper |
A microcomputer based system for small relation algebras
Journal of Symbolic Computation | 1995-01-11 | Paper |
| scientific article; zbMATH DE number 475197 (Why is no real title available?) | 1994-08-28 | Paper |
A nonpermutational integral relation algebra
Michigan Mathematical Journal | 1993-06-29 | Paper |
Small integral relation algebras generated by a partial order
Periodica Mathematica Hungarica | 1992-06-28 | Paper |
Complementation in the lattice of regular topologies
Southeast Asian Bulletin of Mathematics | 1992-06-28 | Paper |
Generalized inverses with respect to general norms
Linear Algebra and its Applications | 1990-01-01 | Paper |
Covers and complements in the subalgebra lattice of a Boolean algebra
Bulletin of the Australian Mathematical Society | 1989-01-01 | Paper |
The subalgebra lattice of a Boolean algebra
Southeast Asian Bulletin of Mathematics | 1989-01-01 | Paper |
