29 found
Order:
Disambiguations
Ewa Orłowska [30]Ewa S. Orłowska [1]
  1.  42
    Tableaux and Dual Tableaux: Transformation of Proofs.Joanna Golińska-Pilarek & Ewa Orłowska - 2007 - Studia Logica 85 (3):283-302.
    We present two proof systems for first-order logic with identity and without function symbols. The first one is an extension of the Rasiowa-Sikorski system with the rules for identity. This system is a validity checker. The rules of this system preserve and reflect validity of disjunctions of their premises and conclusions. The other is a Tableau system, which is an unsatisfiability checker. Its rules preserve and reflect unsatisfiability of conjunctions of their premises and conclusions. We show that the two systems (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Incomplete Information: Structure, Inference, Complexity.Stéphane P. Demri & Ewa S. Orłowska - 2006 - Studia Logica 84 (3):469-475.
  3.  79
    A Proof System for Contact Relation Algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.
    Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa and Sikorski (1963) for relation algebras generated by a contact relation.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  44
    Helena Rasiowa.Ewa Orłowska & Andrzej Skowron - 1995 - Studia Logica 54 (1):1 - 2.
  5.  77
    Jerzy Łoś 1920–1998; Elements of Biography.Stanisław Balcerzyk, Wiktor Bartol, Ewa Orłowska, Andrzej Wieczorek & Agnieszka Wojciechowska-Waszkiewicz - 2000 - Studia Logica 65 (3):301-314.
  6.  44
    Kripke Semantics for Knowledge Representation Logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.
    This article provides an overview of development of Kripke semantics for logics determined by information systems. The proposals are made to extend the standard Kripke structures to the structures based on information systems. The underlying logics are defined and problems of their axiomatization are discussed. Several open problems connected with the logics are formulated. Logical aspects of incompleteness of information provided by information systems are considered.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  25
    Discrete Dualities for Double Stone Algebras.Ivo Düntsch & Ewa Orłowska - 2011 - Studia Logica 99 (1-3):127-142.
    We present two discrete dualities for double Stone algebras. Each of these dualities involves a different class of frames and a different definition of a complex algebra. We discuss relationships between these classes of frames and show that one of them is a weakening of the other. We propose a logic based on double Stone algebras.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  25
    Logic of Nondeterministic Information.Ewa Orłowska - 1985 - Studia Logica 44 (1):91 - 100.
    In the paper we define a class of languages for representation o knowledge in those application areas when a complete information about a domain is not available. In the languages we introduce modal operators determined by accessibility relations depending on parameters.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  19
    Relational Logics and Their Applications.Joanna Golińska-Pilarek & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 125.
    Logics of binary relations corresponding, among others, to the class RRA of representable relation algebras and the class FRA of full relation algebras are presented together with the proof systems in the style of dual tableaux. Next, the logics are extended with relational constants interpreted as point relations. Applications of these logics to reasoning in non-classical logics are recalled. An example is given of a dual tableau proof of an equation which is RRA-valid, while not RA-valid.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  23
    Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.
    In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  18
    Mixed Algebras and Their Logics.Ivo Düntsch, Ewa Orłowska & Tinko Tinchev - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):304-320.
    We investigate complex algebras of the form arising from a frame where, and exhibit their abstract algebraic and logical counterparts.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  17
    Treshold Logic.Ewa Orłowska - 1974 - Studia Logica 33 (1):1 - 9.
  13.  3
    Relational Approach to Order-of-Magnitude Reasoning.Alfredo Burrieza, Manuel Ojeda-Aciego & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 105--124.
  14.  3
    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 Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 89--104.
  15.  6
    Boolean Algebras Arising From Information Systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.
    Following the theory of Boolean algebras with modal operators , in this paper we investigate Boolean algebras with sufficiency operators and mixed operators . We present results concerning representability, generation by finite members, first order axiomatisability, possession of a discriminator term etc. We generalise the classes BAO, SUA, and MIA to classes of algebras with the families of relative operators. We present examples of the discussed classes of algebras that arise in connection with reasoning with incomplete information.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  6
    Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177-200.
    In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics and LaFiRe-logics are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  15
    On the Jaśkowski's Method of Suppositions.Ewa Orłowska - 1975 - Studia Logica 34 (2):187-200.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  2
    Studying Incompleteness of Information: A Class of Information Logics.Ewa Orłowska - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. pp. 283--300.
  19.  15
    Verisimilitude Based on Concept Analysis.Ewa Orłowska - 1990 - Studia Logica 49 (3):307 - 320.
    In the paper ordering relations for comparison of verisimilitude of theories are introduced and discussed. The relations refer to semantic analysis of the results of theories, in particular to analysis of concepts the theories deal with.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  4
    Relational Semantics for Nonclassical Logics: Formulas Are Relations.Ewa Orłowska - 1994 - In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 167--186.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  32
    Mechanical Theorem Proving in a Certain Class of Formulae of the Predicate Calculus.Ewa Orłowska - 1969 - Studia Logica 25 (1):17 - 29.
  22.  14
    Reviews. [REVIEW]Stanisław J. Surma, Ewa Orłowska, R. Murawski, Wanda Charczuk & Walenty Staszek - 1974 - Studia Logica 33 (2):215-231.
  23.  26
    Books Received. [REVIEW]Jan Zygmunt, Ewa Orłowska, Zbigniew Badura, Ewa Żarnecka-Biały & Jan Woleńskl - 1983 - Studia Logica 42 (1):105-111.
  24.  8
    Logics of Complementarity in Information Systems.Ivo Düntsch & Ewa Orłowska - 2000 - Mathematical Logic Quarterly 46 (2):267-288.
    Each information system leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantics of modal logics. While relations of indiscernibility and their logics have been frequently studied, the situation in the case of relations which distinguish objects is much less clear. In this paper, we present complete logical systems for relations of complementarity derived from information systems.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  6
    The Gentzen Style Axiomatization of Ω⁺-Valued Logic.Ewa Orłowska - 1976 - Studia Logica 35 (4):433 - 445.
  26.  5
    Jerzy Łoś 1920–1998; Elements of Biography.Stanisław Balcerzyk, Wiktor Bartol, Ewa Orłowska, Andrzej Wieczorek & Agnieszka Wojciechowska-Waszkiewicz - 2000 - Studia Logica 65 (3):301 - 314.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Autobiography.Ewa Orłowska - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer Verlag.
    In this chapter the life, education, scientific path, and research of Ewa Orłowska are presented. Information on her service for the logic community, in particular on activities in scientific organisations, councils, and committees, on membership of editorial boards, and on participation in national and international projects is also mentioned.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Formalne aspekty analizy pojęć.Ewa Orłowska - 1988 - Studia Filozoficzne 271 (6-7).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Engaged in Relations: A Trialogue.Michał Zawidzki, Joanna Golińska-Pilarek & Ewa Orłowska - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer Verlag.
    The chapter is a transcription of editors’ discussion with Ewa Orłowska. It reveals some extracurricular flavors of Ewa Orłowska’s biography, brings to light a difficult historical context of her academic career and life, and shows how much internal fortitude she demonstrated while overcoming these difficulties.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark