DISCRETE DUALITY FOR TSH-ALGEBRAS

DOI10.4134/CKMS.2012.27.1.047zbMath1259.03087arXiv1203.5427OpenAlexW2051016699MaRDI QIDQ3223839

Gustavo Pelaitay, Aldo V. Figallo, Claudia A. Sanza

Publication date: 8 March 2012

Published in: Communications of the Korean Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.5427

zbMATH Keywords

framestense operatorsdiscrete dualitytense symmetric Heyting algebras

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Other algebras related to logic (03G25) Temporal logic (03B44)

Related Items (6)

Tense operators in fuzzy logic ⋮ Subdirectly irreducible IKt-algebras ⋮ Duality results for (co)residuated lattices ⋮ An algebraic axiomatization of the Ewald's intuitionistic tense logic ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Principal and Boolean congruences on \(IKt\)-algebras

This page was built for publication: DISCRETE DUALITY FOR TSH-ALGEBRAS