Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics

Name: Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics
Author: Lincoln A. Wallen

by Lincoln A. Wallen · 1 review · 1993

Reviewed by	Journal	Date	Access
Luis Fariñas Del Cerro	The Journal of Symbolic Logic	1993	Restricted

Metaphysics & Logic

Also by Wallen

Closed Encounters: Literary Politics and Public Culture (1 review)

Search PhilReviews for this title