Titre
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.
Auteur
Wallen, Lincoln A.
ISBN
9780262231442
Éditeur
Cambridge, MA.: The MIT Press, 1990. Hardcover. Dustjacket. xv,239 pp. Conditie: als nieuw
Prix
€ 40,00
Détails
Conditie: als nieuw. PHILOSOPHY
Plus d'informations
- This book develops and demonstrates efficient matrix proof methods for automated deduction within an important and comprehensive class of first order and intuitionistic logics. Traditional techniques for the design of efficient proof systems are abstracted from their original setting which allows their application to a wider class of mathematical logic. The logics discussed are used throughout computer science and artificial intelligence. Contents: Introduction I. Automated Deduction in Classical Logic. Proof search in classical sequent calculi. A matrix characterization of classical validity. II. Automated Proof Deduction in Modal Logics. The semantics and proof theory of modal logics. Proof search in modal sequent calculi. Matrix characterizations of modal validity. Alternative proof methods for modal logics. Matrix based proof search. III. Automated Deduction in Intuitionistic Logic. A Matrix proof method. Conclusions.
Kloof Antiquariaat
Amsterdam 
ALLEEN VERZENDING MOGELIJK - Mailorder only.
- Tous les livres sont en état complet et normal, sauf indication contraire. De petites imperfections comme une page collée ou un nom sur la feuille ne sont pas toujours mentionnés
- Vous gérez directement cette commande avec Kloof Antiquariaat
- Après votre commande vous et Kloof Antiquariaat recevrez une confirmation par e-mail. Dans l'e-mail que vous pouvez trouver, vous pouvez trouver le nom et l'adresse de Kloof Antiquariaat
- L'acheteur paie les frais de livraison, sauf accord contraire
- Kloof Antiquariaat peut demander un prépaiement
- Boekwinkeltjes.nl essaie de rapprocher les acheteurs et les vendeurs. Boekwinkeltjes.nl n'est jamais impliqué dans un accord entre l'acheteur et le vendeur. Si vous avez un différend avec un ou plusieurs utilisateurs, vous devez le réparer vous-même. Vous indemnisez Boekwinkeltjes.nl de toute réclamation.