Buscar
Mostrando ítems 1-10 de 9833
Abstract logics, logic maps, and logic homomorphisms
(2007)
What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach ...
Disjoint logics
(Nicolaus Copernicus University, 2021-03-27)
We will present all the mixed and impure disjoint three-valued logics based on the Strong Kleene schema. Some, but not all of them, are (inferentially) empty logics, while one of them is trivial. We will compare them ...
Topics in logical anti-exceptionalism and paraconsistent logics
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA, 2021-05-03)
The rivalry between classical logic and its non-classical contenders occupies
the centre stage in contemporary philosophical logic. The central issue is to know
how to choose a logical system (or theory thereof) among the ...
A Quantitative-Informational Approach to Logical Consequence
(2015-01-01)
In this chapter, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula. As a starting point, we use Shannon’s ...
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 ...
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 ...
A family of metainferential logics
(Taylor & Francis, 2019-01)
We will present 12 different mixed metainferential consequence relations. Each one of them is specified using two different inferential Tarskian or non-Tarskian consequence relations: K3, LP, ST or TS+. We will show that ...
The power of modal separation logics
(Oxford University Press, 2019-12)
We introduce a modal separation logic MSL whose models are memory states from separation logic and the logical connectives include modal operators as well as separating conjunction and implication from separation logic. ...
On universality and formality in 19th century symbolic logic: The case of Schröder’s “Absolute Algebra”
(Birkhäuser, 2015)
This paper deals with conceptions of formality underlying 19th Century symbolic logic, where notations and manipulation of signs played an important role. It is devoted specifically to the case of Ernst Schröder’s “formal ...
Immune Logics
(Victoria University of Wellington, 2021-02)
This article is concerned with an exploration of a family of systems---called immune logics---whose main properties are, in some sense, related to those of the well-known family of infectious logics. The distinctive feature ...