| Publication | Date of Publication | Type |
|---|
| Engaged in relations: a trialogue | 2024-09-06 | Paper |
| Autobiography | 2024-09-06 | Paper |
Information algebras
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
| scientific article; zbMATH DE number 7552279 (Why is no real title available?) | 2022-07-01 | Paper |
Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
Outstanding Contributions to Logic | 2022-02-04 | 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 |
| A discrete representation of lattice frames | 2020-01-30 | Paper |
Representation of lattices with modal operators in two-sorted frames
Fundamenta Informaticae | 2019-06-14 | Paper |
Post algebras in the work of Helena Rasiowa
Studies in Universal Logic | 2019-01-21 | Paper |
Mixed algebras and their logics
Journal of Applied Non-Classical Logics | 2018-09-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 |
| Dualities for structures of applied logics | 2016-02-02 | Paper |
Knowledge algebras and their discrete duality
Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam | 2015-04-08 | Paper |
Discrete dualities for some algebras with relations
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
Discrete duality for rough relation algebras
Fundamenta Informaticae | 2013-11-28 | Paper |
Dual tableau-based decision procedures for relational logics with restricted composition operator
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Cecylia Rauszer (1942--1994)
Roczniki Polskiego Towarzystwa Matematycznego. Seria II. Wiadomości Matematyczne | 2012-06-30 | 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 |
| scientific article; zbMATH DE number 5896245 (Why is no real title available?) | 2011-05-18 | Paper |
Dual tableau for monoidal triangular norm logic MTL
Fuzzy Sets and Systems | 2011-01-31 | Paper |
Structures with multirelations, their discrete dualities and applications
Fundamenta Informaticae | 2011-01-03 | Paper |
Dual tableaux. Foundations, methodology, case studies
Trends in Logic -- Studia Logica Library | 2010-10-19 | Paper |
Algebras for Galois-style connections and their discrete duality
Fuzzy Sets and Systems | 2010-05-07 | Paper |
Discrete duality for relation algebras and cylindric algebras
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Relational dual tableaux for interval temporal logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Relational proof systems for spatial reasoning
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Obituary Zdzislaw Pawlak (1926–2006)
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 |
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
International Journal of Computer Mathematics | 2009-11-10 | Paper |
Representation theorems for some fuzzy logics based on residuated non-distributive lattices
Fuzzy Sets and Systems | 2009-08-28 | Paper |
Logics of Similarity and their Dual Tableaux A Survey
Preferences and Similarities | 2009-07-27 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Context Algebras, Context Frames, and Their Discrete Duality
Transactions on Rough Sets IX | 2009-01-27 | Paper |
Relational Approach to Order-of-Magnitude Reasoning
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
Relational Logics and Their Applications
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
Lattice-Based Relation Algebras II
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
Relational Representation Theorems for Lattices with Negations: A Survey
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
The Beth property and interpolation in lattice-based algebras and logics
Algebra and Logic | 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
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
| scientific article; zbMATH DE number 5241983 (Why is no real title available?) | 2008-03-03 | Paper |
| Abstract barycentric algebras | 2008-03-03 | Paper |
Tableaux and dual tableaux: transformation of proofs
Studia Logica | 2007-09-10 | 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 |
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 Logic of Type Relations and its Applications to Relational Databases
Journal Of Logic And Computation | 2007-04-13 | Paper |
| scientific article; zbMATH DE number 5129595 (Why is no real title available?) | 2007-02-26 | Paper |
| Relative nondeterministic information logic is EXPTIME-complete | 2007-02-26 | Paper |
| scientific article; zbMATH DE number 5046779 (Why is no real title available?) | 2006-08-16 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Duality via Truth: Semantic frameworks for lattice-based logics
Logic Journal of the IGPL | 2005-11-08 | Paper |
| scientific article; zbMATH DE number 2108191 (Why is no real title available?) | 2004-10-15 | Paper |
Boolean algebras arising from information systems
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1953894 (Why is no real title available?) | 2003-07-28 | Paper |
Correspondence results for relational proof systems with application to the Lambek calculus
Studia Logica | 2002-12-15 | Paper |
| scientific article; zbMATH DE number 1735909 (Why is no real title available?) | 2002-11-26 | Paper |
| scientific article; zbMATH DE number 1735914 (Why is no real title available?) | 2002-09-16 | Paper |
| scientific article; zbMATH DE number 1761420 (Why is no real title available?) | 2002-06-30 | Paper |
A hierarchy of modal logics with relative accessibility relations
Journal of Applied Non-Classical Logics | 2002-05-22 | Paper |
Algebras of approximating regions
Fundamenta Informaticae | 2002-01-24 | Paper |
Relational attribute systems
International Journal of Human-Computer Studies | 2001-11-19 | Paper |
Incomplete information: Structure, inference, complexity
Monographs in Theoretical Computer Science. An EATCS Series | 2001-10-30 | Paper |
| Studying incompleteness of information: A class of information logics | 2001-09-14 | Paper |
| scientific article; zbMATH DE number 1471978 (Why is no real title available?) | 2001-09-13 | Paper |
A proof system for fork algebras and its applications to reasoning in logics based on intuitionism
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
Jerzy Łoś (1920-1998)
Studia Logica | 2001-06-25 | 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 1420890 (Why is no real title available?) | 2000-10-08 | Paper |
| scientific article; zbMATH DE number 1471990 (Why is no real title available?) | 2000-07-09 | Paper |
| scientific article; zbMATH DE number 750834 (Why is no real title available?) | 2000-07-04 | Paper |
| scientific article; zbMATH DE number 1303619 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1302666 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1303446 (Why is no real title available?) | 1999-10-28 | Paper |
A relational formalisation of arbitrary finite valued logics
Logic Journal of the IGPL | 1999-10-11 | Paper |
Every finitely reducible logic has the finite model property with respect to the class of \(\lozenge\)-formulae
Studia Logica | 1999-09-29 | Paper |
| scientific article; zbMATH DE number 1343459 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1241672 (Why is no real title available?) | 1999-01-18 | Paper |
| scientific article; zbMATH DE number 1123615 (Why is no real title available?) | 1998-03-04 | Paper |
| scientific article; zbMATH DE number 1086631 (Why is no real title available?) | 1997-11-13 | Paper |
| scientific article; zbMATH DE number 1036761 (Why is no real title available?) | 1997-08-18 | Paper |
| scientific article; zbMATH DE number 998069 (Why is no real title available?) | 1997-04-10 | Paper |
Towards reasoning about Hoare relations
Annals of Mathematics and Artificial Intelligence | 1997-03-25 | Paper |
| scientific article; zbMATH DE number 994058 (Why is no real title available?) | 1997-03-23 | Paper |
Logical analysis of demonic nondeterministic programs
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 975283 (Why is no real title available?) | 1997-02-04 | Paper |
| scientific article; zbMATH DE number 970626 (Why is no real title available?) | 1997-01-23 | Paper |
| scientific article; zbMATH DE number 802449 (Why is no real title available?) | 1995-10-04 | Paper |
Helena Rasiowa
Studia Logica | 1995-02-22 | Paper |
Dynamic logic with program specifications and its relational proof system
Journal of Applied Non-Classical Logics | 1994-12-12 | Paper |
| scientific article; zbMATH DE number 500944 (Why is no real title available?) | 1994-09-21 | Paper |
Relational proof system for relevant logics
Journal of Symbolic Logic | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 139624 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 67039 (Why is no real title available?) | 1992-09-27 | Paper |
Verisimilitude based on concept analysis
Studia Logica | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 14393 (Why is no real title available?) | 1992-06-25 | Paper |
Kripke semantics for knowledge representation logics
Studia Logica | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4179336 (Why is no real title available?) | 1990-01-01 | Paper |
Logic For Reasoning About Knowledge
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4128794 (Why is no real title available?) | 1989-01-01 | Paper |
Logical aspects of learning concepts
International Journal of Approximate Reasoning | 1988-01-01 | Paper |
Representation of vague information
Information Systems | 1988-01-01 | Paper |
Proof system for weakest prespecification
Information Processing Letters | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4061199 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4068837 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4134011 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4106800 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4106801 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4047689 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4045244 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4062637 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4043309 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4055572 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4061203 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4039863 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049152 (Why is no real title available?) | 1987-01-01 | Paper |
Semantic analysis of inductive reasoning
Theoretical Computer Science | 1986-01-01 | Paper |
Corrigendum to: ``DAL -- a logic for data analysis''
Theoretical Computer Science | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3974346 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4003563 (Why is no real title available?) | 1986-01-01 | Paper |
Logic of nondeterministic information
Studia Logica | 1985-01-01 | Paper |
DAL -- a logic for data analysis
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3974344 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3902620 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3935007 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4004160 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3941499 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3935006 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4010478 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3936548 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3934437 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3935012 (Why is no real title available?) | 1985-01-01 | Paper |
Representation of nondeterministic information
Theoretical Computer Science | 1984-01-01 | Paper |
Expressive power of knowledge representation systems
International Journal of Man-Machine Studies | 1984-01-01 | Paper |
MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
Mathematical Logic Quarterly | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3876644 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3885871 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3903963 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3881902 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3880660 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3934436 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3948225 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3885879 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3924133 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3954261 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3806990 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3885642 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3831900 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3827253 (Why is no real title available?) | 1983-01-01 | Paper |
Representation of temporal information
International Journal of Computer & Information Sciences | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3831908 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3833287 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3831909 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3851048 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3805519 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3740789 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3845549 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3800968 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3693241 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3674052 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3601101 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3652303 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3575570 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3575571 (Why is no real title available?) | 1978-01-01 | Paper |
Threshold logic. II
Studia Logica | 1976-01-01 | Paper |
The Gentzen style axiomatization of \(\omega^+\)-valued logic
Studia Logica | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3589740 (Why is no real title available?) | 1976-01-01 | Paper |
On the Jaskowski's method of suppositions
Studia Logica | 1975-01-01 | Paper |
Treshold logic
Studia Logica | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3423584 (Why is no real title available?) | 1973-01-01 | Paper |
Mechanical theorem proving in a certain class of formulae of the predicate calculus
Studia Logica | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3408929 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3246253 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3259904 (Why is no real title available?) | 1967-01-01 | Paper |
