21 found
Sort by:
See also:
Profile: Joanna Golinska-Pilarek (Warsaw University)
  1. Joanna Golińska-Pilarek, Taneli Huuskonen & Emilio Muñoz-Velasco (2014). Relational Dual Tableau Decision Procedures and Their Applications to Modal and Intuitionistic Logics. Annals of Pure and Applied Logic 165 (2):409-427.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Joanna Golinska-Pilarek (2012). On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. 255--266.
    Qualitative Reasoning (QR) is an area of research within Artificial Intelligence that automates reasoning and problem solving about the physical world. QR research aims to deal with representation and reasoning about continuous aspects of entities without the kind of precise quantitative information needed by conventional numerical analysis techniques. Order-of-magnitude Reasoning (OMR) is an approach in QR concerned with the analysis of physical systems in terms of relative magnitudes. In this paper we consider the logic OMR_N for order-of-magnitude reasoning with the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Joanna Golińska-Pilarek & Taneli Huuskonen (2012). Logic. Of Descriptions. A New Approach to the Foundations of Mathematics and Science. Studies in Logic, Grammar and Rhetoric 27:63-94.
    We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and complete- ness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Joanna Golinska-Pilarek & Emilio Munoz Velasco (2012). Reasoning with Qualitative Velocity: Towards a Hybrid Approach. In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. 635--646.
    Qualitative description of the movement of objects can be very important when there are large quantity of data or incomplete information, such as in positioning technologies and movement of robots. We present a first step in the combination of fuzzy qualitative reasoning and quantitative data obtained by human interaction and external devices as GPS, in order to update and correct the qualitative information. We consider a Propositional Dynamic Logic which deals with qualitative velocity and enables us to represent some reasoning (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Joanna Golinska-Pilarek, Emilio Munoz-Velasco & Angel Mora (2012). Relational Dual Tableau Decision Procedure for Modal Logic K. Logic Journal of IGPL 20 (4):747-756.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora (2011). A New Deduction System for Deciding Validity in Modal Logic K. Logic Journal of IGPL 19 (2): 425-434.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. 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  
  8. Angel Mora, Emilio Munoz Velasco & Joanna Golinska-Pilarek (2011). Implementing a Relational Theorem Prover for Modal Logic K. International Journal of Computer Mathematics 88 (9):1869-1884.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  9. 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  
  10. Joanna Golinska-Pilarek & Emilio Munoz Velasco (2009). Relational Approach for a Logic for Order of Magnitude Qualitative Reasoning with Negligibility Non-Closeness and Distance. Logic Journal of IGPL 17 (4):375–394.
  11. Joanna Golinska-Pilarek & Emilio Munoz-Velasco (2009). Dual Tableau for a Multimodal Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. International Journal of Computer Mathematics 86 (10-11):1707–1718.
  12. Joanna Golinska-Pilarek, Angel Mora & Emilio Munoz Velasco (2008). An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-Closeness and Distance. In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. 128--139.
    We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualitative sum of some classes of numbers. In the design of our ATP, we have introduced some (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. 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.
  14. Joanna Golinska-Pilarek (2007). Rasiowa-Sikorski Proof System for the Non-Fregean Sentential Logic SCI. Journal of Applied Non-Classical Logics 17 (4):509–517.
    The non-Fregean logic SCI is obtained from the classical sentential calculus by adding a new identity connective = and axioms which say ?a = ß' means ?a is identical to ß'. We present complete and sound proof system for SCI in the style of Rasiowa-Sikorski. It provides a natural deduction-style method of reasoning for the non-Fregean sentential logic SCI.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. 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  
  16. 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  
  17. Joanna Golinska-Pilarek (2006). Number of Non-Fregean Sentential Logics That Have Adequate Models. Mathematical Logic Quarterly 52 (5):439–443.
    We show that there are continuum many different non-Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. 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  
  19. 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  
  20. Joanna Golińska-Pilarek & Taneli Huuskonen (2005). Number of Extensions of Non-Fregean Logics. Journal of Philosophical Logic 34 (2):193 - 206.
    We show that there are continuum many different extensions of SCI (the basic theory of non-Fregean propositional logic) that lie below WF (the Fregean extension) and are closed under substitution. Moreover, continuum many of them are independent from WB (the Boolean extension), continuum many lie above WB and are independent from WH (the Boolean extension with only two values for the equality relation), and only countably many lie between WH and WF.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Joanna Golinska-Pilarek & Konrad Zdanowski (2003). Spectra of Formulae with Henkin Quantifiers. In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers.
    It is known that various complexity-theoretical problems can be translated into some special spectra problems. Thus, questions about complexity classes are translated into questions about the expressive power of some languages. In this paper we investigate the spectra of some logics with Henkin quantifiers in the empty vocabulary.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation