On Admissible Substitutions in Classical and Intuitionistic Sequent Logics.

Alexander V. Lyaletski

Published in: Intelligent Information Systems (2004)

Keyphrases

modal logic
inference rules
natural deduction
cut elimination
classical logic
sequent calculi
sequent calculus
linear logic
theorem prover
expressive power
fuzzy set theory
first order logic
valued logic
temporal logic
fuzzy logic
wide class
logic programming
control system
decision making
learning algorithm
database