2 papers
cs.LO2026
Automating proof search when equality is a logical connective
Kaustuv Chaudhuri, Arunava Gantait, Dale Miller
Treating syntactic equality as a logical connective -- governed by left- and right-introduction rules within the sequent calculus -- offers an elegant and powerful approach to term…
cs.LO2025
Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Kaustuv Chaudhuri, Daniele Nantes-Sobrinho
These are the contributed papers presented at the 20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025), at Birmingham, UK on 19 Ju…