An application of clasp in the study of logics

DOI10.1007/978-3-642-20895-9_32MaRDI QIDQ3003267zbMATH OpenOpenAlexFDO

Authors Mauricio Osorio, Claudia Zepeda, José Luis Carballido

Publication date 26 May 2011

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20895-9_32

zbMATH Keywords

multi-valued logicssubstitution propertyclasp

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Logic programming (68N17)

Recommendations

• Progress in clasp series 3
• Applications of intuitionistic logic in Answer Set Programming
• scientific article; zbMATH DE number 4049622
• Two Genuine 3-Valued Paraconsistent Logics
• Answer Set Programming’s Contributions to Classical Logic

Cited in

(5)

• Schmidt and Pudlák’s Approaches to CLP
• scientific article; zbMATH DE number 1926635 (Why is no real title available?)
• On paraconsistent extensions of C₁
• On the system CL12 of computability logic
• Revisiting \(\mathbb Z\)

This page was built for publication: An application of clasp in the study of logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003267)