Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy
Hiroakira Ono "Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics," Proceedings of the Japan Academy, Proc. Japan Acad. 49(9), 711-713, (1973)
