The Classical Model Existence Theorem in Subclassical Predicate Logics I

Introduction; – Classical Model Existence Theorem in Propositional Logics; – A Herbrand-Henkin Style Proof of the Classical Model Existence Theorem for Prenex Normal Form Sentences; – Prenex Normal Form Theorem Holds in Logics Weaker than First Order Logic; – Concluding Remarks.