Ewa Orlowska

ORCID

Publication Activity (10 Years)

Years Active: 1980-2019
Publications (10 Years): 8

Top Venues

Fundam. Informaticae

J. Log. Algebraic Methods Program.

CoRR

Fuzzy Sets Syst.

Publications

Chrysafis Hartonas, Ewa Orlowska
Representation of Lattices with Modal Operators in Two-Sorted Frames. Fundam. Informaticae 166 (1) (2019)
Ivo Düntsch, Ewa Orlowska
A Discrete Representation of Lattice Frames. LORI (2019)
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). CoRR (2018)
Ivo Düntsch, Ewa Orlowska, Tinko Tinchev
Mixed algebras and their logics. J. Appl. Non Class. Logics 27 (3-4) (2017)
Damian Niwinski, Ewa Orlowska
Preface. Fundam. Informaticae 156 (3-4) (2017)
Ivo Düntsch, Léonard Kwuida, Ewa Orlowska
A Discrete Representation for Dicomplemented Lattices. Fundam. Informaticae 156 (3-4) (2017)
Ivo Düntsch, Ewa Orlowska, Clint J. van Alten
Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras. Fuzzy Sets Syst. 292 (2016)
Ivo Düntsch, Ewa Orlowska, Hui Wang
A Relational Logic for Spatial Contact Based on Rough Set Approximation. Fundam. Informaticae 148 (1-2) (2016)
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. CILC (2014)
Ivo Düntsch, Ewa Orlowska
Discrete dualities for some algebras with relations. J. Log. Algebraic Methods Program. 83 (2) (2014)
Ivo Düntsch, Ewa Orlowska
Discrete Duality for Rough Relation Algebras. Fundam. Informaticae 127 (1-4) (2013)
Ivo Düntsch, Ewa Orlowska
Discrete Dualities for Double Stone Algebras. Stud Logica 99 (1-3) (2011)
Ewa Orlowska
Book Reviews. Stud Logica 97 (3) (2011)
Joanna Golinska-Pilarek, Ewa Orlowska
Dual tableau for monoidal triangular norm logic MTL. Fuzzy Sets Syst. 162 (1) (2011)
Ivo Düntsch, Ewa Orlowska
An Algebraic Approach to Preference Relations. RAMiCS (2011)
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
Dual tableau-based decision procedures for relational logics with restricted composition operator. J. Appl. Non Class. Logics 21 (2) (2011)
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
Dual Tableau-based Decision Procedures for Some Relational Logics. CILC (2010)
Ewa Orlowska, Ingrid Rewitzky
Algebras for Galois-style connections and their discrete duality. Fuzzy Sets Syst. 161 (9) (2010)
Ivo Düntsch, Ewa Orlowska, Ingrid Rewitzky
Structures with Multirelations, their Discrete Dualities and Applications. Fundam. Informaticae 100 (1-4) (2010)
Ewa Orlowska, Ingrid Rewitzky
Discrete Duality for Relation Algebras and Cylindric Algebras. RelMiCS (2009)
Alfredo Burrieza, Angel Mora, Manuel Ojeda-Aciego, Ewa Orlowska
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. 86 (10&11) (2009)
Ivo Düntsch, Ewa Orlowska
A discrete duality between apartness algebras and apartness frames. J. Appl. Non Class. Logics 18 (2-3) (2008)
Ewa Orlowska, Anna Maria Radzikowska
Representation theorems for some fuzzy logics based on residuated non-distributive lattices. Fuzzy Sets Syst. 159 (10) (2008)
Ewa Orlowska, Ingrid Rewitzky
Context Algebras, Context Frames, and Their Discrete Duality. Trans. Rough Sets 9 (2008)
Joanna Golinska-Pilarek, Ewa Orlowska
Tableaux and Dual Tableaux: Transformation of Proofs. Stud Logica 85 (3) (2007)
Ewa Orlowska, James F. Peters, Grzegorz Rozenberg, Andrzej Skowron
In Memory of Professor Zdzislaw Pawlak. Fundam. Informaticae 75 (1-4) (2007)
Ewa Orlowska, Ingrid Rewitzky
Discrete Dualities for Heyting Algebras with Operators. Fundam. Informaticae 81 (1-3) (2007)
Joanna Golinska-Pilarek, Ewa Orlowska
Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE (2007)
Anna B. Romanowska, Jonathan D. H. Smith, Ewa Orlowska
Abstract Barycentric Algebras. Fundam. Informaticae 81 (1-3) (2007)
Stéphane Demri, Ewa Orlowska
Relative Nondeterministic Information Logic is EXPTIME-complete. Fundam. Informaticae 75 (1-4) (2007)
Ivo Düntsch, Günther Gediga, Ewa Orlowska
Relational Attribute Systems II: Reasoning with Relations in Information Structures. Trans. Rough Sets 7 (2007)
Ewa Orlowska, Ingrid Rewitzky
Discrete Duality and Its Applications to Reasoning with Incomplete Information. RSEISP (2007)
Joanna Golinska-Pilarek, Ewa Orlowska
Relational proof systems for spatial reasoning. J. Appl. Non Class. Logics 16 (3-4) (2006)
Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska
Relational dual tableaux for interval temporal logics. J. Appl. Non Class. Logics 16 (3-4) (2006)
Wojciech Dzik, Ewa Orlowska, Clint J. van Alten
Relational Representation Theorems for General Lattices with Negations. RelMiCS (2006)
Wendy MacCaull, Ewa Orlowska
A Logic of Type Relations and its Applications to Relational Databases. J. Log. Comput. 16 (6) (2006)
Luisa Iturrioz, Ewa Orlowska
A Kripke-Style and Relational Semantics for Logics Based on Lukasiewicz Algebras. J. Multiple Valued Log. Soft Comput. 12 (1-2) (2006)
Ewa Orlowska, Anna Maria Radzikowska
Relational Representability for Algebras of Substructural Logics. RelMiCS (2005)
Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch
Relational Semantics Through Duality. RelMiCS (2005)
Ewa Orlowska, Ingrid Rewitzky
Duality via Truth: Semantic frameworks for lattice-based logics. Log. J. IGPL 13 (4) (2005)
Ewa Orlowska, Andrzej Szalas
Quantifier Elimination in Elementary Set Theory. RelMiCS (2005)
Jouni Järvinen, Ewa Orlowska
Relational Correspondences for Lattices with Operators. RelMiCS (2005)
Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski
Editorial. Ann. Pure Appl. Log. 126 (1-3) (2004)
Ivo Düntsch, Ewa Orlowska
Boolean algebras arising from information systems. Ann. Pure Appl. Log. 127 (1-3) (2004)
Wendy MacCaull, Ewa Orlowska
A Calculus of Typed Relations. RelMiCS (2003)
Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt
Two Proof Systems for Peirce Algebras. RelMiCS (2003)
Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti
Rasiowa-Sikorski Style Relational Elementary Set Theory. RelMiCS (2003)
Wendy MacCaull, Ewa Orlowska
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. Stud Logica 71 (3) (2002)
Ewa Orlowska, Anna Maria Radzikowska
Double Residuated Lattices and Their Applications. RelMiCS (2001)
Ivo Düntsch, Ewa Orlowska, Hui Wang
Algebras of Approximating Regions. Fundam. Informaticae 46 (1-2) (2001)
Ivo Düntsch, Günther Gediga, Ewa Orlowska
Relational attribute systems. Int. J. Hum. Comput. Stud. 55 (3) (2001)
Stanislaw Balcerzyk, Wiktor Bartol, Ewa Orlowska, Andrzej Wieczorek, Agnieszka Wojciechowska-Waszkiewicz
Jerzy Los 1920-1998; Elements of Biography. Stud Logica 65 (3) (2000)
Ivo Düntsch, Ewa Orlowska
A Proof System for Contact Relation Algebras. J. Philos. Log. 29 (3) (2000)
Ivo Düntsch, Wendy MacCaull, Ewa Orlowska
Structures with Many-Valued Information and Their Relational Proof Theory. ISMVL (2000)
Ivo Düntsch, Ewa Orlowska
Logics of Complementarity in Information Systems. Math. Log. Q. 46 (2) (2000)
Ivo Düntsch, Ewa Orlowska, Hui Wang
An Algebraic and Logical Approach to the Approximation of Regions. RelMiCS (2000)
Stéphane Demri, Ewa Orlowska
Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae. Stud Logica 62 (2) (1999)
Philippe Balbiani, Ewa Orlowska
A hierarchy of modal logics with relative accessibility relations. J. Appl. Non Class. Logics 9 (2-3) (1999)
Beata Konikowska, Charles G. Morgan, Ewa Orlowska
Relational semantics for arbitrary finite valued logics. RelMiCS (1998)
Marcelo F. Frias, Ewa Orlowska
Equational Reasoning in Non--Classical Logics. J. Appl. Non Class. Logics 8 (1-2) (1998)
Stéphane Demri, Ewa Orlowska
Classes of modal frames definable by closure relational operations. RelMiCS (1998)
Beata Konikowska, Charles G. Morgan, Ewa Orlowska
A Relational Formalisation of Arbitrary Finite Valued Logics. Log. J. IGPL 6 (5) (1998)
Marcelo F. Frias, Ewa Orlowska
Equational Reasoning in Non-Classical Logics. RelMiCS (1997)
Mihir K. Chakraborty, Ewa Orlowska
Substitutivity Principles in Some Theories of Uncertainty. Fundam. Informaticae 32 (2) (1997)
Ewa Orlowska
Many-Valuedness and Uncertainty. ISMVL (1997)
Stéphane Demri, Ewa Orlowska
Reasoning with Relational Demonic Operators. RelMiCS (1997)
Stéphane Demri, Ewa Orlowska
Logical Analysis of Demonic Nondeterministic Programs. Theor. Comput. Sci. 166 (1&2) (1996)
John Green, Neil Horne, Ewa Orlowska, Paul Siemens
A Rough Set Model of Information Retrieval. Fundam. Informaticae 28 (3-4) (1996)
Ewa Orlowska, Andrzej Skowron
In Memoriam Helena Rasiowa. Stud Logica 54 (1) (1995)
Ewa Orlowska
Information Algebras. AMAST (1995)
Michel Herment, Ewa Orlowska
Handling Information Logics in a Graphical Proof Editor. Comput. Intell. 11 (1995)
Ewa Orlowska
Two Logical Dimensions. JELIA (1994)
Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky
Towards Reasoning about Hoare Relations. Ann. Math. Artif. Intell. 12 (3-4) (1994)
Ewa Orlowska
Rough Set Semantics for Non-classical Logics. RSKD (1993)
Ewa Orlowska
Dynamic logic with program specifications and its relational proof system. J. Appl. Non Class. Logics 3 (2) (1993)
Ewa Orlowska
Reasoning with Incomplete Information: Rough Set Based Information Logics. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems (1993)
Ewa Orlowska
Relational Proof System for Relevant Logics. J. Symb. Log. 57 (4) (1992)
Ewa Orlowska
Post Relation Algebras and Their Proof System. ISMVL (1991)
Ewa Orlowska
Relational proof systems for some AI logics. FAIR (1991)
Ewa Orlowska
Kripke semantics for knowledge representation logics. Stud Logica 49 (2) (1990)
Ewa Orlowska
Verisimilitude based on concept analysis. Stud Logica 49 (3) (1990)
Ewa Orlowska
Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras. Nonclassical Logics and Information Processing (1990)
Ewa Orlowska
Logic For Reasoning About Knowledge. Math. Log. Q. 35 (6) (1989)
Ewa Orlowska
Proof System for Weakest Prespecification and its Applications. MFCS (1988)
Ewa Orlowska
Proof System for Weakest Prespecification. Inf. Process. Lett. 27 (6) (1988)
Ewa Orlowska
Logical aspects of learning concepts. Int. J. Approx. Reason. 2 (4) (1988)
Ewa Orlowska
Representation of vague information. Inf. Syst. 13 (2) (1988)
Ewa Orlowska
Semantic Analysis of Inductive Reasoning. Theor. Comput. Sci. 43 (1986)
Luis Fariñas del Cerro, Ewa Orlowska
DAL-A Logic for Data Analysis. Theor. Comput. Sci. 47 (3) (1986)
Ewa Orlowska
Logic of nondeterministic information. Stud Logica 44 (1) (1985)
Luis Fariñas del Cerro, Ewa Orlowska
DAL - A Logic for Data Analysis. Theor. Comput. Sci. 36 (1985)
Ewa Orlowska, Zdzislaw Pawlak
Representation of Nondeterministic Information. Theor. Comput. Sci. 29 (1984)
Ewa Orlowska
A logic of indiscernibility relations. Symposium on Computation Theory (1984)
Ewa Orlowska, Zdzislaw Pawlak
Expressive Power of Knowledge Representation Systems. Int. J. Man Mach. Stud. 20 (5) (1984)
Luis Fariñas del Cerro, Ewa Orlowska
DAL - A Logic for Data Analysis. FGCS (1984)
Ewa Orlowska
Modal Logics in the Theory of Information Systems. Math. Log. Q. 30 (13-16) (1984)
Luis Fariñas del Cerro, Ewa Orlowska
DAL: A Logic for Data Analysis. ECAI (1984)
Ewa Orlowska
Representation of temporal information. Int. J. Parallel Program. 11 (6) (1982)
Ewa Orlowska
On some extensions of dynamic logic. Logic of Programs (1980)
Ewa Orlowska
Resolution problem and their applications I. Fundam. Informaticae 3 (2) (1980)

Ewa Orlowska.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ewa Orlowska