- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A Categorical Equivalence for Tense Nelson Algebras
Studia Logica 110 (1):241-263 (2021)
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.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).
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.
Tense Operators on Distributive Lattices with Implication.Gustavo Pelaitay & William Zuluaga - 2023 - Studia Logica 111 (4):687-708.
Analytics
Added to PP
2021-08-25
Downloads
16 (#904,551)
6 months
10 (#383,634)
2021-08-25
Downloads
16 (#904,551)
6 months
10 (#383,634)
Historical graph of downloads
Citations of this work
Discrete Duality for Nelson Algebras with Tense Operators.Aldo V. Figallo, Gustavo Pelaitay & Jonathan Sarmiento - 2023 - Studia Logica 111 (1):1-19.
References found in this work
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-xdvnm uwo