114
Voted
LOGCOM
2016
9 years 11 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...
104
Voted
LOGCOM
2016
9 years 11 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...
188
Voted
LOGCOM
2016
9 years 11 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...
104
click to vote
LOGCOM
2016
9 years 11 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...
100
Voted
LOGCOM
2016
9 years 11 months ago
2016
Justification logics refine modal logics by replacing the usual necessity operator with a family of justification terms that embody reasons for the necessity of a formula, rath...
200
Voted
LLC
2016
9 years 11 months ago
2016
An eye-tracking study compared the effects of actions (depicted as tools between on-screen characters) with those of a speaker’s gaze and head shift between the same two charact...
35
Voted
LGRS
2016
9 years 11 months ago
2016
—In this letter, we propose a novel ship detection method in synthetic aperture radar (SAR) imagery via variational Bayesian inference. First, we establish the ship detection pro...
20
Voted
LGRS
2016
9 years 11 months ago
2016
Abstract: The derivation of shallow-water bathymetry from multispectral satellite images has become a highly active field of research in recent years. Nowadays, as satellite image...
123
Voted
LFCS
2016
Springer
9 years 11 months ago
2016
Springer
We investigate (co-)induction in Classical Logic under the propositions-as-types paradigm, considering propositional, second-order, and (co-)inductive types. Specifically, we intr...
97
Voted
LFCS
2016
Springer
9 years 11 months ago
2016
Springer
In contrast to most kinds of computability studied in mathematical logic, feedback computability has a non-degenerate notion of parallelism. Here we study parallelism for the most...