skip to content
Labelled non-classical logics Preview this item
ClosePreview this item
Checking...

Labelled non-classical logics

Author: Luca Viganò
Publisher: Boston : Kluwer Academic Publishers, 2000.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
"The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Luca Viganò
ISBN: 0792377494 9780792377498
OCLC Number: 43060628
Description: xiv, 291 pages ; 25 cm
Contents: List of Figures. List of Tables. Acknowledgments. 1. Introduction. Part I: Labelled deduction for non-classical logics. 2. Labelled Natural Deduction Systems for Propositional Modal Logics. 3. Labelled Natural Deduction Systems for Propositional Non-Classical Logics. 4. Labelled Natural Deduction Systems for Quantified Modal Logics. 5. Encoding Labelled Non-Classical Logics in Isabelle. 6. Labelled Sequent Systems for Non-Classical Logics. 7. Discussion. Part II: Substructural and complexity analysis of modal sequent systems. 8. Introduction and Preliminaries. 9. Substructural Analysis of S(K). 10. Substructural Analysis of S(T). 11. Substructural Analysis of S(K4) and S(S4). 12. Complexity of Proof Search in K, T, K4 and S4. 13. Discussion. 14. Conclusions and Further Research. References. Index.
Responsibility: by Luca Viganò.
More information:

Abstract:

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(5)

User lists with this item (1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/43060628> # Labelled non-classical logics
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "43060628" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   schema:about <http://experiment.worldcat.org/entity/work/data/27726496#Topic/labeling> ; # Labeling
   schema:about <http://experiment.worldcat.org/entity/work/data/27726496#Topic/modale_logica> ; # Modale logica
   schema:about <http://experiment.worldcat.org/entity/work/data/27726496#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/27726496#Topic/semantiek> ; # Semantiek
   schema:about <http://id.worldcat.org/fast/1038606> ; # Nonclassical mathematical logic
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/24908022> ; # Luca Viganò
   schema:datePublished "2000" ;
   schema:description "We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not only to establish advantages and limitations of our approach with respect to related ones, but also to give, by means of a substructural analysis, a new proof-theoretic method for investigating decidability and complexity of (some of) the logics we consider."--Jacket."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/27726496> ;
   schema:inLanguage "en" ;
   schema:name "Labelled non-classical logics"@en ;
   schema:productID "43060628" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/43060628#PublicationEvent/boston_kluwer_academic_publishers_2000> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/27726496#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
   schema:reviews <http://www.worldcat.org/title/-/oclc/43060628#Review/585044308> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0821/99089297-t.html> ;
   schema:url <http://www.gbv.de/dms/goettingen/308801792.pdf> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=008940981&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9780792377498> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/43060628> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
   schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/27726496#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
   schema:name "Kluwer Academic Publishers" ;
    .

<http://id.worldcat.org/fast/1038606> # Nonclassical mathematical logic
    a schema:Intangible ;
   schema:name "Nonclassical mathematical logic"@en ;
    .

<http://viaf.org/viaf/24908022> # Luca Viganò
    a schema:Person ;
   schema:familyName "Viganò" ;
   schema:givenName "Luca" ;
   schema:name "Luca Viganò" ;
    .

<http://worldcat.org/isbn/9780792377498>
    a schema:ProductModel ;
   schema:isbn "0792377494" ;
   schema:isbn "9780792377498" ;
    .

<http://www.worldcat.org/title/-/oclc/43060628#Review/585044308>
    a schema:Review ;
   schema:itemReviewed <http://www.worldcat.org/oclc/43060628> ; # Labelled non-classical logics
   schema:reviewBody ""The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.