Login / Signup

Proof Theory of Riesz Spaces and Modal Riesz Spaces.

Christophe LucasMatteo Mio
Published in: Log. Methods Comput. Sci. (2022)
Keyphrases
  • proof theory
  • default reasoning
  • natural language
  • decision makers