158
Voted
LOGCOM
9 years 8 months ago
2016 
This paper intends to contribute to the debate about the uses of paraconsistent reasoning in the foundations of set theory, by means of employing the logics of formal inconsistenc...
89
Voted
LOGCOM
9 years 8 months ago
2016
The transition from a theory that turned out trivial to a consistent replacement need not proceed in terms of inconsistencies, which are negation gluts. Logics that tolerate gluts...
81
Voted
LOGCOM
9 years 8 months ago
2016
The LFP Framework is an extension of the Harper-Honsell-Plotkin’s Edinburgh Logical Framework LF with external predicates, hence the name Open Logical Framework. This is accompli...
78
Voted
LOGCOM
9 years 8 months ago
2016
Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequents are allowed to occur within sequents. Nested sequent calculi have been profitably e...
72
Voted
LOGCOM
9 years 8 months ago
2016
Turing, in his immortal 1936 paper, observed that “[human] computing is normally done by writing. . . symbols on [two-dimensional] paper”, but noted that use of a second dimen...
|
Programming Languages