A basic quasi-Boolean logic of intuitionistic character.

Published in: J. Appl. Non Class. Logics (2020)

Keyphrases

boolean logic
truth values
fuzzy set theory
fuzzy numbers
chinese characters
linear logic
theorem prover
expert systems
optical character recognition
handwritten characters
fuzzy information
artificial intelligence
data management
inference rules
interval valued