Buscar
Mostrando ítems 31-40 de 6671
Non-reflexive Logical Foundation for Quantum Mechanics
(Springer, 2014-11)
On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their ...
Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity
(Springer, 2017-04)
We introduce a family of tableau calculi for deontic action logics based on finite boolean algebras (or DAL for short), these logics provide deontic operators (e.g., obligation, permission, prohibition) which are applied ...
On rich modal logics
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2013-11-19)
I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, ...
Integrating discrete and continuous change in a logical framework
(WILEY-BLACKWELL, 1998)
The goal of our work is to develop theoretical foundations for the representation of knowledge in domains in which properties may vary continuously. One achievement of our research is that it extends the applicability of ...
Logical ThinkingChapter 1. Basic foundations of computational and logical thinking
(Editorial Digital del Tecnológico de Monterrey, 2017)
Peirce's mathematical-logical approach to discrete collections and the premonition of continuity
(2012-06-01)
According to Peirce one of the most important philosophical problems is continuity. Consequently, he set forth an innovative and peculiar approach in order to elucidate at once its mathematical and metaphysical challenges ...
Peirce's mathematical-logical approach to discrete collections and the premonition of continuity
(2012-06-01)
According to Peirce one of the most important philosophical problems is continuity. Consequently, he set forth an innovative and peculiar approach in order to elucidate at once its mathematical and metaphysical challenges ...