Gentzen Calculi for Modal Propositional Logic

Gentzen Calculi for Modal Propositional Logic by Francesca Poggiolesi.

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we pre...

Full description

Saved in:
Bibliographic Details
Main Author: Poggiolesi, Francesca (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Edition:1st ed. 2011.
Series:Trends in Logic, Studia Logica Library, 32
Springer eBook Collection.
Subjects:
Philosophy.
Mathematics.
Optical data processing.
Linguistics.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items