Rules of Inference with Parameters for Intuitionistic Logic.

Vladimir V. Rybakov

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

Keyphrases

intuitionistic logic
classical logic
linear logic
proof theoretic
probabilistic inference
artificial intelligence