An algebraic axiomatization of the Ewald's intuitionistic tense logic
type: Item
instance of: scholarly article
title: An algebraic axiomatization of the Ewald's intuitionistic tense logic
zbMATH Open document ID: 1325.03018
author: Aldo V. Figallo
author: Gustavo Pelaitay
published in: Soft Computing
publication date: 2015-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 06D20
zbMATH DE Number: 6515149
zbMATH Keywords: Heyting algebras
zbMATH Keywords: tense operators
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: intuitionistic tense logic
MaRDI profile type: Publication
full work available at URL: s00500-014-1317-6
OpenAlex ID: W2122705115
cites work: Q4083730
cites work: Q5532570
cites work: Tense operators on basic algebras
cites work: Q4342094
cites work: Q5293965
cites work: Algebraic axiomatization of tense intuitionistic logic
cites work: Dynamic effect algebras and their representations
cites work: Dynamic effect algebras
cites work: Q5389310
cites work: Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras
cites work: Q5445179
cites work: Intuitionistic tense and modal logic
cites work: Tense SHn--algebras
cites work: DISCRETE DUALITY FOR TSH-ALGEBRAS
cites work: Q5413332
cites work: Tense operators on De Morgan algebras
cites work: Q3259695
cites work: Q4943495
cites work: Q3705494
cites work: Q5445172
cites work: Q5734410
DOI: 10.1007/S00500-014-1317-6
description: scientific article; zbMATH DE number 6515149