An extension of the stable semantics via Lukasiewicz logic

DOI10.1016/J.ENTCS.2020.10.011OpenAlexW3082758730WikidataQ113317255 ScholiaQ113317255MaRDI QIDQ2133458FDOQ2133458

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

• Fuzzy sets
• Strongly equivalent logic programs
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ground Nonmonotonic Modal Logic S5: New Results
• Logics with Common Weak Completions
• Brief study of G'₃ logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stable inference as intuitionistic validity
• On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
• Strong Negation and Equivalence in the Safe Belief Semantics

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
• Title not available (Why is that?)

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)