741 search results - page 5 / 149 » A Local System for Classical Logic |
129
click to vote
TLCA
2005
Springer
15 years 8 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...
123
click to vote
AMAST
2000
Springer
15 years 7 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
135
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
101
click to vote
SYNTHESE
2010
15 years 1 months ago
2010
This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also ...
140
click to vote
SCP
2010
15 years 1 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...