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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

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.
Principal and Boolean Congruences on $$\varvec{IKt}$$ IKt -Algebras.Aldo V. Figallo, Inés Inés Pascual & Gustavo Pelaitay - 2018 - Studia Logica 106 (4):857-882.
Subdirectly Irreducible IKt-Algebras.Aldo V. Figallo, Inés Pascual & Gustavo Pelaitay - 2017 - Studia Logica 105 (4):673-701.
Discrete Duality for Nelson Algebras with Tense Operators.Aldo V. Figallo, Gustavo Pelaitay & Jonathan Sarmiento - 2023 - Studia Logica 111 (1):1-19.
A Categorical Equivalence for Product Algebras.Franco Montagna & Sara Ugolini - 2015 - Studia Logica 103 (2):345-373.
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 Polyadic N × M-Valued Łukasiewicz–Moisil Algebras.Aldo V. Figallo & Gustavo Pelaitay - 2015 - Bulletin of the Section of Logic 44 (3/4):155-181.
Tense Operators on Distributive Lattices with Implication.Gustavo Pelaitay & William Zuluaga - 2023 - Studia Logica 111 (4):687-708.
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.
Some Results on Quasi MV-Algebras and Perfect Quasi MV-Algebras.Anatolij Dvurečenskij & Omid Zahiri - forthcoming - Studia Logica:1-37.

Analytics

Added to PP
2021-08-25

Downloads
22 (#1,050,203)

6 months
5 (#826,666)

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 16 references / Add more references