The following pages link to (Q5734410):
Displaying 50 items.
- A new approach for classification of filters in residuated lattices (Q277573) (← links)
- Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices (Q279337) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- Matching topological and frame products of modal logics (Q295921) (← links)
- Compact Hausdorff Heyting algebras (Q334967) (← links)
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- Funayama's theorem revisited (Q387628) (← links)
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Intuitionistic logic and Muchnik degrees (Q412013) (← links)
- Fine hierarchies via Priestley duality (Q424549) (← links)
- Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (Q427238) (← links)
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- Fatal Heyting algebras and forcing persistent sentences (Q454370) (← links)
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Topological proofs of some Rasiowa-Sikorski lemmas (Q454394) (← links)
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- First order \(S4\) and its measure-theoretic semantics (Q476117) (← links)
- The semi Heyting-Brouwer logic (Q495844) (← links)
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Axioms for a theory of semantic equivalence (Q580325) (← links)
- Epistemic and intuitionistic formal systems (Q580343) (← links)
- Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets (Q581388) (← links)
- Commutative algebra in the Mizar system (Q597122) (← links)
- Propositional logic for topology-like matrices: A calculus with restricted substitution (Q599051) (← links)
- Joint consistency in extensions of the minimal logic (Q606053) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- The quasi-lattice of indiscernible elements (Q631517) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Semi-metrics, closure spaces and digital topology (Q671997) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- The logical representation of extensive games (Q687063) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
- An algebraic approach to linguistic hedges in Zadeh's fuzzy logic (Q698828) (← links)
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- Dynamic topological logic (Q705534) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- Dynamic measure logic (Q714709) (← links)
- The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
