2303 search results - page 67 / 461 » On the logic of argumentation theory |
167
click to vote
BSL
2002
15 years 6 months ago
2002
Abstract. In this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([71], 1910
164
click to vote
ENTCS
2010
15 years 6 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
175
click to vote
OOPSLA
2009
Springer
16 years 24 days ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
159
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
166
click to vote
FROCOS
2007
Springer
16 years 13 days ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...