×

zbMATH — the first resource for mathematics

Orłowska, Ewa S.

Compute Distance To:
Author ID: orlowska.ewa-s Recent zbMATH articles by "Orłowska, Ewa S."
Published as: Orłowska, Ewa; Orlowska, Ewa; Orlowska, E.; Orłowska, Ewa S.; Orłowska, E.
External Links: MGP · ORCID · ResearchGate · Math-Net.Ru · dblp · GND
Documents Indexed: 193 Publications since 1967, including 17 Books
Biographic References: 1 Publication
all top 5

Co-Authors

86 single-authored
23 Düntsch, Ivo
9 Demri, Stéphane P.
9 Rewitzky, Ingrid
9 Skowron, Andrzej
7 Golińska-Pilarek, Joanna
7 Radzikowska, Anna Maria
4 Pawlak, Zdzisław
4 Peters, James Francis III
3 Bartol, Wiktor
3 Buszkowski, Wojciech
3 MacCaull, Wendy
3 van Alten, Clint J.
2 Burrieza, Alfredo
2 de Swart, Harrie C. M.
2 Dzik, Wojciech
2 Ehrenfeucht, Andrzej
2 Fariñas del Cerro, Luis
2 Gediga, Günther
2 Konikowska, Beata
2 Marek, V. Wiktor
2 Niwiński, Damian
2 Ojeda-Aciego, Manuel
2 Omodeo, Eugenio Giovanni
2 Romanowska, Anna B.
2 Roubens, Marc
2 Rozenberg, Grzegorz
2 Schmidt, Gunther
2 Szałas, Andrzej
2 Wang, Hui
2 Wierzchoń, Sławomir Tadeusz
1 Adamowicz, Zofia
1 Alferes, José Júlio
1 Artemov, Sergei
1 Balbiani, Philippe
1 Balcerzyk, Stanisław
1 Bresolin, Davide
1 Cantone, Domenico
1 Chakraborty, Mihir Kumar
1 Fariñas de Cerro, Luis
1 Fitting, Melvin Chris
1 Formisano, Andrea
1 Green, John
1 Grzymala-Busse, Jerzy W.
1 Hartonas, Chrysafis
1 Horne, Neil
1 Hustadt, Ullrich
1 Iturrioz, Luisa
1 Jankowski, Andrzej Wojciech
1 Järvinen, Jouni
1 Kwuida, Léonard
1 Maksimova, Larisa L’vovna
1 Mirkowska, Grazyna
1 Morgan, Charles Grady
1 Nicolosi Asmundo, Marianna
1 Pereira, Luíz Moniz
1 Policriti, Alberto
1 Polkowski, Lech T.
1 Radzikowsa, Anna Maria
1 Rasiowa, Helena
1 Schmidt, Renate A.
1 Siemens, Paul
1 Słowiński, Roman
1 Smith, Jonathan Dallas Hayden
1 Tinchev, Tinko
1 Vakarelov, Dimiter
1 Wieczorek, Andrzej
1 Wojciechowska-Waszkiewicz, Agnieszka
1 Woleński, Jan
1 Ziarko, Wojciech P.
all top 5

Serials

15 Studia Logica
11 Fundamenta Informaticae
11 Bulletin of the Section of Logic
10 Annales Societatis Mathematicae Polonae. Series IV
9 Bulletin of the Polish Academy of Sciences, Mathematics
9 Journal of Applied Non-Classical Logics
5 Theoretical Computer Science
5 Bulletin of the Section of Logic
5 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques
5 Lecture Notes in Computer Science
5 Studies in Fuzziness and Soft Computing
4 Fuzzy Sets and Systems
3 Logique et Analyse. Nouvelle Série
2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
2 Roczniki Polskiego Towarzystwa Matematycznego. Seria II. Wiadomości Matematyczne
2 Annals of Pure and Applied Logic
2 Logic Journal of the IGPL
1 International Journal of Man-Machine Studies
1 Information Processing Letters
1 Algebra i Logika
1 Dissertationes Mathematicae
1 International Journal of Computer & Information Sciences
1 Journal of Philosophical Logic
1 The Journal of Symbolic Logic
1 Reports on Mathematical Logic
1 International Journal of Approximate Reasoning
1 Modern Logic
1 Journal of Logic and Computation
1 Information Systems
1 International Journal of Computer Mathematics
1 Bulletin de l’Académie Polonaise des Sciences. Série des Sciences Mathématiques
1 International Journal of Human-Computer Studies
1 Mathematical Logic Quarterly (MLQ)
1 Annals of Mathematics and Artificial Intelligence
1 Multiple-Valued Logic
1 Journal of Multiple-Valued Logic and Soft Computing
1 Matematicheskaya Logika i eë Primeneniya
1 Trends in Logic – Studia Logica Library
1 Studies in Logic (London)
1 Journal of Logical and Algebraic Methods in Programming
1 Monographs in Theoretical Computer Science. An EATCS Series

Publications by Year

Citations contained in zbMATH Open

121 Publications have been cited 484 times in 271 Documents Cited by Year
Representation of nondeterministic information. Zbl 0537.68098
Orłowska, Ewa; Pawlak, Zdzisław
38
1984
DAL – a logic for data analysis. Zbl 0565.68032
Fariñas del Cerro, Luis; Orłowska, Ewa
23
1985
Incomplete information: Structure, inference, complexity. Zbl 1016.68163
Demri, Stéphane P.; Orłowska, Ewa S.
23
2002
Kripke semantics for knowledge representation logics. Zbl 0726.03023
Orłowska, Ewa
23
1990
Semantic analysis of inductive reasoning. Zbl 0601.68059
Orłowska, Ewa
20
1986
Duality via truth: semantic frameworks for lattice-based logics. Zbl 1080.03008
Orłowska, Ewa; Rewitzky, Ingrid
11
2005
Logic of nondeterministic information. Zbl 0575.03018
Orłowska, Ewa
10
1985
Relational attribute systems. Zbl 0972.68601
Düntsch, Ivo; Gediga, Günther; Orlowska, Ewa
10
2001
Incomplete information: rough set analysis. Zbl 0886.68127
Orłowska, Ewa (ed.)
9
1997
Logic for reasoning about knowledge. Zbl 0711.03008
Orlowska, Ewa
9
1989
Logic at work. Essays dedicated to the memory of Helena Rasiowa. Zbl 0910.00016
Orłowska, Ewa (ed.)
8
1999
Mechanical proof methods for Post logics. Zbl 0587.03007
Orłowska, Ewa
8
1985
Discrete dualities for Heyting algebras with operators. Zbl 1142.06002
Orłowska, Ewa; Rewitzky, Ingrid
8
2007
Algebras for Galois-style connections and their discrete duality. Zbl 1195.03059
Orłowska, Ewa; Rewitzky, Ingrid
7
2010
Expressive power of knowledge representation systems. Zbl 0541.68070
Orłowska, Ewa; Pawlak, Zdzisław
7
1984
A proof system for contact relation algebras. Zbl 0956.03052
Düntsch, Ivo; Orłowska, Ewa
7
2000
Beyond modalities: Sufficiency and mixed algebras. Zbl 0992.03078
Düntsch, Ivo; Orłowska, Ewa
7
2001
A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018
Balbiani, Philippe; Orlowska, Ewa
7
1999
Relational representation theorems for general lattices with negations. Zbl 1135.06003
Dzik, Wojciech; Orlowska, Ewa; van Alten, Clint
6
2006
Dual tableaux. Foundations, methodology, case studies. Zbl 1210.03001
Orłowska, Ewa; Golińska-Pilarek, Joanna
6
2011
Relational interpretation of modal logics. Zbl 0751.03009
Orłowska, Ewa
6
1991
Relational proof system for relevant logics. Zbl 0794.03031
Orlowska, Ewa
6
1992
Double residuated lattices and their applications. Zbl 1027.68117
Orłowska, Ewa; Radzikowska, Anna Maria
6
2002
Logic of indiscernibility relations. Zbl 0584.03013
Orłowska, Ewa
6
1985
Lattice-based modal algebras and modal logics. Zbl 1105.03070
Orłowska, Ewa; Vakarelov, Dimiter
5
2005
The resolution principle for \(\omega^+\)-valued logic. Zbl 0433.03006
Orlowska, Ewa
5
1978
Tableaux and dual tableaux: transformation of proofs. Zbl 1125.03041
Golińska-Pilarek, Joanna; Orłowska, Ewa
5
2007
Logical foundations of knowledge representation. I. Zbl 0549.68090
Orłowska, Ewa; Pawlak, Zdzisław
5
1984
Modal logics in the theory of information systems. Zbl 0556.68053
Orłowska, Ewa
5
1984
Correspondence results for relational proof systems with application to the Lambek calculus. Zbl 1020.03017
MacCaull, Wendy; Orłowska, Ewa
5
2002
Boolean algebras arising from information systems. Zbl 1063.06009
Düntsch, Ivo; Orłowska, Ewa
5
2004
Representation of vague information. Zbl 0647.68081
Orlowska, Ewa
5
1988
Abstract barycentric algebras. Zbl 1197.08002
Romanowska, Anna B.; Smith, Jonathan D. H.; Orłowska, Ewa
5
2007
Algebras of approximating regions. Zbl 0987.03058
Düntsch, Ivo; Orłowska, Ewa; Wang, Hui
5
2001
Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002–2005. Selected revised papers. Zbl 1151.68001
de Swart, Harrie (ed.); Orłowska, Ewa (ed.); Schmidt, Gunther (ed.); Roubens, Marc (ed.)
4
2006
Discrete duality for rough relation algebras. Zbl 1275.03167
Düntsch, Ivo; Orłowska, Ewa
4
2013
Dualities for structures of applied logics. Zbl 1337.03002
Orlowska, Ewa; Radzikowsa, Anna Maria; Rewitzky, Ingrid
4
2015
Resolution systems and their applications. I. II. Zbl 0472.68052
Orlowska, Ewa
4
1980
A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Zbl 0974.03031
Frias, Marcelo F.; Orlowska, Ewa
4
1995
Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers. Zbl 1029.00017
de Swart, Harrie (ed.); Orłowska, Ewa (ed.); Schmidt, Gunther (ed.); Roubens, Marc (ed.)
4
2003
Reasoning about vague concepts. Zbl 0641.68160
Orłowska, Ewa
4
1987
Logical aspects of learning concepts. Zbl 0656.68094
Orlowska, Ewa
4
1988
Relational semantics through duality. Zbl 1185.03035
Orłowska, Ewa; Rewitzky, Ingrid; Düntsch, Ivo
3
2006
Context algebras, context frames, and their discrete duality. Zbl 1194.68214
Orłowska, Ewa; Rewitzky, Ingrid
3
2008
Discrete dualities for double Stone algebras. Zbl 1230.06005
Düntsch, Ivo; Orłowska, Ewa
3
2011
Relational attribute systems. II: Reasoning with relations in information structures. Zbl 1187.68190
Düntsch, Ivo; Gediga, Günther; Orłowska, Ewa
3
2007
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Zbl 1191.03008
Burrieza, A.; Mora, A.; Ojeda-Aciego, M.; Orłowska, E.
3
2009
Representation of vague information. Zbl 0511.68084
Orlowska, Ewa
3
1983
Dynamic information systems. Zbl 0525.68014
Orlowska, Ewa
3
1982
Mixing modal and sufficiency operators. Zbl 0953.03020
Düntsch, Ivo; Orłowska, Ewa
3
1999
Semantics of nondeterministic possible worlds. Zbl 0584.03012
Orłowska, Ewa
3
1985
Corrigendum to: “DAL – a logic for data analysis”. Zbl 0618.68032
Fariñas Del Cerro, Luis; Orłowska, Ewa
3
1986
Mechanical reasoning in fuzzy logics. Zbl 0623.03012
Orłowska, Ewa; Wierzchoń, Sławomir
3
1985
Montague logic and its extensions. Zbl 0693.03011
Orłowska, Ewa
3
1988
Pawlak, Zdzisław – life and work 1926–2006. Zbl 1120.01302
Ehrenfeucht, Andrzej; Orłowska, Ewa; Peters, James F.; Rozenberg, Grzegorz; Skowron, Andrzej
2
2007
Relational correspondences for lattices with operators. Zbl 1185.03095
Järvinen, Jouni; Orłowska, Ewa
2
2006
The Beth property and interpolation in lattice-based algebras and logics. Zbl 1164.03320
Maksimova, L. L.; Orlowska, E.
2
2008
Relational approach to order-of-magnitude reasoning. Zbl 1177.68178
Burrieza, Alfredo; Ojeda-Aciego, Manuel; Orłowska, Ewa
2
2006
Lattice-based relation algebras and their representability. Zbl 1175.03041
Düntsch, Ivo; Orłowska, Ewa; Radzikowska, Anna Maria
2
2003
Discrete dualities for some algebras with relations. Zbl 1434.68556
Düntsch, Ivo; Orłowska, Ewa
2
2014
Logic of nondeterministic information. Zbl 0566.68037
Orłowska, Ewa
2
1984
Discrete duality for some axiomatic extensions of MTL algebras. Zbl 1225.03093
Orłowska, Ewa; Radzikowska, Anna Maria
2
2009
Relational dual tableaux for interval temporal logics. Zbl 1186.03035
Bresolin, Davide; Golińska-Pilarek, Joanna; Orłowska, Ewa
2
2006
Discrete duality for relation algebras and cylindric algebras. Zbl 1194.03054
Orłowska, Ewa; Rewitzky, Ingrid
2
2009
Kripke models with relative accessibility and their applications to inferences from incomplete information. Zbl 0782.68108
Orłowska, Ewa
2
1988
Relational proof systems for modal logics. Zbl 0871.03008
Orlowska, Ewa
2
1996
Logical analysis of demonic nondeterministic programs. Zbl 0872.03018
Demri, Stéphane; Orłowska, Ewa
2
1996
Relational formalisation of nonclassical logics. Zbl 0883.03051
Orlowska, Ewa
2
1997
Reasoning with incomplete information: Rough set based information logics. Zbl 0939.68836
Orłowska, Ewa
2
1994
Relational proof systems for some AI logics. Zbl 0800.68847
Orlowska, Ewa
2
1991
Dynamic logic with program specifications and its relational proof system. Zbl 0802.03025
Orlowska, Ewa
2
1993
A relational formalisation of a generic many-valued modal logic. Zbl 0998.03018
Konikowska, Beata; Orlowska, Ewa
2
2001
A logic of indiscernibility relations. Zbl 0603.68095
Orlowska, Ewa
2
1985
On the logic of database dependencies. Zbl 0603.68097
Buszkowski, W.; Orlowska, E.
2
1986
On the logic of database dependencies. Zbl 0618.68078
Buszkowski, Wojciech; Orłowska, Ewa
2
1986
Algebraic approach to database constraints. Zbl 0643.68159
Orlowska, Ewa
2
1987
Proof system for weakest prespecification. Zbl 0647.68108
Orlowska, Ewa
2
1988
Two proof systems for Peirce algebras. Zbl 1088.03056
Schmidt, Renate A.; Orłowska, Ewa; Hustadt, Ullrich
2
2004
Studying incompleteness of information: A class of information logics. Zbl 0968.03020
Orłowska, Ewa
2
1998
Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras. Zbl 1385.06005
Düntsch, Ivo; Orłowska, Ewa; van Alten, Clint
2
2016
A Kripke-style and relational semantics for logics based on Łukasiewicz algebras. Zbl 1148.03321
Iturrioz, Luisa; Orłowska, Ewa
2
2006
Treshold logic. Zbl 0293.02007
Orlowska, Ewa
2
1974
Relational representability for algebras of substructural logics. Zbl 1185.03096
Orłowska, Ewa; Radzikowska, Anna Maria
1
2006
Quantifier elimination in elementary set theory. Zbl 1185.03063
Orłowska, Ewa; Szałas, Andrzej
1
2006
Relational logics and their applications. Zbl 1177.03036
Golińska-Pilarek, Joanna; Orłowska, Ewa
1
2006
Relational representation theorems for lattices with negations: A survey. Zbl 1177.06006
Dzik, Wojciech; Orłowska, Ewa; van Alten, Clint
1
2006
Lattice-based relation algebras. II. Zbl 1177.03065
Düntsch, Ivo; Orłowska, Ewa; Radzikowska, Anna Maria
1
2006
Logic of indiscernibility relations. Zbl 0566.03009
Orłowska, Ewa
1
1985
An algebraic approach to preference relations. Zbl 1329.03098
Düntsch, Ivo; Orłowska, Ewa
1
2011
An elimination of iteration quantifiers in a certain class of algorithmic formulas. Zbl 0386.68043
Mirkowska, Grazyna; Orlowska, Ewa
1
1978
Provinces of logic determined. Essays in the memory of Alfred Tarski. Part I, II, III. Zbl 1065.03501
Adamowicz, Zofia (ed.); Artemov, Sergei (ed.); Niwiński, Damian (ed.); Orłowska, Ewa (ed.); Romanowska, Anna (ed.); Woleński, Jan (ed.)
1
2004
Structures with multirelations, their discrete dualities and applications. Zbl 1217.08004
Düntsch, Ivo; Orłowska, Ewa; Rewitzky, Ingrid
1
2010
Dual tableau for monoidal triangular norm logic MTL. Zbl 1216.03045
Golińska-Pilarek, Joanna; Orłowska, Ewa
1
2011
Many-valuedness and uncertainty. Zbl 0941.03024
Orlowska, Ewa
1
1999
Helena Rasiowa. Zbl 0811.01008
Orłowska, Ewa; Skowron, Andrzej
1
1995
A discrete duality between apartness algebras and apartness frames. Zbl 1181.03060
Düntsch, Ivo; Orlowska, Ewa
1
2008
Logic of vague concepts. Zbl 0511.03003
Orlowska, Ewa
1
1982
Semantics of vague concepts. Applications of rough sets. Zbl 0525.03015
Orlowska, Ewa
1
1982
Logic of vague concepts. Applications of rough sets. Zbl 0525.03016
Orlowska, Ewa
1
1982
Mechanical reasoning in fuzzy logics. Zbl 0553.03014
Orłowska, Ewa; Wierzchoń, Sławomir
1
1984
Representation of lattices with modal operators in two-sorted frames. Zbl 1435.03090
Hartonas, Chrysafis; Orłowska, Ewa
1
2019
A discrete representation for dicomplemented lattices. Zbl 1423.06017
Düntsch, Ivo; Kwuida, Léonard; Orłowska, Ewa
1
2017
Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras. Zbl 1385.06005
Düntsch, Ivo; Orłowska, Ewa; van Alten, Clint
2
2016
A relational logic for spatial contact based on rough set approximation. Zbl 1435.68314
Düntsch, Ivo; Orłowska, Ewa; Wang, Hui
1
2016
Dualities for structures of applied logics. Zbl 1337.03002
Orlowska, Ewa; Radzikowsa, Anna Maria; Rewitzky, Ingrid
4
2015
Discrete dualities for some algebras with relations. Zbl 1434.68556
Düntsch, Ivo; Orłowska, Ewa
2
2014
Discrete duality for rough relation algebras. Zbl 1275.03167
Düntsch, Ivo; Orłowska, Ewa
4
2013
Dual tableaux. Foundations, methodology, case studies. Zbl 1210.03001
Orłowska, Ewa; Golińska-Pilarek, Joanna
6
2011
Discrete dualities for double Stone algebras. Zbl 1230.06005
Düntsch, Ivo; Orłowska, Ewa
3
2011
An algebraic approach to preference relations. Zbl 1329.03098
Düntsch, Ivo; Orłowska, Ewa
1
2011
Dual tableau for monoidal triangular norm logic MTL. Zbl 1216.03045
Golińska-Pilarek, Joanna; Orłowska, Ewa
1
2011
Dual tableau-based decision procedures for relational logics with restricted composition operator. Zbl 1242.03028
Cantone, Domenico; Nicolosi Asmundo, Marianna; Orłowska, Ewa
1
2011
Algebras for Galois-style connections and their discrete duality. Zbl 1195.03059
Orłowska, Ewa; Rewitzky, Ingrid
7
2010
Structures with multirelations, their discrete dualities and applications. Zbl 1217.08004
Düntsch, Ivo; Orłowska, Ewa; Rewitzky, Ingrid
1
2010
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Zbl 1191.03008
Burrieza, A.; Mora, A.; Ojeda-Aciego, M.; Orłowska, E.
3
2009
Discrete duality for some axiomatic extensions of MTL algebras. Zbl 1225.03093
Orłowska, Ewa; Radzikowska, Anna Maria
2
2009
Discrete duality for relation algebras and cylindric algebras. Zbl 1194.03054
Orłowska, Ewa; Rewitzky, Ingrid
2
2009
Context algebras, context frames, and their discrete duality. Zbl 1194.68214
Orłowska, Ewa; Rewitzky, Ingrid
3
2008
The Beth property and interpolation in lattice-based algebras and logics. Zbl 1164.03320
Maksimova, L. L.; Orlowska, E.
2
2008
A discrete duality between apartness algebras and apartness frames. Zbl 1181.03060
Düntsch, Ivo; Orlowska, Ewa
1
2008
Discrete dualities for Heyting algebras with operators. Zbl 1142.06002
Orłowska, Ewa; Rewitzky, Ingrid
8
2007
Tableaux and dual tableaux: transformation of proofs. Zbl 1125.03041
Golińska-Pilarek, Joanna; Orłowska, Ewa
5
2007
Abstract barycentric algebras. Zbl 1197.08002
Romanowska, Anna B.; Smith, Jonathan D. H.; Orłowska, Ewa
5
2007
Relational attribute systems. II: Reasoning with relations in information structures. Zbl 1187.68190
Düntsch, Ivo; Gediga, Günther; Orłowska, Ewa
3
2007
Pawlak, Zdzisław – life and work 1926–2006. Zbl 1120.01302
Ehrenfeucht, Andrzej; Orłowska, Ewa; Peters, James F.; Rozenberg, Grzegorz; Skowron, Andrzej
2
2007
Relational representation theorems for general lattices with negations. Zbl 1135.06003
Dzik, Wojciech; Orlowska, Ewa; van Alten, Clint
6
2006
Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002–2005. Selected revised papers. Zbl 1151.68001
de Swart, Harrie; Orłowska, Ewa; Schmidt, Gunther; Roubens, Marc
4
2006
Relational semantics through duality. Zbl 1185.03035
Orłowska, Ewa; Rewitzky, Ingrid; Düntsch, Ivo
3
2006
Relational correspondences for lattices with operators. Zbl 1185.03095
Järvinen, Jouni; Orłowska, Ewa
2
2006
Relational approach to order-of-magnitude reasoning. Zbl 1177.68178
Burrieza, Alfredo; Ojeda-Aciego, Manuel; Orłowska, Ewa
2
2006
Relational dual tableaux for interval temporal logics. Zbl 1186.03035
Bresolin, Davide; Golińska-Pilarek, Joanna; Orłowska, Ewa
2
2006
A Kripke-style and relational semantics for logics based on Łukasiewicz algebras. Zbl 1148.03321
Iturrioz, Luisa; Orłowska, Ewa
2
2006
Relational representability for algebras of substructural logics. Zbl 1185.03096
Orłowska, Ewa; Radzikowska, Anna Maria
1
2006
Quantifier elimination in elementary set theory. Zbl 1185.03063
Orłowska, Ewa; Szałas, Andrzej
1
2006
Relational logics and their applications. Zbl 1177.03036
Golińska-Pilarek, Joanna; Orłowska, Ewa
1
2006
Relational representation theorems for lattices with negations: A survey. Zbl 1177.06006
Dzik, Wojciech; Orłowska, Ewa; van Alten, Clint
1
2006
Lattice-based relation algebras. II. Zbl 1177.03065
Düntsch, Ivo; Orłowska, Ewa; Radzikowska, Anna Maria
1
2006
Duality via truth: semantic frameworks for lattice-based logics. Zbl 1080.03008
Orłowska, Ewa; Rewitzky, Ingrid
11
2005
Lattice-based modal algebras and modal logics. Zbl 1105.03070
Orłowska, Ewa; Vakarelov, Dimiter
5
2005
Boolean algebras arising from information systems. Zbl 1063.06009
Düntsch, Ivo; Orłowska, Ewa
5
2004
Two proof systems for Peirce algebras. Zbl 1088.03056
Schmidt, Renate A.; Orłowska, Ewa; Hustadt, Ullrich
2
2004
Provinces of logic determined. Essays in the memory of Alfred Tarski. Part I, II, III. Zbl 1065.03501
Adamowicz, Zofia; Artemov, Sergei; Niwiński, Damian; Orłowska, Ewa; Romanowska, Anna; Woleński, Jan
1
2004
A calculus of typed relations. Zbl 1088.68048
MacCaull, Wendy; Orłowska, Ewa
1
2004
Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers. Zbl 1029.00017
de Swart, Harrie; Orłowska, Ewa; Schmidt, Gunther; Roubens, Marc
4
2003
Lattice-based relation algebras and their representability. Zbl 1175.03041
Düntsch, Ivo; Orłowska, Ewa; Radzikowska, Anna Maria
2
2003
Beyond two: Theory and applications of multiple-valued logic. Zbl 1015.00007
Fitting, Melvin; Orłowska, Ewa
1
2003
Incomplete information: Structure, inference, complexity. Zbl 1016.68163
Demri, Stéphane P.; Orłowska, Ewa S.
23
2002
Double residuated lattices and their applications. Zbl 1027.68117
Orłowska, Ewa; Radzikowska, Anna Maria
6
2002
Correspondence results for relational proof systems with application to the Lambek calculus. Zbl 1020.03017
MacCaull, Wendy; Orłowska, Ewa
5
2002
Relational attribute systems. Zbl 0972.68601
Düntsch, Ivo; Gediga, Günther; Orlowska, Ewa
10
2001
Beyond modalities: Sufficiency and mixed algebras. Zbl 0992.03078
Düntsch, Ivo; Orłowska, Ewa
7
2001
Algebras of approximating regions. Zbl 0987.03058
Düntsch, Ivo; Orłowska, Ewa; Wang, Hui
5
2001
A relational formalisation of a generic many-valued modal logic. Zbl 0998.03018
Konikowska, Beata; Orlowska, Ewa
2
2001
A proof system for contact relation algebras. Zbl 0956.03052
Düntsch, Ivo; Orłowska, Ewa
7
2000
Jerzy Łoś (1920-1998). Zbl 0963.01029
Balcerzyk, Stanisław; Bartol, Wiktor; Orłowska, Ewa; Wieczorek, Andrzej; Wojciechowska-Waszkiewicz, Agnieszka
1
2000
Logics of complementarity in information systems. Zbl 0947.03027
Düntsch, Ivo; Orłowska, Ewa
1
2000
Logic at work. Essays dedicated to the memory of Helena Rasiowa. Zbl 0910.00016
Orłowska, Ewa
8
1999
A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018
Balbiani, Philippe; Orlowska, Ewa
7
1999
Mixing modal and sufficiency operators. Zbl 0953.03020
Düntsch, Ivo; Orłowska, Ewa
3
1999
Many-valuedness and uncertainty. Zbl 0941.03024
Orlowska, Ewa
1
1999
Informational representability of models for information logics. Zbl 0923.03039
Demri, Stéphane; Orłowska, Ewa
1
1999
Studying incompleteness of information: A class of information logics. Zbl 0968.03020
Orłowska, Ewa
2
1998
A relational formalisation of arbitrary finite valued logics. Zbl 0922.03027
Konikowska, Beata; Morgan, Charles G.; Orlowska, Ewa
1
1998
Equational reasoning in non-classical logics. Zbl 0918.03029
Frias, Marcelo; Orlowska, Ewa
1
1998
Incomplete information: rough set analysis. Zbl 0886.68127
Orłowska, Ewa
9
1997
Relational formalisation of nonclassical logics. Zbl 0883.03051
Orlowska, Ewa
2
1997
Incomplete information: rough set analysis. Zbl 0878.00031
Orłowska, Ewa
1
1997
Relational proof systems for modal logics. Zbl 0871.03008
Orlowska, Ewa
2
1996
Logical analysis of demonic nondeterministic programs. Zbl 0872.03018
Demri, Stéphane; Orłowska, Ewa
2
1996
A rough set model of information retrieval. Zbl 0866.68035
Green, John; Horne, Neil; Orłowska, Ewa; Siemens, Paul
1
1996
A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Zbl 0974.03031
Frias, Marcelo F.; Orlowska, Ewa
4
1995
Helena Rasiowa. Zbl 0811.01008
Orłowska, Ewa; Skowron, Andrzej
1
1995
Helena Rasiowa, 1917-1994. Zbl 0828.01009
Bartol, Wiktor; Orłowska, Ewa; Skowron, Andrzej
1
1995
Reasoning with incomplete information: Rough set based information logics. Zbl 0939.68836
Orłowska, Ewa
2
1994
Towards reasoning about Hoare relations. Zbl 0858.68057
Demri, Stéphane; Orlowska, Ewa; Rewitzky, Ingrid
1
1994
Dynamic logic with program specifications and its relational proof system. Zbl 0802.03025
Orlowska, Ewa
2
1993
Relational proof system for relevant logics. Zbl 0794.03031
Orlowska, Ewa
6
1992
Relational interpretation of modal logics. Zbl 0751.03009
Orłowska, Ewa
6
1991
Relational proof systems for some AI logics. Zbl 0800.68847
Orlowska, Ewa
2
1991
Kripke semantics for knowledge representation logics. Zbl 0726.03023
Orłowska, Ewa
23
1990
Logic for reasoning about knowledge. Zbl 0711.03008
Orlowska, Ewa
9
1989
Representation of vague information. Zbl 0647.68081
Orlowska, Ewa
5
1988
Logical aspects of learning concepts. Zbl 0656.68094
Orlowska, Ewa
4
1988
Montague logic and its extensions. Zbl 0693.03011
Orłowska, Ewa
3
1988
Kripke models with relative accessibility and their applications to inferences from incomplete information. Zbl 0782.68108
Orłowska, Ewa
2
1988
Proof system for weakest prespecification. Zbl 0647.68108
Orlowska, Ewa
2
1988
Reasoning about vague concepts. Zbl 0641.68160
Orłowska, Ewa
4
1987
Algebraic approach to database constraints. Zbl 0643.68159
Orlowska, Ewa
2
1987
Semantics of knowledge operators. Zbl 0639.68106
Orłowska, Ewa
1
1987
Semantic analysis of inductive reasoning. Zbl 0601.68059
Orłowska, Ewa
20
1986
Corrigendum to: “DAL – a logic for data analysis”. Zbl 0618.68032
Fariñas Del Cerro, Luis; Orłowska, Ewa
3
1986
On the logic of database dependencies. Zbl 0603.68097
Buszkowski, W.; Orlowska, E.
2
1986
On the logic of database dependencies. Zbl 0618.68078
Buszkowski, Wojciech; Orłowska, Ewa
2
1986
DAL – a logic for data analysis. Zbl 0565.68032
Fariñas del Cerro, Luis; Orłowska, Ewa
23
1985
Logic of nondeterministic information. Zbl 0575.03018
Orłowska, Ewa
10
1985
Mechanical proof methods for Post logics. Zbl 0587.03007
Orłowska, Ewa
8
1985
Logic of indiscernibility relations. Zbl 0584.03013
Orłowska, Ewa
6
1985
Semantics of nondeterministic possible worlds. Zbl 0584.03012
Orłowska, Ewa
3
1985
Mechanical reasoning in fuzzy logics. Zbl 0623.03012
Orłowska, Ewa; Wierzchoń, Sławomir
3
1985
A logic of indiscernibility relations. Zbl 0603.68095
Orlowska, Ewa
2
1985
...and 21 more Documents
all top 5

Cited by 304 Authors

30 Orłowska, Ewa S.
11 Düntsch, Ivo
10 Dubois, Didier
9 Balbiani, Philippe
9 Golińska-Pilarek, Joanna
8 Prade, Henri M.
7 Järvinen, Jouni
6 Banerjee, Mohua
6 Khan, Md. Aquil
5 Berghammer, Rudolf
5 Demri, Stéphane P.
5 Kerre, Etienne E.
5 Nakata, Michinori
5 Radeleczki, Sándor
5 Ruan, Da
5 Sakai, Hiroshi
5 Xu, Yang
5 Yao, Yiyu
4 Godo, Lluís
4 Liu, Jun
4 Radzikowska, Anna Maria
4 Romanowska, Anna B.
4 She, Yanhong
4 Smith, Jonathan Dallas Hayden
4 Vakarelov, Dimiter
4 Vychodil, Vilém
3 Cattaneo, Gianpiero
3 Celani, Sergio Arturo
3 Chakraborty, Mihir Kumar
3 Ciucci, Davide
3 Dai, Jianhua
3 Fariñas del Cerro, Luis
3 Hartonas, Chrysafis
3 Li, Tianrui
3 Mikulás, Szabolcs
3 Mordeson, John N.
3 Muñoz-Velasco, Emilio
3 Pawlak, Zdzisław
3 Pelaitay, Gustavo
3 Rewitzky, Ingrid
3 Skowron, Andrzej
3 Ślęzak, Dominik
3 Tinchev, Tinko
3 Winter, Michael
2 Batens, Diderik
2 Benevides, Mario R. F.
2 Cantone, Domenico
2 Chlebowski, Szymon
2 Conradie, Willem J.
2 Cornelis, Chris
2 D’eer, Lynn
2 Figallo, Aldo Victorio
2 Formisano, Andrea
2 Garcia, Pere
2 Guttmann, Walter
2 Haeusler, Edward Hermann
2 He, Xiaoli
2 Höfner, Peter
2 Komorowski, A.
2 Kondo, Michiro
2 Konikowska, Beata
2 Kramosil, Ivan
2 Kubat, Miroslav
2 Liu, Dun
2 Lopes, Bruno Domeniciano
2 Ma, Minghui
2 Mareay, R.
2 Marx, Maarten
2 Meheus, Joke
2 Mora, Angel
2 Morikawa, Osamu
2 Mu, Shin-Cheng
2 Murai, Tetsuya
2 Nicolosi Asmundo, Marianna
2 Ojeda-Aciego, Manuel
2 Pagliani, Piero
2 Palmigiano, Alessandra
2 Qian, Yuhua
2 San Martín, Hernán J.
2 Schmidt, Renate A.
2 Szałas, Andrzej
2 Tian, Haowei
2 Wasilewski, Piotr
2 Welch, Philip D.
2 Wu, Weizhi
2 Zhang, Junbo
2 Zhang, Wenxiu
1 Akama, Seiki
1 Almeida, Agostinho
1 Atampore, Francis
1 Atzeni, Paolo
1 Bayhan, Sadik
1 Belikov, Aleksander Aleksandrovich
1 Bělohlávek, Radim
1 Benítez-Caballero, M. José
1 Bergstra, Jan A.
1 Béziau, Jean-Yves
1 Bloch, Isabelle
1 Bonikowski, Zbigniew
1 Bou, Félix
...and 204 more Authors
all top 5

