Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /

Saved in:
Bibliographic Details
Main Author: Wallen, Lincoln A.
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, ©1990.
Series:MIT Press series in artificial intelligence
Subjects:
Proof theory
Modality (Logic)
Intuitionistic mathematics
logique intuitionniste.
déduction automatique.
intuitionnisme.
logique modale.
théorie démonstration.
Preuve, Théorie de la.
Modalité (Logique)
Mathématiques intuitionnistes.
Mathematical logic

Similar Items