An Axiomatization of the Logic with the Rough Quantifier.

Michal Krynicki Hans-Peter Tuschik

Published in: J. Symb. Log. (1991)

Keyphrases

set theory
rough sets
modal logic
asynchronous circuits
automated reasoning
logic programming
classical logic
situation calculus
computational properties
predicate logic
quantifier elimination
complete axiomatization
neural network
partial order
dynamic logic
proof theory