The Classical Model Existence Theorem in Subclassical Predicate Logics I

Envoyer le lien

Article

    • Pages : 187 à 199
    •  
    •  
    • ISBN : 978-1-4020-9083-7
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 02-11-2015

    Résumé

    Anglais

    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.