Showing 1–2 of 2 results for author: Kahle, R

Syntax versus Semantics

Authors: Reinhard Kahle, Wilfried Keller

Abstract: We report on the idea to use colours to distinguish syntax and semantics as an educational tool in logic classes. This distinction gives also reason to reflect on some philosophical issues concerning semantics. We report on the idea to use colours to distinguish syntax and semantics as an educational tool in logic classes. This distinction gives also reason to reflect on some philosophical issues concerning semantics. △ Less

Submitted 13 July, 2015; originally announced July 2015.

Comments: Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, João Marcos, María Manzano, Sophie Pinchinat, François Schwarzentruber

ACM Class: F.4.1; F.4.m

An applicative theory for FPH

Authors: Reinhard Kahle, Isabel Oitavem

Abstract: In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time. In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time. △ Less

Submitted 27 January, 2011; originally announced January 2011.

Comments: In Proceedings CL&C 2010, arXiv:1101.5200

ACM Class: F.4.1; F.1.3

Journal ref: EPTCS 47, 2011, pp. 44-56