Translator Disclaimer
September 2006 A polynomial translation of S4 into intuitionistic logic
David Fernandez
J. Symbolic Logic 71(3): 989-1001 (September 2006). DOI: 10.2178/jsl/1154698587
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
13 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.71 • No. 3 • September 2006
Back to Top