Switch to: References

Citations of:

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 209-225 (1998)

Add citations

You must login to add citations.
  1. Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
    Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...)
    No categories
    $80.88 new    View on Amazon.com
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular.Hans Heymans & Isar Stubbe - 2010 - Annals of Pure and Applied Logic 161 (1):43-65.
    Ordered sheaves on a small quantaloid have been defined in terms of -enriched categorical structures; they form a locally ordered category . The free-cocompletion KZ-doctrine on has , the quantaloid of -modules, as its category of Eilenberg–Moore algebras. In this paper we give an intrinsic description of the Kleisli algebras: we call them the locally principally generated -modules. We deduce that is biequivalent to the 2-category of locally principally generated -modules and left adjoint module morphisms. The example of locally principally (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Grishin Algebras and Cover Systems for Classical Bilinear Logic.Robert Goldblatt - 2011 - Studia Logica 99 (1-3):203-227.
    Grishin algebras are a generalisation of Boolean algebras that provide algebraic models for classical bilinear logic with two mutually cancelling negation connectives. We show how to build complete Grishin algebras as algebras of certain subsets (“propositions”) of cover systems that use an orthogonality relation to interpret the negations. The variety of Grishin algebras is shown to be closed under MacNeille completion, and this is applied to embed an arbitrary Grishin algebra into the algebra of all propositions of some cover system, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Completeness results for some two-dimensional logics of actuality.David R. Gilbert & Edwin D. Mares - 2012 - Review of Symbolic Logic 5 (2):239-258.
    We provide a Hilbert-style axiomatization of the logic of , as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations