Services on Demand
Journal
Article
Indicators
- Cited by SciELO
- Access statistics
Related links
- Similars in SciELO
Share
Computación y Sistemas
On-line version ISSN 2007-9737Print version ISSN 1405-5546
Abstract
OSORIO, Mauricio and CARBALLIDO, José Luis. A 4-Valued Logic that Extends the Paraconsistent Logic G’3. Comp. y Sist. [online]. 2023, vol.27, n.1, pp.297-302. Epub June 16, 2023. ISSN 2007-9737. https://doi.org/10.13053/cys-27-1-4563.
We introduce a new 4-valued logic that we call . We show that is conservative extension of the 3-valued logic , which serves as the formalism to define the p-stable semantics of logic programming. possesses two negation operators. The weak negation operator that corresponds to the negation operator of . In addition, also includes a strong negation operator that is the new feature of this logic with respect to . It is well known that allowing these two negations is very useful in knowledge representation. can be used as the formalism to define the p-stable semantics as well as the stable semantics. We also present other suitable properties of .
Keywords : Knowledge representation; stable semantics; logic programming.