The Weak Completion Semantics and Equality

DOI10.29007/pr47zbMath1415.68220OpenAlexW2907240394MaRDI QIDQ5222964

Lim Yohanes Stefanus, Sibylle Schwarz, Steffen Hölldobler, Emmanuelle-Anna Dietz

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/pr47

zbMATH Keywords

equational reasoninglogic programmingfluent calculuscounterfactual reasoningthree-valued Łukasiewicz logiccognitive reasoningweak completionethical decision-making

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logic programming (68N17)

This page was built for publication: The Weak Completion Semantics and Equality