Login / Signup

Intuitionistic phase semantics is almost classical.

Max I. KanovichMitsuhiro OkadaKazushige Terui
Published in: Math. Struct. Comput. Sci. (2006)
Keyphrases
  • logic programming
  • learning phase
  • training phase
  • formal semantics
  • logical framework
  • conceptual model
  • theorem prover
  • fuzzy set theory
  • web services
  • query language
  • integrity constraints
  • fuzzy information
  • linear logic