| Publication | Date of Publication | Type |
|---|
| Autobiography | 2024-09-06 | Paper |
| Engaged in relations: a trialogue | 2024-09-06 | Paper |
| Information algebras | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5087782 | 2022-07-01 | Paper |
| Application of Urquhart’s Representation of Lattices to Some Non–classical Logics | 2022-02-04 | Paper |
| On the Semilattice of Modal Operators and Decompositions of the Discriminator | 2021-12-10 | Paper |
| A discrete representation of lattice frames | 2020-01-30 | Paper |
| Representation of Lattices with Modal Operators in Two-Sorted Frames | 2019-06-14 | Paper |
| Post Algebras in the Work of Helena Rasiowa | 2019-01-21 | Paper |
| Mixed algebras and their logics | 2018-09-12 | Paper |
| Representation of lattice frames | 2018-06-07 | Paper |
| A Discrete Representation for Dicomplemented Lattices | 2018-03-02 | Paper |
| Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras | 2018-02-19 | Paper |
| A Relational Logic for Spatial Contact Based on Rough Set Approximation | 2017-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3467535 | 2016-02-02 | Paper |
| Knowledge Algebras and Their Discrete Duality | 2015-04-08 | Paper |
| Discrete dualities for some algebras with relations | 2014-09-08 | Paper |
| Discrete duality for rough relation algebras | 2013-11-28 | Paper |
| Dual tableau-based decision procedures for relational logics with restricted composition operator | 2012-07-17 | Paper |
| Cecylia Rauszer (1942--1994) | 2012-06-30 | Paper |
| Discrete dualities for double Stone algebras | 2011-11-23 | Paper |
| An Algebraic Approach to Preference Relations | 2011-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998396 | 2011-05-18 | Paper |
| Dual tableau for monoidal triangular norm logic MTL | 2011-01-31 | Paper |
| Structures with Multirelations, their Discrete Dualities and Applications | 2011-01-03 | Paper |
| Dual tableaux. Foundations, methodology, case studies | 2010-10-19 | Paper |
| Algebras for Galois-style connections and their discrete duality | 2010-05-07 | Paper |
| Discrete Duality for Relation Algebras and Cylindric Algebras | 2009-12-11 | Paper |
| Relational dual tableaux for interval temporal logics ★ | 2009-11-30 | Paper |
| Relational proof systems for spatial reasoning ★ | 2009-11-30 | Paper |
| Obituary Zdzislaw Pawlak (1926–2006) | 2009-11-30 | Paper |
| A discrete duality between apartness algebras and apartness frames | 2009-11-11 | Paper |
| An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning | 2009-11-10 | Paper |
| Representation theorems for some fuzzy logics based on residuated non-distributive lattices | 2009-08-28 | Paper |
| Logics of Similarity and their Dual Tableaux A Survey | 2009-07-27 | Paper |
| Theory and Applications of Relational Structures as Knowledge Instruments | 2009-06-09 | Paper |
| Context Algebras, Context Frames, and Their Discrete Duality | 2009-01-27 | Paper |
| Relational Approach to Order-of-Magnitude Reasoning | 2009-01-20 | Paper |
| Relational Logics and Their Applications | 2009-01-20 | Paper |
| Lattice-Based Relation Algebras II | 2009-01-20 | Paper |
| Relational Representation Theorems for Lattices with Negations: A Survey | 2009-01-20 | Paper |
| An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics | 2009-01-20 | Paper |
| The Beth property and interpolation in lattice-based algebras and logics | 2008-12-18 | Paper |
| A Kripke-style and relational semantics for logics based on Łukasiewicz algebras | 2008-07-01 | Paper |
| Relational Representation Theorems for General Lattices with Negations | 2008-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445172 | 2008-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445171 | 2008-03-03 | Paper |
| Tableaux and dual tableaux: transformation of proofs | 2007-09-10 | Paper |
| Relational Attribute Systems II: Reasoning with Relations in Information Structures | 2007-09-03 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| A Logic of Type Relations and its Applications to Relational Databases | 2007-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425569 | 2007-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425576 | 2007-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483303 | 2006-08-16 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Duality via Truth: Semantic frameworks for lattice-based logics | 2005-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4820589 | 2004-10-15 | Paper |
| Boolean algebras arising from information systems | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415079 | 2003-07-28 | Paper |
| Correspondence results for relational proof systems with application to the Lambek calculus | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329272 | 2002-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329277 | 2002-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537440 | 2002-06-30 | Paper |
| A hierarchy of modal logics with relative accessibility relations | 2002-05-22 | Paper |
| Algebras of approximating regions | 2002-01-24 | Paper |
| Relational attribute systems | 2001-11-19 | Paper |
| Incomplete information: Structure, inference, complexity | 2001-10-30 | Paper |
| Studying incompleteness of information: A class of information logics | 2001-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489062 | 2001-09-13 | Paper |
| A proof system for fork algebras and its applications to reasoning in logics based on intuitionism | 2001-09-04 | Paper |
| Jerzy Łoś (1920-1998) | 2001-06-25 | Paper |
| A proof system for contact relation algebras | 2001-03-07 | Paper |
| Logics of Complementarity in Information Systems | 2000-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944959 | 2000-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489074 | 2000-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764405 | 2000-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250246 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249218 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250056 | 1999-10-28 | Paper |
| A relational formalisation of arbitrary finite valued logics | 1999-10-11 | Paper |
| Every finitely reducible logic has the finite model property with respect to the class of \(\lozenge\)-formulae | 1999-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4267170 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225122 | 1999-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4379670 | 1998-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362880 | 1997-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4345015 | 1997-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3127660 | 1997-04-10 | Paper |
| Towards reasoning about Hoare relations | 1997-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3126173 | 1997-03-23 | Paper |
| Logical analysis of demonic nondeterministic programs | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283973 | 1997-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688805 | 1997-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4849617 | 1995-10-04 | Paper |
| Helena Rasiowa | 1995-02-22 | Paper |
| Dynamic logic with program specifications and its relational proof system | 1994-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4279077 | 1994-09-21 | Paper |
| Relational proof system for relevant logics | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029603 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011727 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976918 | 1992-06-25 | Paper |
| Verisimilitude based on concept analysis | 1992-06-25 | Paper |
| Kripke semantics for knowledge representation logics | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3202993 | 1990-01-01 | Paper |
| Logic For Reasoning About Knowledge | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207888 | 1989-01-01 | Paper |
| Logical aspects of learning concepts | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795651 | 1988-01-01 | Paper |
| Representation of vague information | 1988-01-01 | Paper |
| Proof system for weakest prespecification | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3801525 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3035258 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830967 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830968 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3784049 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782852 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796798 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780496 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3791116 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795653 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778725 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786032 | 1987-01-01 | Paper |
| Semantic analysis of inductive reasoning | 1986-01-01 | Paper |
| Corrigendum to: ``DAL -- a logic for data analysis | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740278 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4728270 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740276 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680808 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3708777 | 1985-01-01 | Paper |
| Logic of nondeterministic information | 1985-01-01 | Paper |
| DAL -- a logic for data analysis | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3755437 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714047 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3708776 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760507 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707431 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3706522 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3708782 | 1985-01-01 | Paper |
| Representation of nondeterministic information | 1984-01-01 | Paper |
| Expressive power of knowledge representation systems | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3341946 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220558 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681933 | 1984-01-01 | Paper |
| MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216157 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346287 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3706521 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3718680 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220567 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3698303 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3723687 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749250 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220342 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039311 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3673157 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039319 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3038607 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039320 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3320343 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749820 | 1982-01-01 | Paper |
| Representation of temporal information | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3925897 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3315481 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745294 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3887433 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3870868 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4167573 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3852154 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4147972 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4147973 | 1978-01-01 | Paper |
| Threshold logic. II | 1976-01-01 | Paper |
| The Gentzen style axiomatization of \(\omega^+\)-valued logic | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4157960 | 1976-01-01 | Paper |
| On the Jaskowski's method of suppositions | 1975-01-01 | Paper |
| Treshold logic | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5685662 | 1973-01-01 | Paper |
| Mechanical theorem proving in a certain class of formulae of the predicate calculus | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5674431 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534224 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5545967 | 1967-01-01 | Paper |
