96 research outputs found
Free three-valued Closure Lukasiewicz Algebras
In this paper, the structure of finitely generated free objects in the variety of three-valued closure Lukasiewicz algebras is determined. We describe their indecomposable factors and we give their cardinality.Fil: Abad, Manuel. Universidad Nacional del Sur. Departamento de Matemática; ArgentinaFil: DÃaz Varela, José Patricio. Consejo Nacional de Investigaciones CientÃficas y Técnicas. Centro CientÃfico Tecnológico Conicet - BahÃa Blanca. Instituto de Matemática BahÃa Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática BahÃa Blanca; ArgentinaFil: Rueda, Laura Alicia. Universidad Nacional del Sur. Departamento de Matemática; ArgentinaFil: SuardÃaz, Ana MarÃa. Universidad Nacional del Sur. Departamento de Matemática; Argentin
Adding an Implication to Logics of Perfect Paradefinite Algebras
Perfect paradefinite algebras are De Morgan algebras expanded with a
perfection (or classicality) operation. They form a variety that is
term-equivalent to the variety of involutive Stone algebras. Their associated
multiple-conclusion (Set-Set) and single-conclusion (Set-Fmla) order-preserving
logics are non-algebraizable self-extensional logics of formal inconsistency
and undeterminedness determined by a six-valued matrix, studied in depth by
Gomes et al. (2022) from both the algebraic and the proof-theoretical
perspectives. We continue hereby that study by investigating directions for
conservatively expanding these logics with an implication connective
(essentially, one that admits the deduction-detachment theorem). We first
consider logics given by very simple and manageable non-deterministic semantics
whose implication (in isolation) is classical. These, nevertheless, fail to be
self-extensional. We then consider the implication realized by the relative
pseudo-complement over the six-valued perfect paradefinite algebra. Our
strategy is to expand such algebra with this connective and study the
(self-extensional) Set-Set and Set-Fmla order-preserving logics, as well as the
T-assertional logics of the variety induced by the new algebra. We provide
axiomatizations for such new variety and for such logics, drawing parallels
with the class of symmetric Heyting algebras and with Moisil's `symmetric modal
logic'. For the Set-Set logic, in particular, the axiomatization we obtain is
analytic. We close by studying interpolation properties for these logics and
concluding that the new variety has the Maehara amalgamation property
Discriminator logics (Research announcement)
A discriminator logic is the 1-assertional logic of a discriminator variety V having two constant terms 0 and 1 such that V ⊨ 0 1 iff every member of V is trivial. Examples of such logics abound in the literature. The main result of this research announcement asserts that a certain non-Fregean deductive system SBPC, which closely resembles the classical propositional calculus, is canonical for the class of discriminator logics in the sense that any discriminator logic S can be presented (up to definitional equivalence) as an axiomatic extension of SBPC by a set of extensional logical connectives taken from the language of S. The results outlined in this research announcement are extended to several generalisations of the class of discriminator logics in the main work
Why most papers on filters are really trivial (including this one)
The aim of this note is to show that many papers on various kinds of filters (and related concepts) in (subreducts of) residuated structures are in fact easy consequences of more general results that have been known for a long time
- …