Gentzen calculi for modal propositional logic
Collection : Trends in logic . v. 32 Publié par : Springer (Dordrecht | New York) Détails physiques : 222 pages illustrations 24 cm. ISBN :9789048196692; 9048196698.
Sujet(s) :
Modality (Logic)
|
Proposition (Logic)
|
Proof theory
|
Calculus
|
Logic, Symbolic and mathematical
|
Calculus
|
Logic, Symbolic and mathematical
|
Modality (Logic)
|
Proof theory
|
Proposition (Logic)
Année : 2011
| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres | Réservations |
|---|---|---|---|---|---|---|
| Livre | La bibliothèque des Sciences Exactes et Naturelles | 511.3 POG (Parcourir l'étagère) | Disponible | 0000000020463 |
Total des réservations: 0
Includes bibliographical references and index.
An overview of the sequent calculus. What is good sequent calculus? -- Sequent calculi for modal logic. Modal logic and ordinary sequent calculi ; Purely syntactic methods ; Semantic methods ; Comparing the different generalisations of the sequent calculus -- Tree-hypersequent calculi. On the tree-hypersequent calculi ; Syntactic cut-admissibility and decidability ; Semantic adequacy ; A hypersequent calculus for the system S5 ; A tree-hypersequent calculus for the modal logic of provability ; Further results on tree-hypersequent calculi.
Il n'y a pas de commentaire pour ce document.