Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.

Yaroslav Shramko

Published in: Stud Logica (2005)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
proof theory
fuzzy sets
logic programming
inference rules
theorem prover
bayesian networks
fixed point
sequent calculus
cut elimination