21 found
Order:
  1.  75
    Relational proof system for relevant logics.Ewa Orlowska - 1992 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  33
    Duality via Truth: Semantic frameworks for lattice-based logics.Ewa Orlowska & Ingrid Rewitzky - 2005 - Logic Journal of the IGPL 13 (4):467-490.
    A method of defining semantics of logics based on not necessarily distributive lattices is presented. The key elements of the method are representation theorems for lattices and duality between classes of lattices and classes of some relational systems . We suggest a type of duality referred to as a duality via truth which leads to Kripke-style semantics and three-valued semantics in the style of Allwein-Dunn. We develop two new representation theorems for lattices which, together with the existing theorems by Urquhart (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  35
    A hierarchy of modal logics with relative accessibility relations.Philippe Balbiani & Ewa Orlowska - 1999 - 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)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  22
    Dual tableau-based decision procedures for relational logics with restricted composition operator.Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska - 2011 - Journal of Applied Non-Classical Logics 21 (2):177-200.
    We consider fragments of the relational logic RL(1) obtained by posing various constraints on the relational terms involving the operator of composition of relations. These fragments allow to express several non classical logics including modal and description logics. We show how relational dual tableaux can be employed to provide decision procedures for each of them.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  57
    Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - 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)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  26
    Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - 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)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Relational logics for formalization of database dependencies.Wojciech Buszkowski & Ewa Orlowska - 1998 - Bulletin of the Section of Logic 27.
     
    Export citation  
     
    Bookmark  
  8.  72
    A discrete duality between apartness algebras and apartness frames.Ivo Düntsch & Ewa Orlowska - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):213-227.
    Apartness spaces were introduced as a constructive counterpart to proximity spaces which, in turn, aimed to model the concept of nearness of sets in a metric or topological environment. In this paper we introduce apartness algebras and apartness frames intended to be abstract counterparts to the apartness spaces of (Bridges et al., 2003), and we prove a discrete duality for them.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  45
    Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  16
    Dual tableau for monoidal triangular norm logic MTL.Joanna Golinska-Pilarek & Ewa Orlowska - 2011 - Fuzzy Sets and Systems 162 (1):39–52.
    Monoidal triangular norm logic MTL is the logic of left-continuous triangular norms. In the paper we present a relational formalization of the logic MTL and then we introduce relational dual tableau that can be used for verification of validity of MTL-formulas. We prove soundness and completeness of the system.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  32
    Logics of similarity and their dual tableaux. A survey.Joanna Golińska-Pilarek & Ewa Orlowska - 2008 - In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. pp. 129--159.
    We present several classes of logics for reasoning with information stored in information systems. The logics enable us to cope with the phenomena of incompleteness of information and uncertainty of knowledge derived from such an information. Relational inference systems for these logics are developed in the style of dual tableaux.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    (1 other version)Relational logics and their applications.Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 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)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  55
    Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - 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 (4 more)  
     
    Export citation  
     
    Bookmark  
  14. List of participants 17 Robert K. Meyer (Camberra, Australia) Barbara Morawska (Gdansk, Poland) Daniele Mundici (Milan, Italy).Kazumi Nakamatsu, Marek Nasieniewski, Volodymyr Navrotskiy, Sergey Pavlovich Odintsov, Carlos Oiler, Mieczyslaw Omyla, Hiroakira Ono, Ewa Orlowska, Katarzyna Palasihska & Francesco Paoli - 2001 - Logic and Logical Philosophy 7:16.
    No categories
     
    Export citation  
     
    Bookmark  
  15.  58
    Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  10
    (1 other version)Foreword.Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):7-8.
  17.  43
    Modal Logics in the Theory of Information Systems.Ewa Orlowska - 1984 - Mathematical Logic Quarterly 30 (13-16):213-222.
  18.  29
    Obituary—Helena Rasiowa.Ewa Orlowska - 1994 - Journal of Applied Non-Classical Logics 4 (2):i-i.
  19.  25
    Obituary Zdzislaw Pawlak (1926–2006).Ewa Orlowska - 2007 - Journal of Applied Non-Classical Logics 17 (1):7-8.
  20.  8
    Relational formalization of temporal logics.Ewa Orlowska - 1991 - In Georg Schurz (ed.), Advances in Scientific Philosophy. pp. 24--143.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  8
    Logics in Artificial Intelligence: European Workshop, Jelia '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings.Jose Julio Alferes, Luis Moniz Pereira & Ewa Orlowska - 1996 - Springer Verlag.
    This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark