Switch to: References

Add citations

You must login to add citations.
  1. Routley Star and Hyperintensionality.Sergei Odintsov & Heinrich Wansing - 2021 - Journal of Philosophical Logic 50 (1):33-56.
    We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Introduction.Josep Maria Font & Ramon Jansana - 2013 - Studia Logica 101 (4):647-650.
  • Referentiality and Matrix Semantics.Grzegorz Malinowski - 2011 - Studia Logica 97 (2):297 - 312.
    Referential semantics importantly subscribes to the programme of theory of logical calculi. Defined by Wójcicki in [8], it has been subsequently studied in a series of papers of the author, till the full exposition of the framework in [9] and its intuitive characterisation in [10]. The aim of the article is to present several generalizations of referential semantics as compared and related to the matrix semantics for propositional logics. We show, in a uniform way, some own generalizations of referentiality: the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Some Investigations on mbC and mCi.Marcelo E. Coniglio & Tarcísio G. Rodrígues - 2014 - In Cezar A. Mortari (ed.), Tópicos de lógicas não clássicas. NEL/UFSC. pp. 11-70.
  • Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.
    The paper is a brief survey of the most important semantic constructions founded on the concept of possible world. It is impossible to capture in one short paper the whole variety of the problems connected with manifold applications of possible worlds. Hence, after a brief explanation of some philosophical matters I take a look at possible worlds from rather technical standpoint of logic and focus on the applications in formal semantics. In particular, I would like to focus on the fruitful (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Beyond Rasiowa's Algebraic Approach to Non-Classical Logics.Josep Maria Font - 2006 - Studia Logica 82 (2):179-209.
    This paper reviews the impact of Rasiowa's well-known book on the evolution of algebraic logic during the last thirty or forty years. It starts with some comments on the importance and influence of this book, highlighting some of the reasons for this influence, and some of its key points, mathematically speaking, concerning the general theory of algebraic logic, a theory nowadays called Abstract Algebraic Logic. Then, a consideration of the diverse ways in which these key points can be generalized allows (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations