University Library
  • Login
A gateway to Melbourne's research publications
Minerva Access is the University's Institutional Repository. It aims to collect, preserve, and showcase the intellectual output of staff and students of the University of Melbourne for a global audience.
View Item 
  • Minerva Access
  • Arts
  • School of Historical and Philosophical Studies
  • School of Historical and Philosophical Studies - Research Publications
  • View Item
  • Minerva Access
  • Arts
  • School of Historical and Philosophical Studies
  • School of Historical and Philosophical Studies - Research Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

    The geometry of non-distributive logics

    Thumbnail
    Citations
    Scopus
    Web of Science
    Altmetric
    9
    6
    Author
    Restall, G; Paoli, F
    Date
    2005-12-01
    Source Title
    JOURNAL OF SYMBOLIC LOGIC
    Publisher
    CAMBRIDGE UNIV PRESS
    University of Melbourne Author/s
    Restall, Gregory
    Affiliation
    Philosophy, Anthropology And Social Inquiry
    Metadata
    Show full item record
    Document Type
    Journal Article
    Citations
    Restall, G. & Paoli, F. (2005). The geometry of non-distributive logics. JOURNAL OF SYMBOLIC LOGIC, 70 (4), pp.1108-1126. https://doi.org/10.2178/jsl/1129642117.
    Access Status
    This item is currently not available from this repository
    URI
    http://hdl.handle.net/11343/25410
    DOI
    10.2178/jsl/1129642117
    Description

    C1 - Journal Articles Refereed

    Abstract
    <jats:title>Abstract</jats:title><jats:p>In this paper we introduce a new natural deduction system for the logic of lattices, and a number of extensions of lattice logic with different negation connectives. We provide the class of natural deduction proofs with both a standard inductive definition and a global graph-theoretical criterion for correctness, and we show how normalisation in this system corresponds to cut elimination in the sequent calculus for lattice logic. This natural deduction system is inspired both by Shoesmith and Smiley's multiple conclusion systems for classical logic and Girard's proofnets for linear logic.</jats:p>
    Keywords
    Logic; Other

    Export Reference in RIS Format     

    Endnote

    • Click on "Export Reference in RIS Format" and choose "open with... Endnote".

    Refworks

    • Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References


    Collections
    • Minerva Elements Records [45689]
    • School of Historical and Philosophical Studies - Research Publications [1499]
    Minerva AccessDepositing Your Work (for University of Melbourne Staff and Students)NewsFAQs

    BrowseCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects
    My AccountLoginRegister
    StatisticsMost Popular ItemsStatistics by CountryMost Popular Authors