Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Labelled Non-Classical Logics

Name: Labelled Non-Classical Logics
Brand: Springer-Verlag New York Inc.
SKU: 01423360
Price: 154.55 EUR
Availability: InStock
Author: Luca Vigan
ISBN: 9781441949622

Luca Vigan

Language

English

Book Paperback

Libristo code: 01423360

Publishers Springer-Verlag New York Inc., December 2010

The subject of Labelled Non-Classical Logics is the development and investigation of a framework for... Full description

Libristo code: 01423360

373 b

154.55 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Derecho de la edificación

Hardback

179.36 €

tournee Ludovic, journal d'un comique voyageur GALIPAUX-F

Paperback

26.22 €

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. 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. All of our deduction systems have been implemented in the generic theorem prover Isabelle, thus providing a simple and natural environment for interactive proof development. Labelled Non-Classical Logics is essential reading for researchers and practitioners interested in the theory and applications of non-classical logics.