GLukG logic and its application for non-monotonic reasoning

Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic semantics based on GLukG.

• Type: Conference
• Year: 2007
• Where: LANMR
• Authors: Mauricio Osorio
• Keywords: LANMR 2007, Logical Reasoning, Non-monotonic Semantics, Paraconsistent Logic