24 citations · 43 across the 16 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
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…
math.LO2009★ 3 cited
Yet another proof of Goedel's completeness theorem for first-order classical logic
Marco B. Caminati
A Henkin-style proof of completeness of first-order classical logic is given with respect to a very small set (notably missing cut rule) of Genzten deduction rules for intuitionist…