Algebraic logic with generalized quantifiers.

Charles C. Pinter

Published in: Notre Dame J. Formal Log. (1975)

Keyphrases

computer algebra
algebraic structure
modal logic
logic programming
neural network
predicate logic
classical logic
automated reasoning
probabilistic logic
multi valued
real time
first order logic
multiscale
databases
higher order
multi agent
computational properties
t norm
website
epistemic logic
real world
proof theory