Abstract
We present an extension of GLukG, a logic that was introduced in [8] as a three-valued logic under the name of G′3. GLukG is a paraconsistent logic defined in terms of 15 axioms, which serves as the formalism to define the p-stable semantics of logic programming. We introduce a new axiomatic system, N-GLukG, a paraconsistent logic that possesses strong negation. We use the 5-valued logic N′5, which is a conservative extension of GLukG, to help us to prove that N-GLukG is an extension of GLukG. N-GLukG can be used as the formalism to define the p-stable semantics as well as the stable semantics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Béziau, J.-Y.: The paraconsistent logic z a possible solution to jaśkowski’s problem. Logic and Logical Philosophy 15(2), 99–111 (2006)
Carnielli, W., Coniglio, M.E., Marcos, J.: Logics of formal inconsistency. In: Handbook of Philosophical Logic, pp. 1–93. Springer (2007)
Da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15(4), 497–510 (1974)
Galindo, M.O., Pérez, J.A.N., Ramírez, J.A.R., Macías, V.B.: Logics with common weak completions. Journal of Logic and Computation 16(6), 867–890 (2006)
Carballido, J.L., Osorio, M., Zepeda, C., et al.: Mathematical Models. Section 2: N’5 as an extension of G’3. In: Mathematical Models and ITC: Theory and Applications. Benemérita Universidad Autónoma de Puebla Press
Elliot Mendelson. Introduction to mathematical logic. CRC Press (1997)
Ortiz, M., Osorio, M.: Strong negation and equivalence in the safe belief semantics. Journal of Logic and Computation 17(3), 499–515 (2007)
Galindo, M.O., Carranza, J.L.C.: Brief study of g’3 logic. Journal of Applied Non-Classical Logics 18(4), 475–499 (2008)
Galindo, M.O., Carranza, J.L.C., Cortes, C.Z.: N′5 and some of its properties. To appear in Electronic Proceedings of 7th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2013). CEUR Workshop Proceedings, ceur-ws.org (2013), http://ceur-ws.org/
Pearce, D.: Stable inference as intuitionistic validity. The Journal of Logic Programming 38(1), 79–91 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Osorio, M., Carballido, J.L., Zepeda, C. (2013). Some Properties of Logic N-GLukG. In: Castro, F., Gelbukh, A., González, M. (eds) Advances in Artificial Intelligence and Its Applications. MICAI 2013. Lecture Notes in Computer Science(), vol 8265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45114-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-45114-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45113-3
Online ISBN: 978-3-642-45114-0
eBook Packages: Computer ScienceComputer Science (R0)