It is a task of philosophy to explain the sense in which contemporary science uses the label
“logics”, specially through “logics in”(natural language, program verification, machine …

The semantic collapse problem is perhaps the main difficulty associated to the very powerful
mechanism for combining logics known as fibring. In this paper we propose cryptofibred …

This work presents some results about the categorial relation between logics and their
associated categories of structures. A (propositional, finitary) logic is a pair given by a …

C. Caleiro, A. Sernadas and C. Sernadas abstract. This paper is a guided tour through the
theory of fibring as a general mechanism for combining logics. We present the main ideas …

In this paper we address the question of recovering a logic system by combining two or more
fragments of it. We show that, in general, by fibring two or more fragments of a given logic …

Finitary Filter Pairs and Propositional Logics Introduction Page 1 South American Journal of
Logic Vol. 4, n. 2, pp. 257–280, 2018 ISSN: 2446-6719 Finitary Filter Pairs and …

In this paper a variation of the fibred semantics of D. Gabbay called plain fibring is proposed,
with the aim of combining logics given by matrix semantics. It is proved that the plain fibring …

We consider (finitary, propositional) logics through the original use of Category Theory: the
study of the" sociology of mathematical objects", aligning us with a recent, and growing …

'One universe, one logic'takes the world as it is and leads to adjointness as the global logic
of anything. The alternative approach to find a unification of known logics requires …

[eng] Logical localism is a claim in the philosophy of logic stating that different logics are
correct in different domains. There are different ways in which this thesis can be motivated …