Marcelo E. Coniglio

We further develop the formal foundations of Paraconsistent Belief Revision (PBR) by introducing Logics of Formal Inconsistency (_LFI_s) specifically designed to support the development of epistemic entrenchment-based models for belief change. The interpretation of formal consistency—and, more broadly, of paraconsistency—in terms of the epistemic attitudes adopted by rational agents and of these agents reasoning with potentially contradictory yet non-trivial epistemic states, respectively, is already well-established within the literature on PBR based on LFIs. However, previous approaches faced a key limitation: the absence of replacement in most LFIs prevented the construction of entrenchment-based operations. We address this gap by first revisiting and systematizing core properties essential for such modeling, formalizing them within _Cbr_, a previously introduced logic whose foundational properties we now examine and develop in depth. Building on this, we introduce _RCbr_, a replacement-enriched, self-extensional extension of _Cbr_, which makes it possible—within an _LFI_-based framework—to formally define epistemic entrenchment and to construct entrenchment-based belief revision mechanisms. This development enables a fully constructive approach to Belief Revision in paraconsistent settings, further advancing the theoretical treatment of _LFI_s and paraconsistency within the broader landscape of epistemic states and belief dynamics.

In a previous paper, we recast Morgado hyperlattices and Sette implicative hyperlattices (IHLs) in lattice-theoretic terms. By utilizing swap structures induced by implicative lattices, we obtained a direct proof of soundness and completeness for da Costa’s paraconsistent logic $C_\omega $ with respect to Sette’s hyperalgebraic semantics. Inspired by Kalman functors in the context of twist structures, we introduce the notion of hyper swap structures, a novel class of hyperalgebras that naturally generalize swap structure semantics. We prove that these hyperalgebras, besides providing another class of hyperalgebraic models for $C_\omega $, induce a Kalman-style functor between the category of Sette IHLs and the category of enriched hyperalgebras for $C_\omega $. Specifically, we exhibit an equivalence of categories between Sette IHLs and their enriched hyperalgebraic counterparts using Kalman and forgetful functors. Similar results are extended to two axiomatic extensions of $C_\omega $.

We present a construction of nondeterministic semantics for some deontic logics based on the class of paraconsistent logics known as Logics of Formal Inconsistency (LFIs), for the first time combining swap structures and Kripke models through the novel notion of swap Kripke models. We start by making use of Nmatrices to characterize systems based on LFIs that do not satisfy axiom (cl), while turning to RNmatrices when the latter is considered in the underlying LFIs. This paper also presents, for the first time, a full axiomatization and a semantics for the CDn hierarchy, utilizing the aforementioned mixed semantics with RN matrices. It includes the historical system CD1 of da Costa and Carnielli (1986), the first deontic paraconsistent system proposed in the literature.

Kurt Gödel proved that it is not possible to characterize intuitionistic propositional logic ( ${IPL}$ ) by means of finite and deterministic truth-tables. After extending the same result with respect to non-deterministic matrices (Nmatrices), we provide a semantical characterization of ${IPL}$ by means of a $3$ -valued Nmatrix with a restricted set of valuations. This structure allows to define an algorithm to delete unsound rows from the non-deterministic truth-tables generated for each formula, which constitutes a new and very simple decision procedure for ${IPL}$. This method can be seen as truth-tables in a broader sense, and a way to overcome Gödel’s limiting result.

In previous publications, it was shown that finite non-deterministic matrices are quite powerful in providing semantics for a large class of normal and non-normal modal logics. However, some modal logics, such as those whose axiom systems contained the Löb axiom or the McKinsey formula, were not analyzed via non-deterministic semantics. Furthermore, other modal rules than the rule of necessitation were not yet characterized in the framework.In this paper, we will overcome this shortcoming and present a novel approach for constructing semantics for normal and non-normal modal logics that is based on restricted non-deterministic matrices. This approach not only offers a uniform semantical framework for modal logics, while keeping the interpretation of the involved modal operators the same, and thus making different systems of modal logic comparable. It might also lead to a new understanding of the concept of modality.

Ivlev’s pioneering work started in the 1970s showed a new and promissory way in the study of modal logic from the perspective of many-valued logics. Continuing our previous work on Ivlev-like non-normal modal logics with non-deterministic semantics, we present in this paper tableau systems for Tm, S4mS5m, the non-normal versions of T, S4 and S5, respectively, as well as for their corresponding first-order extensions Tm*, S4m* and S5m*. We also prove that the monadic fragments of Tm*, S4m* and S5m* are undecidable.

