Nelson's logic ℒ.

Thiago Nascimento Umberto Rivieccio João Marcos Matthew Spinks

Published in: Log. J. IGPL (2020)

Keyphrases

modal logic
logic programming
database
data mining
asynchronous circuits
search engine
search algorithm
automated reasoning
classical logic
computational properties
proof theory