Automated Deduction in Nonclassical Logics
Subtitle: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)
Publisher: The MIT Press
Published: December 18, 1989
Language: eng
Format: Hardcover
Number of pages: 255
ISBN-13: 9780262231442
Subjects: Mathematical logic; Computer Logic; Computers; Mathematics; Computer Books: General; Computer Books: Operating Systems; Logic; Computers / Artificial Intelligence; Artificial Intelligence - General; Intuitionistic mathematics; Modality (Logic); Proof theory