A Logic for Qualified Syllogisms.

Daniel G. Schwartz

Published in: WCSC (2013)

Keyphrases

modal logic
multi valued
asynchronous circuits
data sets
automated reasoning
classical logic
predicate logic
formal theory
logic synthesis
database
search engine
dynamic logic
proof theory