A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable.

Gemma Robles José M. Méndez

Published in: J. Philos. Log. (2023)

Keyphrases

logic programming
predicate logic
real valued
multi valued
boolean logic
automated reasoning
answer sets
truth values
modal logic
logic programs
programming language
boolean functions
deductive databases
classical logic
first order logic
boolean expressions
proof theory