Properties of Intuitionistic Provability and Preservativity Logics.

Rosalie Iemhoff Dick De Jongh Chunlai Zhou

Published in: Log. J. IGPL (2005)

Keyphrases

classical logic
expressive power
fuzzy set theory
linear logic
fuzzy logic
real time
information systems
sufficient conditions
structural properties
theorem prover
representation scheme
topological properties