3 search results for "tag:"keyword: first-order logic""

keyword: decision procedure keyword: first-order logic keyword: intuitionistic logic keyword: theorem proving keyword: proof search category: Miscellaneous/Coq Extensions category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures date: 2002-04 (contribution since January 2009)

keyword: first-order logic keyword: natural deduction keyword: reflection keyword: proof terms keyword: de Bruijn indices keyword: permutative conversions category: Mathematics/Logic/Foundations date: 15 April 2005

keyword: computational reflection keyword: interpretation keyword: first-order logic keyword: equational reasoning category: Miscellaneous/Coq Extensions date: 2005-05