This volume is a collection of essays related to the work of Professor Yuriy Vasilievich Ivlev, a distinguished Russian logician and philosopher renowned for his expertise in many-valued and modal logics. Notably, his groundbreaking work on quasi-matrices for logics, now recognized as non-deterministic matrices and non-deterministic semantics, emerged in the 1970s. From a philosophical standpoint, Ivlev’s research delves into the formal analysis of indeterminacy, offering a logical framework to understand how sequences of indeterminate events can yield determinate outcomes. The volume follows two complementary lines of research. Firstly, it serves as a platform for the exploration and discussion of Ivlev’s seminal contributions to the algebraic characterization of both normal and non-normal modal logics, aimed at making these insights accessible to an international audience. Secondly, it features contributions from esteemed logicians and philosophers worldwide, offering diverse perspectives on the logical analysis of indeterminacy. This comprehensive volume will appeal to scholars and researchers in logic, philosophy, and mathematics who are engaged in the study of many-valued and modal methodologies for modeling situations of indeterminacy.

In the previous chapters, LFIs have been approached exclusively from the propositional viewpoint. This is justified by the fact that the main notions and issues of paraconsistency in general, and LFIs, in particular, occur at the propositional level, related to their main connectives, namely, paraconsistent negation, consistency and inconsistency operators. This chapter gives a full account of LFIs for first-order languages, taking into account that quantified versions of LFIs are essential for mathematical applications such as set theory, and also for applications in computer science, such as databases and logic programming.

Belnap–Dunn’s relevance logic, \(\textsf{BD}\), was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. \(\textsf{BD}\) is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion \(\textsf{BD2}\) of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce a four-valued expansion of BD called \({\textsf{BD}^\copyright }\), obtained by adding an unary connective \({\copyright }\,\ \) which is a consistency operator (in the sense of the Logics of Formal Inconsistency, _LFI_s). In addition, this operator is the unique one with the following features: it extends to \(\textsf{BD}\) the consistency operator of LFI1, a well-known three-valued _LFI_, still satisfying axiom _ciw_ (which states that any sentence is either consistent or contradictory), and allowing to define an undeterminedness operator (in the sense of Logic of Formal Undeterminedness, _LFU_s). Moreover, \({\textsf{BD}^\copyright }\) is maximal w.r.t. LFI1, and it is proved to be equivalent to BD2, up to signature. After presenting a natural Hilbert-style characterization of \({\textsf{BD}^\copyright }\) obtained by means of twist-structures semantics, we propose a first-order version of \({\textsf{BD}^\copyright }\) called \({\textsf{QBD}^\copyright }\), with semantics based on an appropriate notion of four-valued Tarskian-like structures called \(\textbf{4}\) -structures. We show that in \({\textsf{QBD}^\copyright }\), the existential and universal quantifiers are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the classical negation. Finally, a Hilbert-style calculus for \({\textsf{QBD}^\copyright }\) is presented, proving the corresponding soundness and completeness theorems.

Nilpotent Minimum logic (NML) is a substructural algebraizable logic that is a distinguished member of the family of systems of Mathematical Fuzzy logic, and at the same time it is the axiomatic extension with the prelinearity axiom of Nelson and Markov’s Constructive logic with strong negation. In this paper our main aim is to characterize and axiomatize paraconsistent variants of NML and its extensions defined by (sets of) logical matrices over linearly ordered NM-algebra with lattice filters as designated values, with special emphasis on those that only exclude the falsum truth-value, called non-falsity preserving logics. We also consider turning these non-falsity preserving logics into Logics of Formal Inconsistency by expanding them with a consistency operator, and we axiomatize them as well. Finally, we provide a full description of the logics defined by finite products of matrices over finite NM-chains.

