Simple Type Theory as Framework for Combining Logics

Details Simple Type Theory as Framework for Combining Logics Simple Type Theory as Framework for Combining Logics

2010-04-30

arxiv.org/abs/1004.5500v1

Computer Science

Logic in Computer Science

Contest paper at the World Congress and School on Universal Logic III (UNILOG'2010), Lisbon, Portugal, April 18-25, 2010.

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Simple Type Theory as Framework for Combining Logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Simple Type Theory as Framework for Combining Logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Simple Type Theory as Framework for Combining Logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-387921