An algebraic approach to subframe logics. Intuitionistic case.

Guram Bezhanishvili Silvio Ghilardi

Published in: Ann. Pure Appl. Log. (2007)

Keyphrases

expressive power
classical logic
modal logic
inference rules
neural network
real world
data mining
genetic algorithm
wavelet transform
theorem prover
fuzzy relations
linear logic