793 search results - page 5 / 159 » Argumentation and standards of proof |
FUIN
2010
13 years 4 months ago
2010
The Church
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
With the current demonstrator, we present an implementation of formal argumentation that is not only able to evaluate an argument according to standard argumentation semantics, bu...
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
Higman's lemma has a very elegant, non-constructive proof due to Nash-Williams [NW63] using the so-called minimal-bad-sequence argument. The objective of the present paper is ...
JSYML
2010
13 years 2 months ago
2010
In this paper, we introduce the systems ns-ACA0 and ns-WKL0 of non-standard second-order arithmetic in which we can formalize non-standard arguments in ACA0 and WKL0, respectively...
AI
2006
Springer
13 years 7 months ago
2006
Springer
