Labelled Non-Classical Logics
Autor Luca Viganòen Limba Engleză Paperback – 3 dec 2010
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 945.14 lei 6-8 săpt. | |
Springer Us – 3 dec 2010 | 945.14 lei 6-8 săpt. | |
Hardback (1) | 951.29 lei 6-8 săpt. | |
Springer Us – 31 ian 2000 | 951.29 lei 6-8 săpt. |
Preț: 945.14 lei
Preț vechi: 1152.61 lei
-18% Nou
Puncte Express: 1418
Preț estimativ în valută:
180.84€ • 188.84$ • 149.34£
180.84€ • 188.84$ • 149.34£
Carte tipărită la comandă
Livrare economică 15-29 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781441949622
ISBN-10: 1441949623
Pagini: 308
Ilustrații: XIV, 292 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:Softcover reprint of the original 1st ed. 2000
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 1441949623
Pagini: 308
Ilustrații: XIV, 292 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:Softcover reprint of the original 1st ed. 2000
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1. Introduction.- 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.- 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.
Notă biografică
Luca Viganò is an assistant professor at the Institute for Computer Science of the University of Freiburg (Germany). His research focuses on the theory and applications of non-classical logics, of proof development systems, of logical frameworks, and of logics for security.