414 search results - page 33 / 83 » Resolution for Intuitionistic Logic |
TIME
2003
IEEE
15 years 5 months ago
2003
IEEE
TLCA
2005
Springer
15 years 5 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
110
click to vote
LANMR
2004
15 years 1 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...