Combinators and Structurally Free Logic.

J. Michael Dunn Robert K. Meyer

Published in: Log. J. IGPL (1997)

Keyphrases

modal logic
multi valued
computational properties
epistemic logic
automated reasoning
logic synthesis
set theory
defeasible logic
logic programming
multiscale
information retrieval
data sets
programming language
website
decision making
asynchronous circuits
proof theory