-
Super-Łukasiewicz logics expanded by $Δ$
Authors:
Aldo V. Figallo,
Aldo Figallo-Orellano,
Martín Figallo
Abstract:
Baaz's operator $Δ$ was introduced (by Baaz) in order to extend Gödel logics, after that this operator was used to expand fuzzy logics by Hájek in his celebrated book. These logics were called $Δ$-fuzzy logics. On the other hand, possibility operators were studied in the setting of Łukasiewicz-Moisil algebras; curiously, one of these operators coincide with the Baaz's one. In this paper, we study…
▽ More
Baaz's operator $Δ$ was introduced (by Baaz) in order to extend Gödel logics, after that this operator was used to expand fuzzy logics by Hájek in his celebrated book. These logics were called $Δ$-fuzzy logics. On the other hand, possibility operators were studied in the setting of Łukasiewicz-Moisil algebras; curiously, one of these operators coincide with the Baaz's one. In this paper, we study the $Δ$ operator in the context of ($n$-valued) Super-Łukasiewicz logics. An algebraic study of these logics is presented and the cardinality of Lindembaun-Tarski algebra with a finite number of variables is given. Finally, as a by-product, we present an alternative axiomatization of Hájek's Łukasiwicz logic expanded with $Δ$.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
A note on k-cyclic modal pseudocomplemented De Morgan algebras
Authors:
Aldo Figallo-Orellano,
Juan Sebastian Slagter
Abstract:
Symmetric and k-cyclic structure of modal pseudocomplemented De Morgan algebras algebras was introduced previously. In this paper, we first present the construction of epimorphims between finite symmetric (or 2-cyclic) modal pseudocomplemented De Morgan algebras. Furthermore, we compute the cardinality of the set of all epimorphism between finite structures. Secondly, we present the construction o…
▽ More
Symmetric and k-cyclic structure of modal pseudocomplemented De Morgan algebras algebras was introduced previously. In this paper, we first present the construction of epimorphims between finite symmetric (or 2-cyclic) modal pseudocomplemented De Morgan algebras. Furthermore, we compute the cardinality of the set of all epimorphism between finite structures. Secondly, we present the construction of finite free algebras on the variety of k-cyclic modal pseudocomplemented De Morgan algebras and display how our computations are in fact generalizations to others in the literature. Our work is strongly based on the properties of epimorphisms and automorphisms and the fact that the variety is finitely generated.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Paraconsistent models of Zermelo-Fraenkel set theory
Authors:
Aldo Figallo-Orellano,
Juan Sebastian Slagter
Abstract:
In this paper, we build Fidel-structures valued models following the methodology developed for Heyting-valued models; recall that Fidel structures are not algebras in the universal algebra sense. Taking models that verify Leibniz law, we are able to prove that all set-theoretic axioms of ZF are valid over these models. The proof is strongly based on the existence of paraconsistent models of Leibni…
▽ More
In this paper, we build Fidel-structures valued models following the methodology developed for Heyting-valued models; recall that Fidel structures are not algebras in the universal algebra sense. Taking models that verify Leibniz law, we are able to prove that all set-theoretic axioms of ZF are valid over these models. The proof is strongly based on the existence of paraconsistent models of Leibniz law. In this setting, the difficulty of having algebraic paraconsistent models of law for formulas with negation using the standard interpretation map is discussed, showing that the existence of models of Leibniz law is essential to getting models for ZF.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Leibniz's law and paraconsistent models of ZFC
Authors:
Aldo Figallo-Orellano
Abstract:
In this paper, we present full models for some Paraconsistent Set Theories (PSTs). These models are built over Fidel semantics where they are specific first-order structures in the sense of Model Theory. These structures are known as F-structures in the literature and they are not algebras in the universal algebra sense. We demonstrate how is possible to present paraconsistent models for ZFC for a…
▽ More
In this paper, we present full models for some Paraconsistent Set Theories (PSTs). These models are built over Fidel semantics where they are specific first-order structures in the sense of Model Theory. These structures are known as F-structures in the literature and they are not algebras in the universal algebra sense. We demonstrate how is possible to present paraconsistent models for ZFC for any of PSTs studied in this paper, by adapting the proofs given on the celebrated John Lane Bell's books; in general, we adapt the proofs in the mentioned book throughout the work.
△ Less
Submitted 26 February, 2024; v1 submitted 12 October, 2022;
originally announced October 2022.
-
Sentential logics based on k-cyclic modal pseudocomplemented De Morgan algebras
Authors:
Aldo Figallo-Orellano,
Miguel Perez-Gaspar,
Juan Manuel Ramirez-Contreras
Abstract:
The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in the papers [15] and [16]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by an automorphism k-periodic (or Ck-algebras) where k is a positive integer; for k = 2 the class coincides with the one studied in [15] where the automorphism works as a…
▽ More
The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in the papers [15] and [16]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by an automorphism k-periodic (or Ck-algebras) where k is a positive integer; for k = 2 the class coincides with the one studied in [15] where the automorphism works as a new unary operator. In the first place, we prove the class Ck-algebras is a semisimple variety and we determine the generating algebras. Afterwards, we calculate the cardinality of the free Ck-algebra with n generator. After the algebraic study, we built two sentential logics that have as algebraic counterpart the class of Ck-algebras that we denote L<k and Lk for every k. Lk is a 1-assertional logic and L<k is the degree-preserving logic both associated with the class of Ck-algebras. Working over these logics, we prove that L<k is paraconsistent, which is protoalgebraic and finitely equivalential but not algebraizable. In contrast, we prove that Lk is algebraizable, sharing the same theorem with L<k, but not paraconsistent.
△ Less
Submitted 8 July, 2021;
originally announced August 2021.
-
Leibniz's law and its paraconsistent models
Authors:
Aldo Figallo-Orellano
Abstract:
This paper aims at discussing the importance of Leibniz Law to getting models for Paraconsistent Set Theories.
This paper aims at discussing the importance of Leibniz Law to getting models for Paraconsistent Set Theories.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
First-order swap structures semantics for some Logics of Formal Inconsistency
Authors:
Marcelo E. Coniglio,
Aldo Figallo-Orellano,
Ana C. Golzio
Abstract:
The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures,…
▽ More
The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered.
△ Less
Submitted 21 December, 2019;
originally announced December 2019.
-
Non-deterministic algebraization of logics by swap structures
Authors:
Marcelo E. Coniglio,
Aldo Figallo-Orellano,
Ana C. Golzio
Abstract:
Multialgebras (or hyperalgebras, or non-deterministic algebras) have been very much studied in Mathematics and in Computer Science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several logics of formal inconsistency (or LFIs) which cannot be semantically characterized by a single finite matrix. In particular, th…
▽ More
Multialgebras (or hyperalgebras, or non-deterministic algebras) have been very much studied in Mathematics and in Computer Science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several logics of formal inconsistency (or LFIs) which cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff's representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logic J3 the usual class of algebraic models is recovered, and the swap structures semantics became twist-structures semantics (as introduced by Fidel-Vakarelov). This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, which is closely connected with Kalman's functor, suggests that swap structures can be considered as non-deterministic twist structures, opening so interesting possibilities for dealing with non-algebraizable logics by means of multialgebraic semantics.
△ Less
Submitted 28 August, 2017;
originally announced August 2017.
