Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL.

Jasmin Christian Blanchette Mathias Fleury Dmitriy Traytel

Published in: FSCD (2017)

Keyphrases

theorem prover
natural deduction
real valued
rough approximations
t norm
compositional semantics
database
information retrieval
decision making
natural language
higher level
decision rules
inference rules
formal methods