An algebraic study of tense operators on Nelson algebras
From MaRDI portal
Publication:2021568
DOI10.1007/s11225-020-09907-0OpenAlexW3014494285MaRDI QIDQ2021568
Gustavo Pelaitay, Aldo V. Figallo, J. Sarmiento
Publication date: 27 April 2021
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-020-09907-0
Related Items
Discrete duality for Nelson algebras with tense operators, A categorical equivalence for tense Nelson algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Tense operators on basic algebras
- Modes of adjointness
- Algebraic axiomatization of tense intuitionistic logic
- Nelson algebras through Heyting ones. I
- An algebraic axiomatization of the Ewald's intuitionistic tense logic
- An algebraic approach to non-classical logics
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Subdirectly irreducible IKt-algebras
- Partial tense MV-algebras and related functions
- Tense operators on non-commutative residuated lattices
- Principal and Boolean congruences on \(IKt\)-algebras
- A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras
- DISCRETE DUALITY FOR TSH-ALGEBRAS
- N-lattices and constructive logic with strong negation
- Intuitionistic tense and modal logic
- Model theory for tense logics
- Temporal algebra
- Characterizing intermediate tense logics in terms of Galois connections
- A topological duality for tense $\boldsymbol{LM_n}$-algebras and applications1
- Algebraic semantics for modal logics I
- Constructible falsity
