Automated proof search in non-classical logics
Subtitle: efficient matrix proof methods for modal and intuitionistic logics
By: Lincoln A. Wallen.
Series: MIT Press series in artificial intelligence
Publisher: MIT Press
Published: 1990
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 239
Subjects: Proof theory.; Modality (Logic); Intuitionistic mathematics.
Notes: Bibliography: [228]-234.
Includes indexes.