On deductive bases for paraconsistent answer set semantics
From MaRDI portal
Publication:4583312
DOI10.1080/11663081.2013.798971zbMATH Open1400.68050OpenAlexW2006628898MaRDI QIDQ4583312FDOQ4583312
Authors: N. V. Mayatskiy, S. P. Odintsov 
Publication date: 28 August 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2013.798971
Recommendations
Paraconsistent logics (03B53) Logic programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- Paraconsistent Stable Semantics for Extended Disjunctive Programs
- Logic Programming and Nonmonotonic Reasoning
- Strongly equivalent logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constructible falsity
- An algebraic approach to non-classical logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- On the representation of \(\mathbf{N4}\)-lattices
- Natural 3-valued logics—characterization and proof theory
- Constructible falsity and inexact predicates
- Algebraic Semantics for Paraconsistent Nelson's Logic
- N-lattices and constructive logic with strong negation
- Intuitionistic logic with strong negation
- A semantical study of constructible falsity
- The class of extensions of Nelson's paraconsistent logic
- Title not available (Why is that?)
- Generalized Kripke semantics for Nelson's logic
- Semantical analyses of propositional systems of Fitch and Nelson
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic programming with strong negation
- On extensions of Nelson's logic satisfying Dummett's axiom
Cited In (3)
This page was built for publication: On deductive bases for paraconsistent answer set semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583312)
