Switch to: Citations

References in:

Bi-approximation Semantics for Substructural Logic at Work

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

Add references

You must login to add references.
  1. Introduction to Lattices and Order.B. A. Davey & H. A. Priestley - 2002 - Cambridge University Press.
    This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept analysis gives both a concrete foundation for the subsequent theory of complete lattices and a glimpse of a methodology for data analysis that is (...)
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • The Semantics of Entailment.Alasdair Ian Fenton Urquhart - 1973 - Dissertation, University of Pittsburgh
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (2 other versions)Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
    Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...)
    Download  
     
    Export citation  
     
    Bookmark   189 citations  
  • An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.
    This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...)
    Download  
     
    Export citation  
     
    Bookmark   202 citations  
  • Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.
    This is also where we begin investigating lattices of logics and varieties, rather than particular examples.
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
    Download  
     
    Export citation  
     
    Bookmark   205 citations  
  • (1 other version)Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.
    Download  
     
    Export citation  
     
    Bookmark   112 citations  
  • (1 other version)Relevant Logics and Their Rivals: Part 1. The Basic Philosophical and Semantical Theory.Richard Routley, Robert K. Meyer, Val Plumwood & Ross T. Brady - 1988 - Studia Logica 47 (2):169-172.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
    Download  
     
    Export citation  
     
    Bookmark   193 citations