24 found
Sort by:
  1. Ivo Düntsch & Ewa Orłowska (2011). Discrete Dualities for Double Stone Algebras. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Joanna Golińska-Pilarek & Ewa Orłowska (2007). Tableaux and Dual Tableaux: Transformation of Proofs. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Alfredo Burrieza, Manuel Ojeda-Aciego & Ewa Orłowska (2006). Relational Approach to Order-of-Magnitude Reasoning. In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. 105--124.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Andrea Formisano, Eugenio G. Omodeo & Ewa Orłowska (2006). An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-Classical Logics. In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. 89--104.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Joanna Golinska-Pilarek & Ewa Orłowska (2006). Relational Proof Systems for Spatial Reasoning. Journal of Applied Non-Classical Logics 16 (3-4):409-431.
    We present relational proof systems for the four groups of theories of spatial reasoning: contact relation algebras, Boolean algebras with a contact relation, lattice-based spatial theories, spatial theories based on a proximity relation.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Ivo Düntsch & Ewa Orłowska (2004). Boolean Algebras Arising From Information Systems. Annals of Pure and Applied Logic 127 (1-3):77-98.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Stanisław Balcerzyk, Wiktor Bartol, Ewa Orłowska, Andrzej Wieczorek & Agnieszka Wojciechowska-Waszkiewicz (2000). Jerzy Łoś 1920–1998; Elements of Biography. Studia Logica 65 (3):301-314.
  8. Stanisław Balcerzyk, Wiktor Bartol, Ewa Orłowska, Andrzej Wieczorek & Agnieszka Wojciechowska-Waszkiewicz (2000). Jerzy Łoś 1920-1998. Studia Logica 65 (3):301 - 314.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Stanisław Balcerzyk, Wiktor Bartol, Ewa Orłowska, Andrzej Wieczorek & Agnieszka Wojciechowska-Waszkiewicz (2000). Jerzy Łoś 1920–1998; Elements of Biography. Studia Logica 65 (3):301-314.
  10. Ivo Düntsch & Ewa Orłowska (2000). A Proof System for Contact Relation Algebras. 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 (9 more)  
     
    My bibliography  
     
    Export citation  
  11. Stéphane Demri & Ewa Orłowska (1999). Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Ewa Orłowska (1998). Studying Incompleteness of Information: A Class of Information Logics. In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. 283--300.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Ewa Orłowska & Andrzej Skowron (1995). Helena Rasiowa. Studia Logica 54 (1):1 - 2.
  14. Ewa Orłowska (1994). Relational Semantics for Nonclassical Logics: Formulas Are Relations. In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer. 167--186.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Ewa Orłowska (1990). Kripke Semantics for Knowledge Representation Logics. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Ewa Orłowska (1990). Verisimilitude Based on Concept Analysis. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Ewa Orłowska (1988). Formalne aspekty analizy pojęć. Studia Filozoficzne 271 (6-7).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  18. Ewa Orłowska (1985). Logic of Nondeterministic Information. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  19. Jan Zygmunt, Ewa Orłowska, Zbigniew Badura, Ewa Żarnecka-Biały & Jan Woleńskl (1983). Books Received. [REVIEW] Studia Logica 42 (1):105-111.
  20. Ewa Orłowska (1976). The Gentzen Style Axiomatization of Ω⁺-Valued Logic. Studia Logica 35 (4):433 - 445.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Ewa Orłowska (1975). On the Jaśkowski's Method of Suppositions. Studia Logica 34 (2):187 - 200.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Ewa Orłowska (1974). Treshold Logic. Studia Logica 33 (1):1 - 9.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Stanisław J. Surma, Ewa Orłowska, R. Murawski, Wanda Charczuk & Walenty Staszek (1974). Reviews. [REVIEW] Studia Logica 33 (2):215-231.
  24. Ewa Orłowska (1969). Mechanical Theorem Proving in a Certain Class of Formulae of the Predicate Calculus. Studia Logica 25 (1):17 - 29.