Works matching IS 00393215 AND DT 2012 AND VI 100 AND IP 1/2
Results: 21
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 289, doi. 10.1007/s11225-012-9379-x
- By:
- Publication type:
- Article
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 115, doi. 10.1007/s11225-012-9391-1
- By:
- Publication type:
- Article
The Dual Adjunction between MV-algebras and Tychonoff Spaces.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 253, doi. 10.1007/s11225-012-9377-z
- By:
- Publication type:
- Article
Priestley Duality for Bilattices.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 223, doi. 10.1007/s11225-012-9376-0
- By:
- Publication type:
- Article
Effective Cut-elimination for a Fragment of Modal mu-calculus.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 279, doi. 10.1007/s11225-012-9378-y
- By:
- Publication type:
- Article
Frontal Operators in Weak Heyting Algebras.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 91, doi. 10.1007/s11225-012-9390-2
- By:
- Publication type:
- Article
BK-lattices. Algebraic Semantics for Belnapian Modal Logics.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 319, doi. 10.1007/s11225-012-9380-4
- By:
- Publication type:
- Article
Impugning Randomness, Convincingly.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 193, doi. 10.1007/s11225-012-9375-1
- By:
- Publication type:
- Article
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 339, doi. 10.1007/s11225-012-9381-3
- By:
- Publication type:
- Article
Sahlqvist Correspondence for Modal mu-calculus.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 31, doi. 10.1007/s11225-012-9388-9
- By:
- Publication type:
- Article
Topological Proofs of Some Rasiowa-Sikorski Lemmas.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 175, doi. 10.1007/s11225-012-9374-2
- By:
- Publication type:
- Article
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 361, doi. 10.1007/s11225-012-9382-2
- By:
- Publication type:
- Article
Extendible Formulas in Two Variables in Intuitionistic Logic.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 61, doi. 10.1007/s11225-012-9389-8
- By:
- Publication type:
- Article
The Second Incompleteness Theorem and Bounded Interpretations.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 399, doi. 10.1007/s11225-012-9385-z
- By:
- Publication type:
- Article
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 137, doi. 10.1007/s11225-012-9392-0
- By:
- Publication type:
- Article
The Ontology of Justifications in the Logical Setting.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 17, doi. 10.1007/s11225-012-9387-x
- By:
- Publication type:
- Article
Fatal Heyting Algebras and Forcing Persistent Sentences.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 163, doi. 10.1007/s11225-012-9393-z
- By:
- Publication type:
- Article
Dynamic Modalities.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 385, doi. 10.1007/s11225-012-9383-1
- By:
- Publication type:
- Article
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 419, doi. 10.1007/s11225-012-9386-y
- By:
- Publication type:
- Article
Students of Leo Esakia.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 9, doi. 10.1007/s11225-012-9384-0
- Publication type:
- Article
Foreword.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 1, doi. 10.1007/s11225-012-9394-y
- By:
- Publication type:
- Article