Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL.

Walter Guttmann

Published in: IJCAR (2) (2020)

Keyphrases

algebraic structures
theorem prover
natural deduction
inference rules
partially ordered sets
theorem proving
inductive inference
higher order logic
first order logic
spatial reasoning
formal theory
sequent calculus
probabilistic knowledge
cut elimination
formal methods
decision trees
similarity measure