A compositional typed higher-order logic with definitions

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

  • Ingmar Dasseville
  • Matthias Van Der Hallen
  • Bart Bogaerts

  • Gerda Janssens
  • Marc Denecker

Organisaatiot

  • KU Leuven

Kuvaus

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.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoTechnical Communications of the 32nd International Conference on Logic Programming
AlaotsikkoICLP 2016, October 16–21, 2016, New York City, USA
TilaJulkaistu - 1 marraskuuta 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Logic Programming - New York City, Yhdysvallat
Kesto: 16 lokakuuta 201621 lokakuuta 2016
Konferenssinumero: 32

Julkaisusarja

NimiOpen Access Series in Informatics
Vuosikerta52
ISSN (elektroninen)2190-6807

Conference

ConferenceInternational Conference on Logic Programming
LyhennettäICLP
MaaYhdysvallat
KaupunkiNew York City
Ajanjakso16/10/201621/10/2016

Lataa tilasto

Ei tietoja saatavilla

ID: 9935038