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):
Displaying 15 items.
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- Subdirectly irreducible IKt-algebras (Q1680513) (← links)
- Principal and Boolean congruences on \(IKt\)-algebras (Q1790608) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← 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)
- Characterizing intermediate tense logics in terms of Galois connections (Q4644502) (← links)
- (Q4797374) (← links)
- An axiomatization of ECTL (Q5406125) (← links)
- On Heyting algebras with negative tense operators (Q6067747) (← links)
- Tense operators on distributive lattices with implication (Q6115855) (← links)
- Duality via truth for some fuzzy modal logic (Q6547667) (← links)
