271 search results - page 18 / 55 » Logics from Galois connections |
115
Voted
LICS
2010
IEEE
15 years 12 days ago
2010
IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
168
click to vote
LPAR
2010
Springer
14 years 12 months ago
2010
Springer
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...
230
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
137
click to vote
ATAL
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
103
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...