scientific article; zbMATH DE number 1416396

zbMath0941.03066MaRDI QIDQ4943495

Tomasz Kowalski

Publication date: 31 July 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

subvarietylattice of subvarietiesatomsKripke framesdiscriminator varietiessimple algebrasvariety of tense algebrasvarieties of Boolean algebras with operators

Mathematics Subject Classification ID

Lattices of varieties (08B15) Other algebras related to logic (03G25) Temporal logic (03B44)

Related Items (20)

On tense MV-algebras ⋮ On independent varieties and some related notions ⋮ Subdirectly irreducible IKt-algebras ⋮ Tense Operators on BL-algebras and Their Applications ⋮ Unnamed Item ⋮ On Heyting algebras with negative tense operators ⋮ An algebraic axiomatization of the Ewald's intuitionistic tense logic ⋮ Tense logic based on finite orthomodular posets ⋮ Partial tense MV-algebras and related functions ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ A Topological Approach to Tense LMn×m-Algebras ⋮ Uniform interpolation and coherence ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Principal and Boolean congruences on \(IKt\)-algebras ⋮ The power of a propositional constant ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras ⋮ A categorical equivalence for tense Nelson algebras ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

This page was built for publication: