Ewa Orlowska

According to our database, Ewa Orlowska authored at least 108 papers between 1980 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Representation of Lattices with Modal Operators in Two-Sorted Frames.

Chrysafis Hartonas, Ewa Orlowska

Fundam. Informaticae, 2019

A Discrete Representation of Lattice Frames.

Ivo Düntsch, Ewa Orlowska

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version).

Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska

CoRR, 2018

2017

Mixed algebras and their logics.

Ivo Düntsch, Ewa Orlowska, Tinko Tinchev

J. Appl. Non Class. Logics, 2017

Preface.

Damian Niwinski, Ewa Orlowska

Fundam. Informaticae, 2017

A Discrete Representation for Dicomplemented Lattices.

Ivo Düntsch, Léonard Kwuida, Ewa Orlowska

Fundam. Informaticae, 2017

2016

A Relational Logic for Spatial Contact Based on Rough Set Approximation.

Ivo Düntsch, Ewa Orlowska, Hui Wang

Fundam. Informaticae, 2016

Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras.

Ivo Düntsch, Ewa Orlowska, Clint J. van Alten

Fuzzy Sets Syst., 2016

2014

Discrete dualities for some algebras with relations.

Ivo Düntsch, Ewa Orlowska

J. Log. Algebraic Methods Program., 2014

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation.

Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013

Knowledge Algebras and Their Discrete Duality.

Ewa Orlowska, Anna Maria Radzikowska

Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

Discrete Duality for Rough Relation Algebras.

Ivo Düntsch, Ewa Orlowska

Fundam. Informaticae, 2013

2011

Book Reviews.

Ewa Orlowska

Stud Logica, 2011

Discrete Dualities for Double Stone Algebras.

Ivo Düntsch, Ewa Orlowska

Stud Logica, 2011

Dual tableau-based decision procedures for relational logics with restricted composition operator.

Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska

J. Appl. Non Class. Logics, 2011

Dual tableau for monoidal triangular norm logic MTL.

Joanna Golinska-Pilarek, Ewa Orlowska

Fuzzy Sets Syst., 2011

An Algebraic Approach to Preference Relations.

Ivo Düntsch, Ewa Orlowska

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

Structures with Multirelations, their Discrete Dualities and Applications.

Ivo Düntsch, Ewa Orlowska, Ingrid Rewitzky

Fundam. Informaticae, 2010

Algebras for Galois-style connections and their discrete duality.

Ewa Orlowska, Ingrid Rewitzky

Fuzzy Sets Syst., 2010

Dual Tableau-based Decision Procedures for Some Relational Logics.

Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.

Alfredo Burrieza, Ángel Mora, Manuel Ojeda-Aciego, Ewa Orlowska

Int. J. Comput. Math., 2009

Discrete Duality for Relation Algebras and Cylindric Algebras.

Ewa Orlowska, Ingrid Rewitzky

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Context Algebras, Context Frames, and Their Discrete Duality.

Ewa Orlowska, Ingrid Rewitzky

Trans. Rough Sets, 2008

A discrete duality between apartness algebras and apartness frames.

Ivo Düntsch, Ewa Orlowska

J. Appl. Non Class. Logics, 2008

Representation theorems for some fuzzy logics based on residuated non-distributive lattices.

Ewa Orlowska, Anna Maria Radzikowska

Fuzzy Sets Syst., 2008

2007

Relational Attribute Systems II: Reasoning with Relations in Information Structures.

Ivo Düntsch, Günther Gediga, Ewa Orlowska

Trans. Rough Sets, 2007

Tableaux and Dual Tableaux: Transformation of Proofs.

Joanna Golinska-Pilarek, Ewa Orlowska

Stud Logica, 2007

Abstract Barycentric Algebras.

Anna B. Romanowska, Jonathan D. H. Smith, Ewa Orlowska

Fundam. Informaticae, 2007

Discrete Dualities for Heyting Algebras with Operators.

Ewa Orlowska, Ingrid Rewitzky

Fundam. Informaticae, 2007

In Memory of Professor Zdzislaw Pawlak.

Ewa Orlowska, James F. Peters, Grzegorz Rozenberg, Andrzej Skowron

Fundam. Informaticae, 2007

Relative Nondeterministic Information Logic is EXPTIME-complete.

Stéphane Demri, Ewa Orlowska

Fundam. Informaticae, 2007

Discrete Duality and Its Applications to Reasoning with Incomplete Information.

Ewa Orlowska, Ingrid Rewitzky

Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

Relational Reasoning in Formal Concept Analysis.

Joanna Golinska-Pilarek, Ewa Orlowska

Proceedings of the FUZZ-IEEE 2007, 2007

2006

A Kripke-Style and Relational Semantics for Logics Based on Lukasiewicz Algebras.

Luisa Iturrioz, Ewa Orlowska

J. Multiple Valued Log. Soft Comput., 2006

A Logic of Type Relations and its Applications to Relational Databases.

Wendy MacCaull, Ewa Orlowska

J. Log. Comput., 2006

Relational proof systems for spatial reasoning.

Joanna Golinska-Pilarek, Ewa Orlowska

J. Appl. Non Class. Logics, 2006

Relational dual tableaux for interval temporal logics.

Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska

J. Appl. Non Class. Logics, 2006

Relational Logics and Their Applications.

Joanna Golinska-Pilarek, Ewa Orlowska

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.

Andrea Formisano, Eugenio G. Omodeo, Ewa Orlowska

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

Relational Representation Theorems for Lattices with Negations: A Survey.

Wojciech Dzik, Ewa Orlowska, Clint J. van Alten

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

Relational Representation Theorems for General Lattices with Negations.

Wojciech Dzik, Ewa Orlowska, Clint J. van Alten

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

Lattice-Based Relation Algebras II.

Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

Relational Approach to Order-of-Magnitude Reasoning.

Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

2005

Duality via Truth: Semantic frameworks for lattice-based logics.

Ewa Orlowska, Ingrid Rewitzky

Log. J. IGPL, 2005

Quantifier Elimination in Elementary Set Theory.

Ewa Orlowska, Andrzej Szalas

Proceedings of the Relational Methods in Computer Science, 2005

Relational Semantics Through Duality.

Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch

Proceedings of the Relational Methods in Computer Science, 2005

Relational Representability for Algebras of Substructural Logics.

Ewa Orlowska, Anna Maria Radzikowska

Proceedings of the Relational Methods in Computer Science, 2005

Relational Correspondences for Lattices with Operators.

Jouni Järvinen, Ewa Orlowska

Proceedings of the Relational Methods in Computer Science, 2005

2004

Boolean algebras arising from information systems.

Ivo Düntsch, Ewa Orlowska

Ann. Pure Appl. Log., 2004

Editorial.

Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski

Ann. Pure Appl. Log., 2004

2003

Two Proof Systems for Peirce Algebras.

Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

Rasiowa-Sikorski Style Relational Elementary Set Theory.

Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

A Calculus of Typed Relations.

Wendy MacCaull, Ewa Orlowska

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

Lattice-Based Relation Algebras and Their Representability.

Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

2002

Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus.

Wendy MacCaull, Ewa Orlowska

Stud Logica, 2002

Incomplete Information: Structure, Inference, Complexity

Stéphane Demri, Ewa Orlowska

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-04997-6, 2002

2001

Relational attribute systems.

Ivo Düntsch, Günther Gediga, Ewa Orlowska

Int. J. Hum. Comput. Stud., 2001

Algebras of Approximating Regions.

Ivo Düntsch, Ewa Orlowska, Hui Wang

Fundam. Informaticae, 2001

Double Residuated Lattices and Their Applications.

Ewa Orlowska, Anna Maria Radzikowska

Proceedings of the Relational Methods in Computer Science, 2001

2000

Jerzy Los 1920-1998; Elements of Biography.

Stanislaw Balcerzyk, Wiktor Bartol, Ewa Orlowska, Andrzej Wieczorek, Agnieszka Wojciechowska-Waszkiewicz

Stud Logica, 2000

Logics of Complementarity in Information Systems.

Ivo Düntsch, Ewa Orlowska

Math. Log. Q., 2000

A Proof System for Contact Relation Algebras.

Ivo Düntsch, Ewa Orlowska

J. Philos. Log., 2000

Structures with Many-Valued Information and Their Relational Proof Theory.

Ivo Düntsch, Wendy MacCaull, Ewa Orlowska

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

An Algebraic and Logical Approach to the Approximation of Regions.

Ivo Düntsch, Ewa Orlowska, Hui Wang

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae.

Stéphane Demri, Ewa Orlowska

Stud Logica, 1999

A hierarchy of modal logics with relative accessibility relations.

Philippe Balbiani, Ewa Orlowska

J. Appl. Non Class. Logics, 1999

1998

Equational Reasoning in Non--Classical Logics.

Marcelo F. Frias, Ewa Orlowska

J. Appl. Non Class. Logics, 1998

A Relational Formalisation of Arbitrary Finite Valued Logics.

Beata Konikowska, Charles G. Morgan, Ewa Orlowska

Log. J. IGPL, 1998

Relational semantics for arbitrary finite valued logics.

Beata Konikowska, Charles G. Morgan, Ewa Orlowska

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

