Propositional Mixed Logic: Its Syntax and Semantics - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Applied Non-Classical Logics Année : 2003

Propositional Mixed Logic: Its Syntax and Semantics

Karim Nour
  • Fonction : Auteur
  • PersonId : 859979

Résumé

In this paper, we present a propositional logic (called mixed logic) containing disjoint copies of minimal, intuitionistic and classical logics. We prove a completeness theorem for this logic with respect to a Kripke semantics. We establish some relations between mixed logic and minimal, intuitionistic and classical logics. We present at the end a sequent calculus version for this logic.
Fichier principal
Vignette du fichier
NourNourFin2.pdf (120.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00380714 , version 1 (04-05-2009)

Identifiants

Citer

Karim Nour, Abir Nour. Propositional Mixed Logic: Its Syntax and Semantics. Journal of Applied Non-Classical Logics, 2003, 13, pp.377-390. ⟨hal-00380714⟩
155 Consultations
165 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More