Pages that link to "Item:Q894527"
From MaRDI portal
The following pages link to An algebraic axiomatization of the Ewald's intuitionistic tense logic (Q894527):
Displayed 9 items.
- Subdirectly irreducible IKt-algebras (Q1680513) (← links)
- Principal and Boolean congruences on \(IKt\)-algebras (Q1790608) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- On the finite model property of weak intuitionistic tense logic (Q2148830) (← links)
- A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras (Q2318247) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- On Heyting algebras with negative tense operators (Q6067747) (← links)
- Tense operators on distributive lattices with implication (Q6115855) (← links)