Classical second-order intensional logic with maximal propositions
From MaRDI portal
Publication:1236105
DOI10.1007/BF00262046zbMath0353.02005MaRDI QIDQ1236105
James B. Freeman, Charles B. Daniels
Publication date: 1977
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Cites Work
This page was built for publication: Classical second-order intensional logic with maximal propositions