117 search results - page 2 / 24 » Bochvar-McCarthy Logic and Process Algebra |
108
click to vote
FCT
2003
Springer
15 years 6 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-t...
212
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper introduces U-relations, a succinct and purely relational representation system for uncertain databases. U-relations support attribute-level uncertainty using vertical pa...
119
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
110
Voted
AML
2010
15 years 1 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...