BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Darllan Conceição Pinto

Darllan Conceição Pinto contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.CTLogic in Computer Science

Trust snapshot

Quick read

Trust 21 - Emerging
7works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Filter pairs and natural extensions of logics

We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality $κ$, where $κ$ is a regular cardinal. The corresponding new notion is called $κ$-filter pair. A filter pair can be seen as a presentation of a logic, and we ask what different $κ$-filter pairs give rise to a fixed logic of cardinality $κ$. To make the question well-defined we restrict to a subcollection of filter pairs and establish a bijection from that collection to the set of natural extensions of that logic by a set of variables of cardinality $κ$. Along the way we use $κ$-filter pairs to construct natural extensions for a given logic, work out the relationships between this construction and several others proposed in the literature, and show that the collection of natural extensions forms a complete lattice. In an optional section we introduce and motivate the concept of a general filter pair.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Connecting abstract logics and adjunctions in the theory of ($π$-)institutions: some theoretical remarks and applications

In the present work, a natural sequel to \cite{MaPi1}, we further discuss the existence of adjunctions between categories of institutions and of $π$-institutions. This is done at both a foundational and an applied level. Firstly, we reformulate and conceptually clarify such adjunctions in terms of the $2$-categorical data involved in the construction of categories of institution-like structures. More precisely, we remark that the process used for passing from rooms to institutions (\cite{Diac2}) can be extended, due to its $2$-functoriality, to more general room-like and institution-like structures in such a way that the aforementioned adjunctions are all seen to arise from simpler adjunctions at the room-like level. Secondly, and mostly independently, we provide some applications of such adjunctions to abstract logics, mainly to the setting of propositional logics and filter pairs (\cite{AMP1}); we also generalize the process of skolemization, a classical device from predicate logic, to the institutional setting.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Algebraizable Logics and a functorial encoding of its morphisms

The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra. The logics are the objects in our categories of logics; the morphisms are certain signature morphisms that are translations between logics (\cite{AFLM1},\cite{AFLM2},\cite{AFLM3} \cite{FC}). Morphisms between algebraizable logics (\cite{BP}) are translations that preserves algebraizing pairs (\cite{MaMe}): they can be completely encoded by certain functors defined on the quasi-variety canonically associated to the algebraizable logics. This kind of results will be useful in the development of a categorial approach to the representation theory of general logics (\cite{MaPi1}, \cite{MaPi2}, \cite{AJMP}).

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

An abstract approach to Glivenko's theorem

The aim of this work is to provide a special kind of conservative translation between abstract logics, namely an \textit{abstract Glivenko's theorem}. Firstly we define institutions on the categories of logic, algebraizable logics, and Lindenbaum algebraizable logic. In the sequel, we introduce the notion os Glivenko's context relating two algebraizable logics (respectively, Lindenbaum algebraizable logics) and we prove that for each Glivenko's context can be associated an institutions morphism between the corresponding logical institutions. As a consequence of the existence of such institutions morphisms, we have established abstract versions of Glivenko's theorem between those algebraizable logics (Lindenbaum algebraizable logics), generalizing the results presented in \cite{To}. In particular, considering the institutions of classical logic and of intuitionistic logic, we build a Glivenko's context and thus an abstract Glivenko's theorem that is exactly the traditional Glivenko's theorem. Finally we present a category of algebraizable logic with Glivenko's context as morphisms. We can interpret the results of this work as an evidence of the (virtually unexplored) relevance of institution theory in the study of propositional logic.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Distributive abstract logics and the Esakia duality

In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent topological space categories. In more detail we will explain the duality between the category of abstract intuitionistic logics with intuitionistic morphisms and the category of Esakia spaces with the Esakia morphisms.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Representation theory of logics: a categorial approach

The major concern in the study of categories of logics is to describe condition for preservation, under the a method of combination of logics, of meta-logical properties. Our complementary approach to this field is study the "global" aspects of categories of logics in the vein of the categories $\Ss, \Ls, \cA_s$ studied in \cite{AFLM3}. All these categories have good properties however the category of logics $\cL$ does not allow a good treatment of the "identity problem" for logics (\cite{Bez}): for instance, the presentations of "classical logics" (e.g., in the signature $\{\neg, \vee\}$ and $\{\neg',\rightarrow'\}$) are not $\Ls$-isomorphic. In this work, we sketch a possible way to overcome this "defect" (and anothers) by a mathematical device: a representation theory of logics obtained from category theoretic aspects on (Blok-Pigozzi) algebraizable logics. In this setting we propose the study of (left and right) "Morita equivalence" of logics and variants. We introduce the concepts of logics (left/right)-(stably) -Morita-equivalent and show that the presentations of classical logics are stably Morita equivalent but classical logics and intuitionist logics are not stably-Morita-equivalent: they are only stably-Morita-adjointly related.

0 citations0 reviewsNo code linkedOpen access