1. Kripke-type Semantics for [formula omitted].
- Author
-
Borja Macías, Verónica and Pérez-Gaspar, Miguel
- Subjects
KRIPKE semantics ,FUZZY logic ,MATHEMATICAL logic ,MATHEMATICAL analysis ,MANY-valued logic ,NONCLASSICAL mathematical logic - Abstract
In Osorio et al. [Revisiting Z. Notre Dame Journal of Formal Logic , 55(1):129–155, 2014] introduced a paraconsistent three-valued logic, the logic CG 3 ′ which was named after the logic G 3 ′ due to the close relation between them. Authors defined CG 3 ′ via the three-valued matrix that defines G 3 ′ but changing the set of designated truth values. In this article we present a brief study of the Kripke-type semantics for some logics related with CG 3 ′ before constructing a Kripke-type semantics for it. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF