On Heyting Algebras with Negative Tense Operators

, &
Studia Logica 111 (6):1015-1036 (2023)
  Copy   BIBTEX

Abstract

In this paper, we will study Heyting algebras endowed with tense negative operators, which we call tense H-algebras and we proof that these algebras are the algebraic semantics of the Intuitionistic Propositional Logic with Galois Negations. Finally, we will develop a Priestley-style duality for tense H-algebras.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-023-10053-6

Links

PhilArchive



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

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

Discrete Duality for Nelson Algebras with Tense Operators.Aldo V. Figallo, Gustavo Pelaitay & Jonathan Sarmiento - 2023 - Studia Logica 111 (1):1-19.
Tense Operators on Distributive Lattices with Implication.Gustavo Pelaitay & William Zuluaga - 2023 - Studia Logica 111 (4):687-708.
Intuitionistic Propositional Logic with Galois Negations.Minghui Ma & Guiying Li - 2023 - Studia Logica 111 (1):21-56.
Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
Finite Trees in Tense Logic.Bellissima Fabio & Cittadini Saverio - 1999 - Studia Logica 62 (2):121-140.
Monadic $$k\times j$$ k × j -rough Heyting algebras.Federico Almiñana & Gustavo Pelaitay - 2022 - Archive for Mathematical Logic 61 (5):611-625.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
Heyting Algebras with Operators.Yasusi Hasimoto - 2001 - Mathematical Logic Quarterly 47 (2):187-196.
Double Negation Semantics for Generalisations of Heyting Algebras.Rob Arthan & Paulo Oliva - 2020 - Studia Logica 109 (2):341-365.
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.
An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - 2020 - Studia Logica 109 (2):285-312.
Remarks on Heyting algebras with tense operators.A. V. Figallo & G. Pelaitay - 2012 - Bulletin of the Section of Logic 41 (1/2):71-74.
Intuitionistic Logic is a Connexive Logic.Davide Fazio, Antonio Ledda & Francesco Paoli - 2023 - Studia Logica 112 (1):95-139.
Skolem's discovery of gödel-Dummett logic.Jan von Plato - 2003 - Studia Logica 73 (1):153 - 157.

Analytics

Added to PP
2023-06-15

Downloads
7 (#1,387,520)

6 months
5 (#639,345)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Varieties Of Tense Algebras.Tomasz Kowalski - 1998 - Reports on Mathematical Logic:53-95.

Add more references