Author: Van Horn K.S.
Publisher: Elsevier
ISSN: 0888-613X
Source: International Journal of Approximate Reasoning, Vol.34, Iss.1, 2003-09, pp. : 3-24
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
An intuitionistically plausible interpretation of intuitionistic logic
The Journal of Symbolic Logic, Vol. 42, Iss. 4, 1977-12 ,pp. :
Handbook of the Logic of Argument and Inference
Bulletin of Symbolic Logic, Vol. 10, Iss. 2, 2004-06 ,pp. :
The completeness theorem for infinitary logic
The Journal of Symbolic Logic, Vol. 37, Iss. 1, 1972-03 ,pp. :
A reduction theorem for predicate logic
The Journal of Symbolic Logic, Vol. 37, Iss. 2, 1972-06 ,pp. :