3 papers
cs.LO2023
Representation Theorems Obtained by Miningacross Web Sources for Hints
Marco B. Caminati, Juliana K. F. Bowles
A representation theorem relates different mathematical structures by providing an isomorphism between them: that is, a one-to-one correspondence preserving their original properti…
cs.LO2014
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
Marco B. Caminati, Manfred Kerber, Christoph Lange +1
When faced with the question of how to represent properties in a formal proof system any user has to make design decisions. We have proved three of the theorems from Maskin's 2004…
math.LO2012
A simplified framework for first-order languages and its formalization in Mizar
Marco B. Caminati
A strictly formal, set-theoretical treatment of classical first-order logic is given. Since this is done with the goal of a concrete Mizar formalization of basic results (Lindenbau…