Discrete Duality for Tense Symmetric Heyting Algebras

Details Discrete Duality for Tense Symmetric Heyting Algebras Discrete Duality for Tense Symmetric Heyting Algebras

2012-03-24

arxiv.org/abs/1203.5427v1

Commun. Korean Math. Soc., 27 (2012), 1, 47-56

Mathematics

Logic

Scientific paper

In this article, we continue the study of tense symmetric Heyting algebras (or TSH-algebras). These algebras constitute a generalization of tense algebras. In particular, we describe a discrete duality for TSHalgebras bearing in mind the results indicated by E. Or lowska and I. Rewitzky in [E. Or lowska and I. Rewitzky, Discrete Dualities for Heyting Algebras with Operators, Fund. Inform. 81 (2007), no.1-3, 275-295.] for Heyting algebras. In addition, we introduce a propositional calculus and prove this calculus has TSH-algebras as algebraic counterpart. Finally, the duality mentioned above allowed us to show the completeness theorem for this calculus.

Affiliated with

Also associated with

No associations

Rating

Discrete Duality for Tense Symmetric Heyting Algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Discrete Duality for Tense Symmetric Heyting Algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Discrete Duality for Tense Symmetric Heyting Algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-39187