Buscar
Mostrando ítems 71-80 de 782
Algoritmos de tableaux para Xpath con datos
(2018-03-28)
En este trabajo se presenta un cálculo correcto y completo para XPath con datos y caminos descendentes, enriquecido con nominales y operadores de satisfacción. Llamaremos HXPath = (↓) al lenguaje híbrido que resulta de ...
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) ...
¿Existen proposiciones con fundamento último?
¿Podemos encontrar proposiciones que no se puedan negar racionalmente en ningún mundo posible sin asumir la existencia de esa misma proposición y, por ello, implicándonos en una contradicción? En otras palabras, ¿podemos ...
¿Existen proposiciones con fundamento último?
¿Podemos encontrar proposiciones que no se puedan negar racionalmente en ningún mundo posible sin asumir la existencia de esa misma proposición y, por ello, implicándonos en una contradicción? En otras palabras, ¿podemos ...
De relações a vizinhanças: um entendimento sobre não-normalidade modal
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA, 2018-10-18)
The quest for mathematical structures to represent some logical behaviors is important
for a better understanding of these logics. For example, propositional classical logic can
be characterized by Boolean Algebras. When ...
On A Four-valued Modal Logic With Deductive Implication
(University of Lodz, 2014)
Dugundji’s Theorem Revisited
(Birkhauser Verlag AG, 2014)
Logics Of Essence And Accident
(University of Lodz, 2005)