Pages that link to "Item:Q4644502"
From MaRDI portal
The following pages link to Characterizing intermediate tense logics in terms of Galois connections (Q4644502):
Displaying 8 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)
- A categorical equivalence for tense Nelson algebras (Q2115290) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- On Heyting algebras with negative tense operators (Q6067747) (← links)
