102 search results - page 1 / 21 » The Basic Constructive Logic for Negation-Consistency |
JOLLI
2008
13 years 4 months ago
2008
In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BK c4 , which is adequate to this sense of consis...
JOLLI
2008
13 years 4 months ago
2008
In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive log...
IGPL
2000
13 years 4 months ago
2000
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....
LFCS
1997
Springer
13 years 8 months ago
1997
Springer
APLAS
2003
ACM
13 years 9 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...