Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Formalizing Representation Theorems for a Logical Framework with Rewriting
Thomas Traversié, Florian Rabe
Representation theorems for formal systems often take the form of an inductive translation that satisfies certain invariants, which are proved inductively. Theory morphisms and log…
cs.LO2024
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Florian Rabe, Claudio Sacerdoti Coen
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and comput…