Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 73

Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 80
CiE 2006 - Special Session Talk: - LJQ: A Strongly Focused Calculus for Intuitionistic Logic
Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Special Session Talk:
LJQ: A Strongly Focused Calculus for Intuitionistic Logic


Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249
Speaker: Roy Dyckhoff
Author(s): Roy Dyckhoff and Stéphane Lengrand
Presentation: Dyckhoff-Lengrand.pdf

Abstract

LJQ is a focused sequent calculus (due to Herbelin) for intuitionistic logic,
with a simple restriction on the first premisss of the usual left introduction
rule for implication. We discuss its history (going back to about 1950, or
beyond), present the underlying theory and its applications both to terminating
proof-search calculi and to call-by-value reduction in lambda calculus. 


websites: Arnold Beckmann
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie06/conf-code.php on line 135
2006-06-23 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net