A compositional typed higher-order logic with definitions
Loading...
Access rights
openAccess
publishedVersion
URL
Journal Title
Journal ISSN
Volume Title
A4 Artikkeli konferenssijulkaisussa
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
Date
2016-11-01
Department
Major/Subject
Mcode
Degree programme
Language
en
Pages
13
Series
Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016, October 16–21, 2016, New York City, USA, Open Access Series in Informatics ; Volume 52
Abstract
Expressive KR languages are built by integrating different language constructs, or extending a language with new language constructs. This process is difficult if non-truth-functional or non-monotonic constructs are involved. What is needed is a compositional principle. This paper presents a compositional principle for defining logics by modular composition of logical constructs, and applies it to build a higher order logic integrating typed lambda calculus and rule sets under a well-founded or stable semantics. Logical constructs are formalized as triples of a syntactical rule, a semantical rule, and a typing rule. The paper describes how syntax, typing and semantics of the logic are composed from the set of its language constructs. The base semantical concept is the infon: mappings from structures to values in these structures. Semantical operators of language constructs operate on infons and allow to construct the infons of compound expressions from the infons of its subexpressions. This conforms to Frege's principle of compositionality.Description
Keywords
Compositionality, Logic, Semantics
Other note
Citation
Dasseville, I, Van Der Hallen, M, Bogaerts, B, Janssens, G & Denecker, M 2016, A compositional typed higher-order logic with definitions . in Technical Communications of the 32nd International Conference on Logic Programming : ICLP 2016, October 16–21, 2016, New York City, USA ., 14, Open Access Series in Informatics, vol. 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, International Conference on Logic Programming, New York City, United States, 16/10/2016 . https://doi.org/10.4230/OASIcs.ICLP.2016.14