Login / Signup

Formalisations of Many-Valued Propositional Calculi with Variable Functors.

John Jones
Published in: Math. Log. Q. (1985)
Keyphrases
  • propositional logic
  • first order logic
  • data sets
  • truth values
  • spatial relations
  • multi valued
  • boolean formula
  • sequent calculi