Semantically closed intuitionistic abstract logics.

Steffen Lewitzka

Published in: J. Log. Comput. (2012)

Keyphrases

classical logic
propositional dynamic logic
interval valued
data mining
expressive power
real valued
modal logic
theorem prover
inference rules
fuzzy set theory
queueing networks
higher level
natural language
high level
database
fuzzy numbers
linear logic
proof theory