Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables.

Mikhail N. Rybakov

Published in: Advances in Modal Logic (2006)

Keyphrases

classical logic
variable selection
inference rules
theorem prover
fuzzy set theory
linear logic
neural network
computational complexity
computational cost
expressive power
inductive inference
formal methods