Algebraic axiomatization of tense intuitionistic logic
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
De Gruyter
2011-10-01
|
| Series: | Open Mathematics |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/s11533-011-0063-6 |