Discrete Duality for Nelson Algebras with Tense Operators

Studia Logica 111 (1):1-19 (2023)
  Copy   BIBTEX

Abstract

In this paper, we continue with the study of tense operators on Nelson algebras (Figallo et al. in Studia Logica 109(2):285–312, 2021, Studia Logica 110(1):241–263, 2022). We define the variety of algebras, which we call tense Nelson D-algebras, as a natural extension of tense De Morgan algebras (Figallo and Pelaitay in Logic J IGPL 22(2):255–267, 2014). In particular, we give a discrete duality for these algebras. To do this, we will extend the representation theorems for Nelson algebras given in Sendlewski (Studia Logica 43(3):257–280, 1984) to the tense case.

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Tense Operators on BL-algebras and its Applications.Akbar Paad - forthcoming - Bulletin of the Section of Logic.
Tense Operators on BL-algebras and Their Applications.Akbar Paad - 2021 - Bulletin of the Section of Logic 50 (3):299-324.
Tense operators on De Morgan algebras.A. V. Figallo & G. Pelaitay - 2014 - Logic Journal of the IGPL 22 (2):255-267.
Ockham Algebras with Additional Operators.Aldo Figallo, Paolo Landini & Alicia Zillani - 2004 - Logic Journal of the IGPL 12 (6):447-459.
Remarks on Heyting algebras with tense operators.A. V. Figallo & G. Pelaitay - 2012 - Bulletin of the Section of Logic 41 (1/2):71-74.
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.

Analytics

Added to PP
2022-09-22

Downloads
18 (#803,961)

6 months
7 (#411,145)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Tense operators on De Morgan algebras.A. V. Figallo & G. Pelaitay - 2014 - Logic Journal of the IGPL 22 (2):255-267.

View all 9 references / Add more references