The aim of this paper is to combine several Ivlev-like modal systems characterized by 4-valued non-deterministic matrices (Nmatrices) with IDM4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {IDM}4$$\end{document}, a 4-valued expansion of Belnap–Dunn’s logic FDE\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$FDE$$\end{document} with an implication introduced by Pynko in 1999. In order to do this, we introduce a new methodology for combining logics which are characterized by means of swap structures, based on what we call superposition of snapshots. In particular, the combination of IDM4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {IDM}4$$\end{document} with Tm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Tm$$\end{document}, the 4-valued Ivlev’s version of KT, will be analyzed with more details. From the semantical perspective, the idea is to combine the 4-valued swap structures (Nmatrices) for Tm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Tm$$\end{document} (and several of its extensions) with the 4-valued twist structure (logical matrix) for IDM4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {IDM}4$$\end{document}. This superposition produces a universe of 6 snapshots, with 3 of them being designated. The multioperators over the new universe are defined by combining the specifications of the given swap and twist structures. This gives rise to 6 different paradefinite Ivlev-like modal logics, each one of them characterized by a 6-valued Nmatrix, and conservatively extending the original modal logic and IDM4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {IDM}4$$\end{document}. This important feature allows to consider the proposed construction as a genuine technique for combining logics. In addition, it is possible to define in the combined logics a classicality operator in the sense of logics of evidence and truth (LETs). A sound and complete Hilbert-style axiomatization is also presented for the 6 combined systems, as well as a Prolog program which implements the swap structures semantics for the 6 systems, producing a decision procedure for satisfiability, refutability and validity of formulas in these logics.

The aim of this paper is to give the first steps towards the formal study of swap structures, which are non-deterministic matrices (Nmatrices) defined over tuples of 0–1 truth values generalizing the notion of twist structures. To do this, a precise notion of clauses which axiomatize bivaluation semantics is proposed. From this specification, a swap structure is naturally induced. This formalization allows to define the combination by fibring of two given logics described by swap structures generated by clauses in a very simple way, by gathering together the formal specifications of both swap structures. We provide simple sufficient conditions to guarantee the preservation by fibring of soundness and completeness w.r.t. Hilbert calculi naturally defined from the clauses, as well as to prove that the fibring is a conservative expansion of both logics. As application examples of this technique, the combination by fibring of some non-normal Ivlev-like modal logics with paraconsistent logics in the class of logics of formal inconsistency (LFIs) are obtained, producing so several paraconsistent modal logics, each of them decidable by a single 6-valued Nmatrix. As expected, the fibring (union) of the respective Hilbert calculi provides a sound and complete axiomatization of the combined logics. More than this, the fibring is the least conservative expansion of the given logics. This technique opens interesting perspectives for combining logics characterized by finite Nmatrices represented by swap structures.

Ecumenical logic aims to peacefully join classical and intuitionistic logic systems, allowing for reasoning about both classical and intuitionistic statements. This paper presents a semantic tableau for propositional ecumenical logic and proves its soundness and completeness concerning Ecumenical Kripke models. We introduce the Ecumenical Propositional Tableau (ET\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E_T$$\end{document}) and demonstrate its effectiveness in handling mixed statements.

Tetravalent modal logic (TML) was introduced by Font and Rius in 2000. It is an expansion of the Belnap-Dunn four-valued logic FOUR, a logical system that is well-known for the many applications found in several fields. Besides, TML is the logic that preserves degrees of truth with respect to Monteiro’s tetravalent modal algebras. Among other things, Font and Rius showed that TML has a strongly adequate sequent system, but unfortunately this system does not enjoy the cut-elimination property. However, in a previous work we presented a sequent system for TML with the cut-elimination property. Besides, in this same work, it was also presented a sound and complete natural deduction system for this logic. In the present article we continue with the study of TML under a proof-theoretic perspective. In the first place, we show that the natural deduction system that we introduced before admits a normalization theorem. In the second place, taking advantage of the contrapositive implication for the tetravalent modal algebras introduced by A. V. Figallo and P. Landini, we define a decidable tableau system adequate to check validity in the logic TML. Finally, we provide a sound and complete tableau system for TML in the original language. These two tableau systems constitute new (proof-theoretic) decision procedures for checking validity in the variety of tetravalent modal algebras.

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras.

It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (\(\textit{CABA}\)s) taking a set to its power-set and, conversely, a complete, atomic Boolean algebra to its set of atomic elements. Of course, such a correspondence induces an equivalence between the opposite category of \(\textbf{Set}\) and the category of \(\textit{CABA}\)s. We modify this result by taking multialgebras over a signature \(\Sigma\), specifically those whose non-deterministic operations cannot return the empty-set, to \(\textit{CABA}\)s with their zero element removed (which we call a \(\textit{bottomless Boolean algebra}\)) equipped with a structure of \(\Sigma\)-algebra compatible with its order (that we call \(\textit{ord-algebras}\)). Conversely, an ord-algebra over \(\Sigma\) is taken to its set of atomic elements equipped with a structure of multialgebra over \(\Sigma\). This leads to an equivalence between the category of \(\Sigma\)-multialgebras and the category of ord-algebras over \(\Sigma\). The intuition, here, is that if one wishes to do so, non-determinism may be replaced by a sufficiently rich ordering of the underlying structures.

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in exploring the foundations of multialgebras applied to the study of logic systems. It is well known from universal algebra that, for every signature \, there exist algebras over \ which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of \-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms. Equivalently, the forgetful functor, from the category of \-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor \, from the category of \-multialgebras to Set, does not have a left adjoint. In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices, there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that \ does not have a left adjoint.

