Principal and Boolean congruences on \(IKt\)-algebras
type: Item
instance of: scholarly article
title: Principal and Boolean congruences on \(IKt\)-algebras
zbMATH Open document ID: 1437.06011
author: Aldo V. Figallo
author: Inés Pascual
author: Gustavo Pelaitay
published in: Studia Logica
publication date: 2018-10-02T00:00:00Z
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 06B10
zbMATH DE Number: 6946466
zbMATH Keywords: Heyting algebras
zbMATH Keywords: tense operators
zbMATH Keywords: IKt-algebras
zbMATH Keywords: Boolean congruences
zbMATH Keywords: principal congruences
MaRDI profile type: Publication
full work available at URL: s11225-017-9770-8
OpenAlex ID: W2786337778
cites work: Q4083730
cites work: Q5532570
cites work: Tense operators on basic algebras
cites work: On tense MV-algebras
cites work: Q4342094
cites work: Q3934450
cites work: Q5293965
cites work: Algebraic approach to tense operators
cites work: Algebraic axiomatization of tense intuitionistic logic
cites work: Dynamic effect algebras and their representations
cites work: Dynamic order algebras as an axiomatization of modal and tense logics
cites work: Dynamic effect algebras
cites work: Q5389310
cites work: Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras
cites work: Q5445179
cites work: Characterizing intermediate tense logics in terms of Galois connections
cites work: Q4049062
cites work: Intuitionistic tense and modal logic
cites work: A representation theorem for tense $n\times m$-valued Łukasiewicz-Moisil algebras
cites work: Discrete duality for tense Łukasiewicz-Moisil algebras
cites work: Tense SHn--algebras
cites work: DISCRETE DUALITY FOR TSH-ALGEBRAS
cites work: Q5413332
cites work: Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras
cites work: Tense operators on De Morgan algebras
cites work: An algebraic axiomatization of the Ewald's intuitionistic tense logic
cites work: Subdirectly irreducible IKt-algebras
cites work: Q3965241
cites work: Q4943495
cites work: Q4215784
cites work: Modes of adjointness
cites work: Operators on MV-algebras and their representations.
cites work: Representation of Distributive Lattices by means of ordered Stone Spaces
cites work: Ordered Topological Spaces and the Representation of Distributive Lattices
cites work: Q3222242
DOI: 10.1007/S11225-017-9770-8
description: scientific article; zbMATH DE number 6946466