Cargando…
Conditional and preferential logics: proof methods and theorem proving
Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implemen...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
IOS Press
2010
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1610034 |
| _version_ | 1780931996698017792 |
|---|---|
| author | Pozzato, GL |
| author_facet | Pozzato, GL |
| author_sort | Pozzato, GL |
| collection | CERN |
| description | Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi. |
| id | cern-1610034 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2010 |
| publisher | IOS Press |
| record_format | invenio |
| spelling | cern-16100342021-04-21T22:15:42Zhttp://cds.cern.ch/record/1610034engPozzato, GLConditional and preferential logics: proof methods and theorem provingMathematical Physics and Mathematics Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi.IOS Pressoai:cds.cern.ch:16100342010 |
| spellingShingle | Mathematical Physics and Mathematics Pozzato, GL Conditional and preferential logics: proof methods and theorem proving |
| title | Conditional and preferential logics: proof methods and theorem proving |
| title_full | Conditional and preferential logics: proof methods and theorem proving |
| title_fullStr | Conditional and preferential logics: proof methods and theorem proving |
| title_full_unstemmed | Conditional and preferential logics: proof methods and theorem proving |
| title_short | Conditional and preferential logics: proof methods and theorem proving |
| title_sort | conditional and preferential logics: proof methods and theorem proving |
| topic | Mathematical Physics and Mathematics |
| url | http://cds.cern.ch/record/1610034 |
| work_keys_str_mv | AT pozzatogl conditionalandpreferentiallogicsproofmethodsandtheoremproving |