Repository | Book | Chapter

COPR BookmarkLink
190796

(2009) Towards mathematical philosophy, Dordrecht, Springer.

The classical model existence theorem in subclassical predicate logics I

Jui-Lin Lee

pp. 187-199

We prove that in predicate logics there are some classically sound Hilbert systems which satisfy the classical model existence theorem (every ⊥-consistent set has a classical model) but are weaker than first order logic.

Publication details

DOI: 10.1007/978-1-4020-9084-4_9

Full citation:

Lee, J. (2009)., The classical model existence theorem in subclassical predicate logics I, in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 187-199.

This document is unfortunately not available for download at the moment.