Buscar
Mostrando ítems 11-20 de 3110
Completeness in hybrid type theory
(2014)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
Many worlds and modality in the interpretation of quantum mechanics: an algebraic approach
(American Institute of Physics, 2009-12)
Many worlds interpretations (MWI) of quantum mechanics avoid the measurement problem by considering every term in the quantum superposition as actual. A seemingly opposed solution is proposed by modal interpretations (MI) ...
The Paraconsistent Logic of Quantum Superpositions
(Springer, 2013-07)
Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by 'superposition' in each case is extremely different. In this paper we discuss some of the multiple interpretations ...
Justification logic and audited computation
(Oxford University Press, 2015-06)
Justification Logic ( JL ) is a refinement of modal logic in which assertions of knowledge and belief are accompanied by justifications: the formula 〚s〛A states that s is a ‘reason’ for knowing/believing A . We study the ...
Completeness in Hybrid Type Theory
(Springer, 2014-05)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
Remarks on the epistemic interpretation of paraconsistent logic
(Universidade Federal de Santa Catarina. Departamento de Filosofía, 2018-04)
In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e. when ...
Consistency, paraconsistency and truth: logic, the whole logic and nothing but 'the' logic
(Universidad Nacional de Colombia, 1996)
After examining some components of a framework articulated in terms of general remarks on logic (in which two inadequate views of it are critically investigated), we present some arguments to the effect that a fallibilist, ...
Semi-stable semantics
(Oxford Univ PressOxfordInglaterra, 2012)
Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable
(Jagiellonian University, 2014-05)
We consider the Σ1 0-fragment of second-order logic over the vocabulary h+, ×, 0, 1, <, S1, ..., Ski, interpreted over the reals, where the predicate symbols Si are interpreted as semi-algebraic sets. We show that, in this ...
Logical interpretation of omission in implicature
(Instituto Nacional de Astrofísica, Óptica y Electrónica, 2019)