Journal Articles Journal of Applied Non-Classical Logics Year : 2003

Propositional Mixed Logic: Its Syntax and Semantics

Karim Nour

Abstract

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.

Domains

Fichier principal
Vignette du fichier
NourNourFin2.pdf (120.77 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence
Loading...

Dates and versions

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

Licence

Identifiers

Cite

Karim Nour, Abir Nour. Propositional Mixed Logic: Its Syntax and Semantics. Journal of Applied Non-Classical Logics, 2003, 13, pp.377-390. ⟨hal-00380714⟩
219 View
451 Download

Altmetric

Share

  • More