| Representation of Lattices with Modal Operators in Two-Sorted Frames. | 0 | 0.34 | 2019 |
| A Discrete Representation of Lattice Frames. | 0 | 0.34 | 2019 |
| A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). | 0 | 0.34 | 2018 |
| A Discrete Representation for Dicomplemented Lattices. | 2 | 0.37 | 2017 |
| Mixed algebras and their logics. | 0 | 0.34 | 2017 |
| Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras. | 2 | 0.37 | 2016 |
| A Relational Logic for Spatial Contact Based on Rough Set Approximation. | 0 | 0.34 | 2016 |
| A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. | 0 | 0.34 | 2014 |
| Discrete Duality for Rough Relation Algebras | 4 | 0.43 | 2013 |
| An algebraic approach to preference relations | 0 | 0.34 | 2011 |
| Dual tableau for monoidal triangular norm logic MTL | 1 | 0.37 | 2011 |
| Discrete Dualities for Double Stone Algebras | 4 | 0.43 | 2011 |
| Dual tableau-based decision procedures for relational logics with restricted composition operator. | 7 | 0.74 | 2011 |
| Algebras for Galois-style connections and their discrete duality | 10 | 0.61 | 2010 |
| Structures with Multirelations, their Discrete Dualities and Applications | 1 | 0.37 | 2010 |
| Dual Tableau-based Decision Procedures for Some Relational Logics. | 6 | 0.78 | 2010 |
| An Implementation Of A Dual Tableaux System For Order-Of-Magnitude Qualitative Reasoning | 7 | 0.58 | 2009 |
| Discrete Duality for Relation Algebras and Cylindric Algebras | 6 | 0.51 | 2009 |
| Context Algebras, Context Frames, and Their Discrete Duality | 3 | 0.43 | 2008 |
| A discrete duality between apartness algebras and apartness frames | 5 | 0.46 | 2008 |
| Representation theorems for some fuzzy logics based on residuated non-distributive lattices | 3 | 0.42 | 2008 |
| Relational attribute systems II: reasoning with relations in information structures | 7 | 0.69 | 2007 |
| Tableaux and Dual Tableaux: Transformation of Proofs | 14 | 1.12 | 2007 |
| Relational Reasoning In Formal Concept Analysis | 1 | 0.38 | 2007 |
| Discrete Duality and Its Applications to Reasoning with Incomplete Information | 16 | 0.91 | 2007 |
| In Memory of Professor Zdzislaw Pawlak | 0 | 0.34 | 2007 |
| Transactions on rough sets VI: commemorating the life and work of Zdzisław Pawlak, part I | 0 | 0.34 | 2007 |
| Relative Nondeterministic Information Logic is EXPTIME-complete | 0 | 0.34 | 2007 |
| Discrete Dualities for Heyting Algebras with Operators | 14 | 0.88 | 2007 |
| Transactions on Rough Sets VI, Commemorating the Life and Work of Zdzislaw Pawlak, Part I | 0 | 0.34 | 2007 |
| Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers | 17 | 1.22 | 2006 |
| Relational approach to order-of-magnitude reasoning | 9 | 0.64 | 2006 |
| A Kripke-Style and Relational Semantics for Logics Based on Lukasiewicz Algebras. | 2 | 0.45 | 2006 |
| An environment for specifying properties of dyadic relations and reasoning about them II: relational presentation of non-classical logics | 5 | 0.54 | 2006 |
| A Logic of Type Relations and its Applications to Relational Databases | 3 | 0.42 | 2006 |
| Relational logics and their applications | 4 | 0.50 | 2006 |
| Lattice-Based relation algebras II | 4 | 0.53 | 2006 |
| Relational proof systems for spatial reasoning | 0 | 0.34 | 2006 |
| Relational dual tableaux for interval temporal logics | 3 | 0.42 | 2006 |
| Relational representation theorems for lattices with negations: a survey | 5 | 0.62 | 2006 |
| Relational representation theorems for general lattices with negations | 12 | 0.98 | 2006 |
| Quantifier elimination in elementary set theory | 1 | 0.35 | 2005 |
| Duality via Truth: Semantic frameworks for lattice-based logics | 15 | 1.13 | 2005 |
| Relational representability for algebras of substructural logics | 7 | 0.72 | 2005 |
| Relational semantics through duality | 10 | 0.85 | 2005 |
| Boolean algebras arising from information systems | 10 | 1.09 | 2004 |
| Rasiowa-Sikorski Style Relational Elementary Set Theory | 2 | 0.38 | 2003 |
| Lattice-Based Relation Algebras and Their Representability | 10 | 1.51 | 2003 |
| Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers | 11 | 2.43 | 2003 |
| A Calculus of Typed Relations | 3 | 0.41 | 2003 |
