Intuitionistic axiomatizations for bounded extension Kripke models.

Mohammad Ardeshir Wim Ruitenburg Saeed Salehi

Published in: Ann. Pure Appl. Log. (2003)

Keyphrases

theorem prover
decision procedures
kripke models
machine learning
modal logic
theorem proving
fuzzy numbers
fuzzy set theory
linear logic