Author: Nouwen Rick
Publisher: Springer Publishing Company
ISSN: 0022-3611
Source: Journal of Philosophical Logic, Vol.36, Iss.2, 2007-04, pp. : 123-154
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A Type Reduction from Proof-conditional to Dynamic Semantics
By Fernando T.
Journal of Philosophical Logic, Vol. 30, Iss. 2, 2001-04 ,pp. :
Synthese, Vol. 123, Iss. 2, 2000-05 ,pp. :