Skip to main content
Conference Proceedings

An application of clasp in the study of logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2011) 6645 LNAI 278-283
DOI: 10.1007/978-3-642-20895-9_32
3Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We show how to use the Answer Set Programming (ASP) tool called clasp to prove that there exists a unique three-valued paraconsistent logic that satisfies the substitution property and is sound with respect to da Costa C ω logic. © 2011 Springer-Verlag Berlin Heidelberg.

Author supplied keywords

Cite

CITATION STYLE

APA

Osorio, M., Carballido, J. L., & Zepeda, C. (2011). An application of clasp in the study of logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6645 LNAI, pp. 278–283). https://doi.org/10.1007/978-3-642-20895-9_32

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free