An extension of the stable semantics via Lukasiewicz logic

DOI10.1016/J.ENTCS.2020.10.011MaRDI QIDQ2133458zbMATH OpenOpenAlexWikidataFDO

Authors Mauricio Osorio, José Luis Carballido Carranza

Publication date 29 April 2022

Full work available at URL https://doi.org/10.1016/j.entcs.2020.10.011

zbMATH Keywords

paraconsistencystable semanticsknowledge representation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 1183717 (Why is no real title available?)
• scientific article; zbMATH DE number 2090116 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• scientific article; zbMATH DE number 3073052 (Why is no real title available?)
• Brief study of G'₃ logic
• Fuzzy sets
• Ground Nonmonotonic Modal Logic S5: New Results
• Logics with Common Weak Completions
• Metamathematics of fuzzy logic
• On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
• Stable inference as intuitionistic validity
• Strong Negation and Equivalence in the Safe Belief Semantics
• Strongly equivalent logic programs

Cited in

(5)

• Characterizations of the stable semantics by partial evaluation
• Proper semantics for substructural logics, from a stalker theoretic point of view
• Base-extension semantics for intuitionistic sentential logic
• Stability of weak second-order semantics
• scientific article; zbMATH DE number 2085244 (Why is no real title available?)

This page was built for publication: An extension of the stable semantics via Lukasiewicz logic

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