Cited in 55 Serials

40 Information Sciences
28 International Journal of Approximate Reasoning
22 Journal of Applied Non-Classical Logics
21 Fuzzy Sets and Systems
21 Studia Logica
15 Theoretical Computer Science
7 Journal of Philosophical Logic
7 The Journal of Symbolic Logic
7 Journal of Logical and Algebraic Methods in Programming
4 International Journal of Computer Mathematics
3 Algebra Universalis
3 Annals of Pure and Applied Logic
3 Order
3 Soft Computing
3 The Journal of Logic and Algebraic Programming
3 New Mathematics and Natural Computation
2 Artificial Intelligence
2 International Journal of General Systems
2 Information Processing Letters
2 Kybernetika
2 Synthese
2 Journal of Symbolic Computation
2 Journal of Logic, Language and Information
2 The Bulletin of Symbolic Logic
2 Annals of Mathematics and Artificial Intelligence
2 Annals of Mathematics. Second Series
2 Journal of Applied Logic
2 Logica Universalis
2 Asian-European Journal of Mathematics
1 Acta Informatica
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 Demonstratio Mathematica
1 Journal of Computer and System Sciences
1 Journal of Mathematical Psychology
1 Notre Dame Journal of Formal Logic
1 RAIRO, Informatique Théorique
1 Journal of Computer Science and Technology
1 New Generation Computing
1 Information and Computation
1 International Journal of Intelligent Systems
1 Formal Aspects of Computing
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Artificial Intelligence Review
1 European Journal of Operational Research
1 Journal of the Egyptian Mathematical Society
1 Theory of Computing Systems
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Logic and Logical Philosophy
1 Journal of Applied Mathematics
1 Journal of Intelligent and Fuzzy Systems
1 Proceedings of the Steklov Institute of Mathematics
1 International Journal of Information Technology & Decision Making
1 Antiquitates Mathematicae
1 Korean Journal of Mathematics

Citations by Year