On the Density of Truth of Implicational Parts of Intuitionistic and Classical Logics.

Zofia Kostrzycka

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

Keyphrases

valued logic
classical logic
truth values
modal logic
expressive power
inference rules
default logic
linear logic
theorem prover
fuzzy numbers
data sets
logic programming
first order logic
propositional logic
fuzzy set theory
multi valued