An application of clasp in the study of logics

Authors:
Mauricio Osorio;José Luis Carballido;Claudia Zepeda
Affiliations:
Universidad de las Américas - Puebla;Benemérita Universidad Atónoma de Puebla;Benemérita Universidad Atónoma de Puebla
Venue:
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Year:
2011

Citing 3
Cited 0

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)
Logical Weak Completions of Paraconsistent Logics

Journal of Logic and Computation
Answer Set Programming for Studying Logics

MICAI '09 Proceedings of the 2009 Eighth Mexican International Conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.