2020/05/12 by Bruno Dinis, Dinis, Bruno, Paulo Oliva +1
Computer Science · #03F07 and 03F10 and 03F30 and 03F55 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.2005.05794
openalex publication_date 2020/05/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper presents a general framework for unifying functional interpretations. It is based on families of parameters allowing for different degrees of freedom on the design of the interpretation. In this way we are able to generalise previous work on unifying functional interpretations, by including in the unification the more recent bounded and Herbrandized functional interpretations.