19 found
Sort by:
See also:
Profile: Ewa Orlowska (Institute of Telecommunications and Information Technology)
  1. Ewa Orlowska (2012). Obituary Zdzislaw Pawlak (1926–2006). Journal of Applied Non-Classical Logics 17 (1):7-8.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska (2011). Dual Tableau-Based Decision Procedures for Relational Logics with Restricted Composition Operator. Journal of Applied Non-Classical Logics 21 (2):177-200.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Joanna Golinska-Pilarek & Ewa Orlowska (2011). Dual Tableau for Monoidal Triangular Norm Logic MTL. Fuzzy Sets and Systems 162 (1):39–52.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Ewa Orlowska & Joanna Golinska-Pilarek (2011). Dual Tableaux: Foundations, Methodology, Case Studies. Springer.
    The book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Ivo Düntsch & Ewa Orlowska (2008). A Discrete Duality Between Apartness Algebras and Apartness Frames. Journal of Applied Non-Classical Logics 18 (2-3):213-227.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Joanna Golinska-Pilarek & Ewa Orlowska (2008). Logics of Similarity and Their Dual Tableaux. A Survey. In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. 129--159.
  7. David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska (2006). Relational Dual Tableaux for Interval Temporal Logics. Journal of Applied Non-Classical Logics 16 (3-4):251–277.
    Interval temporal logics provide both an insight into a nature of time and a framework for temporal reasoning in various areas of computer science. In this paper we present sound and complete relational proof systems in the style of dual tableaux for relational logics associated with modal logics of temporal intervals and we prove that the systems enable us to verify validity and entailment of these temporal logics. We show how to incorporate in the systems various relations between intervals and/or (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Joanna Golinska-Pilarek & Ewa Orlowska (2006). Relational Logics and Their Applications. In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments II. Springer. 125--161.
    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 (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Ewa Orlowska, Alberto Policriti & Andrzej Szalas (2006). Foreword. Journal of Applied Non-Classical Logics 16 (3-4):249-250.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Kazumi Nakamatsu, Marek Nasieniewski, Volodymyr Navrotskiy, Sergey Pavlovich Odintsov, Carlos Oiler, Mieczyslaw Omyla, Hiroakira Ono, Ewa Orlowska, Katarzyna Palasihska & Francesco Paoli (2001). List of Participants 17 Robert K. Meyer (Camberra, Australia) Barbara Morawska (Gdansk, Poland) Daniele Mundici (Milan, Italy). Logic and Logical Philosophy 7:16.
    No categories
     
    My bibliography  
     
    Export citation  
  11. Philippe Balbiani & Ewa Orlowska (1999). A Hierarchy of Modal Logics with Relative Accessibility Relations. Journal of Applied Non-Classical Logics 9 (2-3):303-328.
    ABSTRACT In this paper we introduce and investigate various classes of multimodal logics based on frames with relative accessibility relations. We discuss their applicability to representation and analysis of incomplete information. We provide axiom systems for these logics and we prove their completeness.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Wojciech Buszkowski & Ewa Orlowska (1998). Relational Logics for Formalization of Database Dependencies. Bulletin of the Section of Logic 27.
    No categories
     
    My bibliography  
     
    Export citation  
  13. Marcelo Frias & Ewa Orlowska (1998). Equational Reasoning in Non-Classical Logics. Journal of Applied Non-Classical Logics 8 (1-2):27-66.
    ABSTRACT In this paper it is shown that a broad class of propositional logics can be interpreted in an equational logic based on fork algebras. This interpetability enables us to develop a fork-algebraic formalization of these logics and, as a consequence, to simulate non-classical means of reasoning with equational theories algebras.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Ewa Orlowska (1994). Obituary—Helena Rasiowa. Journal of Applied Non-Classical Logics 4 (2).
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Ewa Orlowska (1993). Dynamic Logic with Program Specifications and its Relational Proof System. Journal of Applied Non-Classical Logics 3 (2):147-171.
    ABSTRACT Propositional dynamic logic with converse and test, is enriched with complement, intersection and relational operations of weakest prespecification and weakest postspecification. Relational deduction system for the logic is given based on its interpretation in the relational calculus. Relational interpretation of the operators ?repeat? and ?loop? is given.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Ewa Orlowska (1992). Relational Proof System for Relevant Logics. Journal of Symbolic Logic 57 (4):1425-1440.
    A method is presented for constructing natural deduction-style systems for propositional relevant logics. The method consists in first translating formulas of relevant logics into ternary relations, and then defining deduction rules for a corresponding logic of ternary relations. Proof systems of that form are given for various relevant logics. A class of algebras of ternary relations is introduced that provides a relation-algebraic semantics for relevant logics.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Ewa Orlowska (1991). Relational Formalization of Temporal Logics. In Georg Schurz (ed.), Advances in Scientific Philosophy. 24--143.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Ewa Orlowska (1989). Logic For Reasoning About Knowledge. Mathematical Logic Quarterly 35 (6):559-572.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Ewa Orlowska (1984). Modal Logics in the Theory of Information Systems. Mathematical Logic Quarterly 30 (13‐16):213-222.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation