Conditional and preferential logics : proof methods and theorem proving

Conditional and preferential logics : proof methods and theorem proving / Gian Luca Pozzato.

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...

Full description

Saved in:
Bibliographic Details
Main Author: Pozzato, Gian Luca
Format: eBook
Language:English
Published: Amsterdam ; Washington, DC : IOS Press, ©2010.
Series:Frontiers in artificial intelligence and applications ; v. 208.
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
Subjects:
Logic, Symbolic and mathematical.
Proof theory.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Proof theory
Online Access:Click for online access
Login for hold information

‌

Click for online access

Online

Holdings details from Online
Available

Similar Items