Now showing items 1-10 of 3021
The Algebra of Logic Tradition
(Metaphysics Research Lab - Center for the Study of Language and Information, 2015-01)
The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815-1864) in his book The Mathematical Analysis of Logic (1847). The methodology ...
Teaching logic: Cracking the hard nut
(Revista Innovación Educativa 64, 2014-04-22)
Two questions are addressed in this article: 1) How to make the students realize the importance of logic; and 2) how to teach the logical rules. The teacher may begin their logic class with an attempt to answer 1. Logic ...
Logics of Action, Provisioning Domains, and Institutions: Provisioning Institutional Logics
(M E Sharpe IncArmonkEUA, 2013)
Graph logics with rational relations: the role of word combinatorics
(Association for Computing Machinery, 2017)
Graph databases make use of logics that combine traditional first-order features with navigation on paths, in the same way logics for model checking do. However, modern applications of graph databases impose a new requirement ...
(Oxford University Press, 2014-03)
We investigate dynamic modal operators that can changethe model during evaluation. We define the logicSLby extending thebasic modal language with the♦modality, which is a diamond operatorthat in addition has the ...
Peirce's mathematical-logical approach to discrete collections and the premonition of continuity
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 ...
Relation-changing modal operators
(Oxford University Press, 2015-05)
We study dynamic modal operators that can change the accessibility relation of a model during the evaluation of a formula. In particular, we extend the basic modal language with modalities that are able to delete, add or ...
Preservation of interpolation features by fibring
(Oxford Univ PressOxfordInglaterra, 2008)