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
Survol La bibliothèque des Sciences Exactes et Naturelles Étagères Fermer l'étagère
511.3 MON Mathematical logic / | 511.3 MUL ISILC Logic Conference : | 511.3 PAS Complexité et approximation polynomiale | 511.3 POG Gentzen calculi for modal propositional logic | 511.3 PRE Purity, spectra and localisation | 511.3 REV Lambda-calculus, combinators, and functional programming | 511.3 REY Calculabilité, complexité et approximation |
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.