An Extension of the Stable Semantics via Lukasiewicz Logic
Open Access
- 24 November 2020
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 354, 141-155
- https://doi.org/10.1016/j.entcs.2020.10.011
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logicsLogic Journal of the IGPL, 2016
- Brief study of G'3 logicJournal of Applied Non-Classical Logics, 2008
- Strong Negation and Equivalence in the Safe Belief SemanticsJournal of Logic and Computation, 2007
- Logics with Common Weak CompletionsJournal of Logic and Computation, 2006
- Ground Nonmonotonic Modal Logic S5: New ResultsJournal of Logic and Computation, 2005
- Equivalence in Answer Set ProgrammingLecture Notes in Computer Science, 2002
- Strongly equivalent logic programsACM Transactions on Computational Logic, 2001
- Stable inference as intuitionistic validityThe Journal of Logic Programming, 1999
- Fuzzy setsInformation and Control, 1965