Syllogistic Logic with Cardinality comparisons, on Infinite Sets.

Lawrence S. Moss Selçuk Topal

Published in: Rev. Symb. Log. (2020)

Keyphrases

finite sets
real time
databases
logic programming
modal logic
computational properties
truth values
asynchronous circuits
case study
multi valued
horn clauses
real numbers
predicate logic
post hoc