 |
Department
of
Computer Science |
||
4th Annual Postgraduate Conference
in
Computer Science
Corrado Biasi
Rauserz's bi-intuitionistic logic in the framework of the logic for pragmatics
We reconsiderRauserz's bi-intuitionistic logic in the framework of the logic for pragmatics: every formula is regarded as expressing an act o assertion or conjecture,where conjunction and implication are assertive and subtraction and disjunction are conjectural. The resulting system of polarized bi-intuitionistic logic consists of two fragment, positive intuitionistic logic(assertive) and its dual(conjectural), extended with two negations partially internalizing this duality.
The term assignement for the conjectural fragment is a calculus of continuations exhibiting several features of calculifor concurrency, such as remote capture of variable and remote substitution.