Système d’information en philosophie des sciences
Information system on philosophy of science

ImprimerEnvoyer le lien

ARTICLE

The Classical Model Existence Theorem in Subclassical Predicate Logics I

  • Pages : 187 à 199
  •  
  •  
  •  
  • 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.

 

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Mercredi 20 octobre 2021