-
Congruence Filter Pairs, Adjoints and Leibniz Hierarchy
Authors:
Peter Arndt,
Hugo Luiz Mariano,
Darllan Conceição Pinto
Abstract:
We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with certain properties ensuring that the resulting logic is finitary and substitution invariant. Every finitary, substitution invariant logic arises from a filter pair…
▽ More
We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with certain properties ensuring that the resulting logic is finitary and substitution invariant. Every finitary, substitution invariant logic arises from a filter pair. Particular classes of logics can be characterized as arising from special classes of filter pairs. We consider so-called congruence filter pairs, i.e. filter pairs for which the domain of the lattice homomorphism is a lattice of congruences for some quasivariety. We show that the class of logics admitting a presentation by such a filter pair is exactly the class of logics having an algebraic semantics. We study the properties of a certain Galois connection coming with such filter pairs. We give criteria for a congruence filter pair to present a logic in some classes of the Leibniz hierarchy by means of this Galois connection, and its interplay with the Leibniz operator. As an application, we show a bridge theorem, stating that the amalgamation property implies the Craig interpolation property, for a certain class of logics including non-protoalgebraic logics.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
The use of hyaluronic acid in individuals with cleft lip and palate: Literature review
Authors:
Kelly Fernanda Molena,
Lidiane de Castro Pinto,
Gisele da Silva Dalben
Abstract:
Since the Resolution 198/2019 of Brazilian Dental Council, which regulates orofacial harmonization as a dental specialty, and the advent of various uses of facial fillers, such as hyaluronic acid (HA), it is possible to perform both esthetic and functional corrections in individuals. Individuals with cleft lip and palate (CLP) present lip irregularities even after orofacial rehabilitation with an…
▽ More
Since the Resolution 198/2019 of Brazilian Dental Council, which regulates orofacial harmonization as a dental specialty, and the advent of various uses of facial fillers, such as hyaluronic acid (HA), it is possible to perform both esthetic and functional corrections in individuals. Individuals with cleft lip and palate (CLP) present lip irregularities even after orofacial rehabilitation with an interdisciplinary team with several corrective surgeries, interfering with the esthetics, which can cause problems in self-esteem and social insertion. Thus, facial filling is an innovation that, together with dentistry, contributes to the individual's esthetics and well-being. Considering the patient safety and health, more research is progressively being conducted to make such procedures less invasive. This work conducted a literature review on the use of HA as a facial filler to correct lip scars in patients with CLP. By a literature and transverse search in Scientific Electronic Library Online and PubMed databases using specific descriptors, the studies that met the inclusion criteria were selected, from 1990 to 2020. It can be concluded that the use of HA as a facial filling material in the correction of lip scars from reparative surgeries related to CLP has been shown to be effective both for correction of facial asymmetry and to improve the quality of life of patients who used the procedure.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Filter pairs and natural extensions of logics
Authors:
Peter Arndt,
Hugo Luiz Mariano,
Darllan Conceição Pinto
Abstract:
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 $κ$.…
▽ More
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.
△ Less
Submitted 24 February, 2022; v1 submitted 9 September, 2020;
originally announced September 2020.
-
Connecting abstract logics and adjunctions in the theory of ($π$-)institutions: some theoretical remarks and applications
Authors:
Gabriel Bittencourt Rios,
Daniel de Almeida Souza,
Darllan Conceição Pinto,
Hugo Luiz Mariano
Abstract:
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. M…
▽ More
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.
△ Less
Submitted 29 December, 2020; v1 submitted 1 February, 2020;
originally announced February 2020.
-
The Hilbert series of $\operatorname{SL}_2$-invariants
Authors:
Pedro de Carvalho Cayres Pinto,
Hans-Christian Herbig,
Daniel Herden,
Christopher Seaton
Abstract:
Let $V$ be a finite dimensional representations of the group $\operatorname{SL}_2$ of $2\times 2$ matrices with complex coefficients and determinant one. Let $R=\mathbb{C}[V]^{\operatorname{SL}_2}$ be the algebra of $\operatorname{SL}_2$-invariant polynomials on $V$. We present a calculation of the Hilbert series $\operatorname{Hilb}_R(t)=\sum_{n\ge 0}\dim (R_n)\: t^n$ as well as formulas for the…
▽ More
Let $V$ be a finite dimensional representations of the group $\operatorname{SL}_2$ of $2\times 2$ matrices with complex coefficients and determinant one. Let $R=\mathbb{C}[V]^{\operatorname{SL}_2}$ be the algebra of $\operatorname{SL}_2$-invariant polynomials on $V$. We present a calculation of the Hilbert series $\operatorname{Hilb}_R(t)=\sum_{n\ge 0}\dim (R_n)\: t^n$ as well as formulas for the first four coefficients of the Laurent expansion of $\operatorname{Hilb}_R(t)$ at $t=1$.
△ Less
Submitted 19 June, 2018; v1 submitted 6 October, 2017;
originally announced October 2017.
-
An abstract approach to Glivenko's theorem
Authors:
Darllan Conceição Pinto,
Hugo Luiz Mariano
Abstract:
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 algebraizab…
▽ More
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.
△ Less
Submitted 11 December, 2016;
originally announced December 2016.
-
Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions
Authors:
Darllan Conceição Pinto,
Hugo Luiz Mariano
Abstract:
In this work we explore some applications of the notions of Institution and Π-Institution in the setting of propositional logics and establish a precise categorial relation between these notions, i.e., we provide a pair of functors that establishes an adjunction between the categories Inst and Π-Inst.
In this work we explore some applications of the notions of Institution and Π-Institution in the setting of propositional logics and establish a precise categorial relation between these notions, i.e., we provide a pair of functors that establishes an adjunction between the categories Inst and Π-Inst.
△ Less
Submitted 5 November, 2016;
originally announced November 2016.
-
Algebraizable Logics and a functorial encoding of its morphisms
Authors:
Darllan Conceição Pinto,
Hugo Luiz Mariano
Abstract:
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{…
▽ More
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}).
△ Less
Submitted 3 March, 2016; v1 submitted 29 October, 2014;
originally announced October 2014.
-
Distributive abstract logics and the Esakia duality
Authors:
Andreas B. M. Brunner,
Darllan Conceição Pinto
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 29 October, 2014; v1 submitted 15 August, 2014;
originally announced August 2014.
-
Representation theory of logics: a categorial approach
Authors:
Darllan Conceição Pinto,
Hugo Luiz Mariano
Abstract:
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 categor…
▽ More
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.
△ Less
Submitted 10 May, 2014;
originally announced May 2014.