New Intuitionistic Logical Constants and Novikov Completeness.

Alexander Yashin

Published in: Stud Logica (1999)

Keyphrases

logical framework
linear logic
theorem prover
fuzzy set theory
pattern recognition
computer vision
fuzzy numbers
logical structure
fuzzy information
logical reasoning
genetic algorithm
information systems
case study
knowledge representation
classical logic
logical rules