Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Buch | Kapitel
The classical model existence theorem in subclassical predicate logics I
pp. 187-199
Abstrakt
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
Published in:
Makinson David, Malinowski Jacek, Wansing Heinrich (2009) Towards mathematical philosophy: papers from the Studia logica conference Trends in logic IV. Dordrecht, Springer.
Seiten: 187-199
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-1-4020-9084-4_9
Referenz:
Lee Jui-Lin (2009) „The classical model existence theorem in subclassical predicate logics I“, In: D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, 187–199.