Classes of modal frames definable by closure relational operations.

Stéphane Demri, Ewa Orlowska

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Substitutivity Principles in Some Theories of Uncertainty.

Mihir K. Chakraborty, Ewa Orlowska

Fundam. Informaticae, 1997

Many-Valuedness and Uncertainty.

Ewa Orlowska

Proceedings of the 27th IEEE International Symposium on Multiple-Valued Logic, 1997

Reasoning with Relational Demonic Operators.

Stéphane Demri, Ewa Orlowska

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Relational Formalisation of Nonclassical Logics.

Ewa Orlowska

Proceedings of the Relational Methods in Computer Science., 1997

1996

Logical Analysis of Demonic Nondeterministic Programs.

Stéphane Demri, Ewa Orlowska

Theor. Comput. Sci., 1996

A Rough Set Model of Information Retrieval.

John Green, Neil Horne, Ewa Orlowska, Paul Siemens

Fundam. Informaticae, 1996

Relational Environment for Semigroup Logics.

Ewa Orlowska

Proceedings of the Logic, Action, and Information, 1996

1995

In Memoriam Helena Rasiowa.

Ewa Orlowska, Andrzej Skowron

Stud Logica, 1995

Handling Information Logics in a Graphical Proof Editor.

Michel Herment, Ewa Orlowska

Comput. Intell., 1995

Information Algebras.

Ewa Orlowska

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Towards Reasoning about Hoare Relations.

Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky

Ann. Math. Artif. Intell., 1994

Two Logical Dimensions.

Ewa Orlowska

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

1993

Dynamic logic with program specifications and its relational proof system.

Ewa Orlowska

J. Appl. Non Class. Logics, 1993

Reasoning with Incomplete Information: Rough Set Based Information Logics.

Ewa Orlowska

Proceedings of the Incompleteness and Uncertainty in Information Systems, 1993

Rough Set Semantics for Non-classical Logics.

Ewa Orlowska

Proceedings of the Rough Sets, 1993

1992

Relational Proof System for Relevant Logics.

Ewa Orlowska

J. Symb. Log., 1992

1991

Post Relation Algebras and Their Proof System.

Ewa Orlowska

Proceedings of the 21st International Symposium on Multiple-Valued Logic, 1991

Relational proof systems for some AI logics.

Ewa Orlowska

Proceedings of the Fundamentals of Artificial Intelligence Research, 1991

1990

Verisimilitude based on concept analysis.

Ewa Orlowska

Stud Logica, 1990

Kripke semantics for knowledge representation logics.

Ewa Orlowska

Stud Logica, 1990

Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras.

Ewa Orlowska

Proceedings of the Nonclassical Logics and Information Processing, 1990

1989

Logic For Reasoning About Knowledge.

Ewa Orlowska

Math. Log. Q., 1989

1988

Representation of vague information.

Ewa Orlowska

Inf. Syst., 1988

Proof System for Weakest Prespecification.

Ewa Orlowska

Inf. Process. Lett., 1988

Logical aspects of learning concepts.

Ewa Orlowska

Int. J. Approx. Reason., 1988

Proof System for Weakest Prespecification and its Applications.

Ewa Orlowska

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1986

Semantic Analysis of Inductive Reasoning.

Ewa Orlowska

Theor. Comput. Sci., 1986

<i>Corrigendum: </i> DAL-A Logic for Data Analysis.

Luis Fariñas del Cerro, Ewa Orlowska

Theor. Comput. Sci., 1986

1985

DAL - A Logic for Data Analysis.

Luis Fariñas del Cerro, Ewa Orlowska

Theor. Comput. Sci., 1985

Logic of nondeterministic information.

Ewa Orlowska

Stud Logica, 1985

1984

Representation of Nondeterministic Information.

Ewa Orlowska, Zdzislaw Pawlak

Theor. Comput. Sci., 1984

Modal Logics in the Theory of Information Systems.

Ewa Orlowska

Math. Log. Q., 1984

Expressive Power of Knowledge Representation Systems.

Ewa Orlowska, Zdzislaw Pawlak

Int. J. Man Mach. Stud., 1984

A logic of indiscernibility relations.

Ewa Orlowska

Proceedings of the Computation Theory, 1984

1982

Representation of temporal information.

Ewa Orlowska

Int. J. Parallel Program., 1982

1980

Resolution systems and their applications II.

Ewa Orlowska

Fundam. Informaticae, 1980

Resolution problem and their applications I.

Ewa Orlowska

Fundam. Informaticae, 1980

On some extensions of dynamic logic.

Ewa Orlowska

Proceedings of the Logics of Programs and Their Applications, 1980