Kripke Models for Classical Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2009

Kripke Models for Classical Logic

Résumé

We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications.

Domaines

Logique [math.LO] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
classical_kripke_rev1.pdf (132.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Danko Ilik  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00371959

Soumis le : lundi 12 octobre 2009-10:00:08

Dernière modification le : vendredi 24 mars 2023-14:52:52

Archivage à long terme le : mercredi 22 septembre 2010-13:55:34

Télécharger pour visualiser

Dates et versions

inria-00371959 , version 1 (31-03-2009)
inria-00371959 , version 2 (12-10-2009)
inria-00371959 , version 3 (25-02-2010)
inria-00371959 , version 4 (09-03-2010)

Identifiants

  • HAL Id : inria-00371959 , version 2
  • ARXIV : 0904.0071

Citer

Danko Ilik, Gyesik Lee, Hugo Herbelin. Kripke Models for Classical Logic. 2009. ⟨inria-00371959v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PPS
356 Consultations
516 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More