2010/04/30 by Christoph Benzmueller, Benzmueller, Christoph · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical logic and foundations #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.1004.5500
openalex publication_date 2010/04/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantified) multimodal logics and intuitionistic logics, can be elegantly embedded in simple type theory. Furthermore, simple type theory is sufficiently expressive to model combinations of embedded logics and it has a well understood semantics. Off-the-shelf reasoning systems for simple type theory exist that can be uniformly employed for reasoning within and about combinations of logics.