ka | en
Company Slogan TODO

Algebraic Analysis of Temporal Intuitionistic Logic

Author: Phridoni Alshibaia
Keywords: Intuitionistic logic, Heyting algebras, Esakia space, duality

Temporal intuitionistic logic is enrichment of intuitionistic propositional calculus with modalities. We investigate corresponding algebraic and topological models.

Web Development by WebDevelopmentQuote.com
Design downloaded from Free Templates - your source for free web templates
Supported by Hosting24.com