The aim of this article is to generalize logics of formal inconsistency (LFIs) to systems dealing with the concept of incompatibility, expressed by means of a binary connective. The basic idea is that having two incompatible formulas to hold trivializes a deduction, and as a special case, a formula becomes consistent (in the sense of LFIs) when it is incompatible with its own negation. We show how this notion extends that of consistency in a non-trivial way, presenting conservative translations for many simple LFIs into some of the most basic logics of incompatibility, thereby evidencing in a precise way how the notion of incompatibility generalizes that of consistency. We provide semantics for the new logics, as well as decision procedures, based on restricted non-deterministic matrices. The use of non-deterministic semantics with restrictions is justified by the fact that, as proved here, these systems are not algebraizable according to Blok-Pigozzi nor are they characterizable by finite Nmatrices. Finally, we briefly compare our logics to other systems focused on treating incompatibility, specially those pioneered by Brandom and further developed by Peregrin.

In 2016, Béziau introduces a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws $\varphi,\neg \varphi \vdash \psi$ and $\vdash \neg (\varphi \wedge \neg \varphi)$. In that paper, the author analyzes, among the three-valued logics, which of them satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above-mentioned are $\vdash \varphi, \neg \varphi$ and $\neg (\varphi \vee \neg \varphi) \vdash$. We call genuine paracomplete logics those rejecting the mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics. A very natural twist structures semantics for these logics is also found in a systematic way. This semantics produces automatically a simple and elegant Hilbert-style characterization for all these logics. Finally, we introduce the logic LGP which is genuine paracomplete is not genuine paraconsistent, not even paraconsistent and cannot be characterized by a single finite logical matrix.

This paper introduces the logic _Q__L__E__T_ _F_, a quantified extension of the logic of evidence and truth _L__E__T_ _F_, together with a corresponding sound and complete first-order non-deterministic valuation semantics. _L__E__T_ _F_ is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment (_FDE_) with a classicality operator ∘ and a non-classicality operator ∙, dual to each other: while ∘_A_ entails that _A_ behaves classically, ∙_A_ follows from _A_’s violating some classically valid inferences. The semantics of _Q__L__E__T_ _F_ combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin’s method. By providing sound and complete semantics for first-order extensions of _FDE_, _K3_, and _LP_, we show how these tools, which we call here the method of _anti-extensions + valuations_, can be naturally applied to a number of non-classical logics.

In this paper we study intermediate logics between the logic G≤∼, the degree preserving companion of Gödel fuzzy logic with involution G∼ and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts G≤n∼. Although G≤∼ and G≤ are explosive w.r.t. Gödel negation ¬, they are paraconsistent w.r.t. the involutive negation ∼. We introduce the notion of saturated paraconsistency, a weaker notion than ideal paraconsistency, and we fully characterize the ideal and the saturated paraconsistent logics between G≤n∼ and CPL. We also identify a large family of saturated paraconsistent logics in the family of intermediate logics for degree-preserving finite-valued Łukasiewicz logics.

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained.

In a previous article we introduced the concept of restricted Nmatrices (in short, RNmatrices), which generalize non-deterministic (in short, Nmatrices) in the following sense: a RNmatrix is a Nmatrix together with a subset of valuations over it, from which the consequence relation is defined. Within this semantical framework we have characterized each paraconsistent logic Cn in the hierarchy of da Costa by means of a (n+2)-valued RNmatrix, which also provides a relatively simple decision procedure for each calculus (recalling that C1 cannot be characterized by a single finite Nmatrix). In this paper we extend such RNmatrices for Cn by means of what we call restricted swap-structures over arbitrary Boolean algebras, obtaining so a class of non-deterministic semantical structures which characterizes da Costa's systems. We give a brief algebraic and combinatorial description of the elements of the underlying RNmatrices. Finally, by presenting a notion of category of RNmatrices, we show that the category of RNmatrices for Cn is in fact isomorphic to the category of non-trivial Boolean algebras.

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n.

We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, our framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory.

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, we propose even weaker systems, by eliminating both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them.

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: |$\ast x=x\odot x$|⁠, where |$\odot $| is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form |$n+1$| where |$n$| belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations.