Bookbot

Proof Methods for Modal and Intuitionistic Logics

Autores

Más información sobre el libro

This book explores various formal proof procedures developed by logicians, including tableau systems, Gentzen sequent calculi, natural deduction systems, and axiom systems. It covers proof methods for normal and non-normal modal logics, as well as Intuitionistic and Classical logic, providing a comprehensive study of each system's applications and differences.

Publicación

Compra de libros

Proof Methods for Modal and Intuitionistic Logics, M. Fitting

Idioma
Publicado en
1983
product-detail.submit-box.info.binding
(Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña