A Categorical Equivalence for Tense Nelson Algebras

, &
Studia Logica 110 (1):241-263 (2021)
  Copy   BIBTEX

Abstract

In this paper we present a category equivalent to that of tense Nelson algebras. The objects in this new category are pairs consisting of an IKt-algebra and a Boolean IKt-congruence and the morphisms are a special kind of IKt-homomorphisms. This categorical equivalence permits understanding tense Nelson algebras in terms of the better–known IKt-algebras.

Categories

Keywords

Reprint years

2022

DOI

10.1007/s11225-021-09960-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - 2020 - Studia Logica 109 (2):285-312.
A Topological Approach to Tense LMn×m-Algebras.Aldo V. Figallo, Inés Pascual & Gustavo Pelaitay - 2020 - Bulletin of the Section of Logic 49 (1).
Tense Operators on BL-algebras and its Applications.Akbar Paad - forthcoming - Bulletin of the Section of Logic.
Subdirectly Irreducible IKt-Algebras.Aldo V. Figallo, Inés Pascual & Gustavo Pelaitay - 2017 - Studia Logica 105 (4):673-701.
Categorical Equivalence Between $$\varvec{PMV}{\varvec{f}}$$ PMV f -Product Algebras and Semi-Low $$\varvec{f}{\varvec{u}}$$ f u -Rings.Lilian J. Cruz & Yuri A. Poveda - 2019 - Studia Logica 107 (6):1135-1158.
Categorical Equivalence Between $$\varvec{PMV}{\varvec{f}}$$ PMV f -Product Algebras and Semi-Low $$\varvec{f}{\varvec{u}}$$ f u -Rings.Lilian J. Cruz & Yuri A. Poveda - 2019 - Studia Logica 107 (6):1135-1158.
A Categorical Equivalence for Product Algebras.Franco Montagna & Sara Ugolini - 2015 - Studia Logica 103 (2):345-373.
A Categorical Equivalence Motivated by Kalman’s Construction.Marta S. Sagastume & Hernán J. San Martín - 2016 - Studia Logica 104 (2):185-208.
Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras.Aldo V. Figallo & Gustavo Pelaitay - 2015 - Bulletin of the Section of Logic 44 (3/4):155-181.
A topological duality for tense $\boldsymbol{LM_n}$-algebras and applications1.Aldo V. Figallo, Inés Pascual & Gustavo Pelaitay - 2018 - Logic Journal of the IGPL 26 (4):339-380.
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras.Juan Manuel Cornejo & Hernán Javier San Martín - 2018 - Logic Journal of the IGPL 26 (4):408-428.
Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras.Hector Freytes - 2010 - Studia Logica 95 (1-2):63 - 80.
On a Definition of a Variety of Monadic ℓ-Groups.José Luis Castiglioni, Renato A. Lewin & Marta Sagastume - 2014 - Studia Logica 102 (1):67-92.
Yosida Type Representation for Perfect MV-Algebras.Lawrence Belluce & Antonio di Nola - 1996 - Mathematical Logic Quarterly 42 (1):551-563.
Yosida Type Representation for Perfect MV‐Algebras.Lawrence P. Belluce & Antonio Di Nola - 1996 - Mathematical Logic Quarterly 42 (1):551-563.

Analytics

Added to PP
2021-08-25

Downloads
15 (#948,046)

6 months
10 (#269,192)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.

View all 15 references / Add more references