2501 search results - page 306 / 501 » Logics with Rank Operators |
133
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
150
click to vote
WOLLIC
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
130
click to vote
EACL
1993
ACL Anthology
15 years 6 months ago
1993
ACL Anthology
This paper solves some puzzles in the formalisation of logic for discontinuity in categorial grammar. A ‘tuple’ operation introduced in [Solias, 1992] is defined as a mode of...
154
Voted
NDJFL
1998
15 years 4 months ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
185
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
For decades now, the notion of “performance” has been synonymous with “speed” (as measured in FLOPS, short for floating-point operations per second). Unfortunately, this ...