Login / Signup
Metalogic of Intuitionistic Propositional Calculus.
Alex Citkin
Published in:
Notre Dame J. Formal Log. (2010)
Keyphrases
</>
propositional calculus
linear logic
fuzzy set theory
fuzzy numbers
theorem prover
interval valued
fuzzy information
classical logic
fuzzy sets
natural deduction
information retrieval
clustering algorithm
multiscale
relational databases
sufficient conditions
nonmonotonic logics