Volume 100; Issue 1-2

Main
Studia Logica
Volume 100; Issue 1-2

Studia Logica

Volume 100; Issue 1-2

1

Topological Proofs of Some Rasiowa-Sikorski Lemmas

Robert Goldblatt

Journal:

Year:

2012

Language:

english

File:

PDF, 223 KB

english, 2012

2

Impugning Randomness, Convincingly

Yuri Gurevich, Grant Olney Passmore

Journal:

Year:

2012

Language:

english

File:

PDF, 252 KB

english, 2012

3

Priestley Duality for Bilattices

A. Jung, U. Rivieccio

Journal:

Year:

2012

Language:

english

File:

PDF, 284 KB

english, 2012

4

The Dual Adjunction between MV-algebras and Tychonoff Spaces

Vincenzo Marra, Luca Spada

Journal:

Year:

2012

Language:

english

File:

PDF, 323 KB

english, 2012

5

Effective Cut-elimination for a Fragment of Modal mu-calculus

Journal:

Year:

2012

Language:

english

File:

PDF, 169 KB

english, 2012

6

Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation

Franco Montagna

Journal:

Year:

2012

Language:

english

File:

PDF, 313 KB

english, 2012

7

BK-lattices. Algebraic Semantics for Belnapian Modal Logics

Sergei P. Odintsov, E. I. Latkin

Journal:

Year:

2012

Language:

english

File:

PDF, 239 KB

english, 2012

8

Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics

Journal:

Year:

2012

Language:

english

File:

PDF, 250 KB

english, 2012

9

Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle

Dmitrij Skvortsov

Journal:

Year:

2012

Language:

english

File:

PDF, 298 KB

english, 2012

10

Dynamic Modalities

Dimiter Vakarelov

Journal:

Year:

2012

Language:

english

File:

PDF, 197 KB

english, 2012

11

Students of Leo Esakia

Journal:

Year:

2012

Language:

english

File:

PDF, 103 KB

english, 2012

12

The Second Incompleteness Theorem and Bounded Interpretations

Journal:

Year:

2012

Language:

english

File:

PDF, 267 KB

english, 2012

13

Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic

Francisco Zapata, Vladik Kreinovich

Journal:

Year:

2012

Language:

english

File:

PDF, 219 KB

english, 2012

14

The Ontology of Justifications in the Logical Setting

Sergei N. Artemov

Journal:

Year:

2012

Language:

english

File:

PDF, 199 KB

english, 2012

15

Sahlqvist Correspondence for Modal mu-calculus

Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson

Journal:

Year:

2012

Language:

english

File:

PDF, 328 KB

english, 2012

16

Extendible Formulas in Two Variables in Intuitionistic Logic

Nick Bezhanishvili, Dick de Jongh

Journal:

Year:

2012

Language:

english

File:

PDF, 287 KB

english, 2012

17

Frontal Operators in Weak Heyting Algebras

Sergio A. Celani, Hernán J. San Martín

Journal:

Year:

2012

Language:

english

File:

PDF, 277 KB

english, 2012

18

Not Every Splitting Heyting or Interior Algebra is Finitely Presentable

Journal:

Year:

2012

Language:

english

File:

PDF, 318 KB

english, 2012

19

Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras

B. A. Davey, H. A. Priestley

Journal:

Year:

2012

Language:

english

File:

PDF, 272 KB

english, 2012

20

Fatal Heyting Algebras and Forcing Persistent Sentences

Leo Esakia, Benedikt Löwe

Journal:

Year:

2012

Language:

english

File:

PDF, 200 KB

english, 2012

21

Foreword

Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema

Journal:

Year:

2012

Language:

english

File:

PDF, 142 KB

english, 2012

22

Dedicated to the Memory of Leo Esakia || Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle

Dmitrij Skvortsov

Journal:

Year:

2012

Language:

english

File:

PDF, 1.76 MB

english, 2012

23

Dedicated to the Memory of Leo Esakia || Topological Proofs of Some Rasiowa-Sikorski Lemmas

Robert Goldblatt

Journal:

Year:

2012

Language:

english

File:

PDF, 1.27 MB

english, 2012

24

Dedicated to the Memory of Leo Esakia || Extendible Formulas in Two Variables in Intuitionistic Logic

Nick Bezhanishvili and Dick de Jongh

Journal:

Year:

2012

Language:

english

File:

PDF, 2.09 MB

english, 2012

25

Dedicated to the Memory of Leo Esakia || Dynamic Modalities

Dimiter Vakarelov

Journal:

Year:

2012

Language:

english

File:

PDF, 1006 KB

english, 2012

26

Dedicated to the Memory of Leo Esakia || The Ontology of Justifications in the Logical Setting

Sergei N. Artemov

Journal:

Year:

2012

Language:

english

File:

PDF, 984 KB

english, 2012

27

Dedicated to the Memory of Leo Esakia || Foreword

Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici and Yde Venema

Journal:

Year:

2012

Language:

english

File:

PDF, 1012 KB

english, 2012

28

Dedicated to the Memory of Leo Esakia || The Dual Adjunction between MV-algebras and Tychonoff Spaces

Vincenzo Marra and Luca Spada

Journal:

Year:

2012

Language:

english

File:

PDF, 1.89 MB

english, 2012

29

Dedicated to the Memory of Leo Esakia || Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras

B.A. Davey and H.A. Priestley

Journal:

Year:

2012

Language:

english

File:

PDF, 2.10 MB

english, 2012

30

Dedicated to the Memory of Leo Esakia || Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics

Journal:

Year:

2012

Language:

english

File:

PDF, 1.67 MB

english, 2012

31

Dedicated to the Memory of Leo Esakia || Effective Cut-elimination for a Fragment of Modal mu-calculus

Journal:

Year:

2012

Language:

english

File:

PDF, 619 KB

english, 2012

32

Dedicated to the Memory of Leo Esakia || Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation

Franco Montagna

Journal:

Year:

2012

Language:

english

File:

PDF, 2.20 MB

english, 2012

33

Dedicated to the Memory of Leo Esakia || Priestley Duality for Bilattices

Achim Jung and Umberto Rivieccio

Journal:

Year:

2012

Language:

english

File:

PDF, 2.17 MB

english, 2012

34

Dedicated to the Memory of Leo Esakia || Sahlqvist Correspondence for Modal mu-calculus

Johan van Benthem, Nick Bezhanishvili and Ian Hodkinson

Journal:

Year:

2012

Language:

english

File:

PDF, 2.24 MB

english, 2012

35

Dedicated to the Memory of Leo Esakia || Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic

F. Zapata and V. Kreinovich

Journal:

Year:

2012

Language:

english

File:

PDF, 1.29 MB

english, 2012

36

Dedicated to the Memory of Leo Esakia || Students of Leo Esakia

Journal:

Year:

2012

Language:

english

File:

PDF, 152 KB

english, 2012

37

Dedicated to the Memory of Leo Esakia || Not Every Splitting Heyting or Interior Algebra is Finitely Presentable

Journal:

Year:

2012

Language:

english

File:

PDF, 1.50 MB

english, 2012

38

Dedicated to the Memory of Leo Esakia || Fatal Heyting Algebras and Forcing Persistent Sentences

Leo Esakia and Benedikt Löwe

Journal:

Year:

2012

Language:

english

File:

PDF, 861 KB

english, 2012

39

Dedicated to the Memory of Leo Esakia || The Second Incompleteness Theorem and Bounded Interpretations

Journal:

Year:

2012

Language:

english

File:

PDF, 1.38 MB

english, 2012

40

Dedicated to the Memory of Leo Esakia || Impugning Randomness, Convincingly

Yuri Gurevich and Grant O. Passmore

Journal:

Year:

2012

Language:

english

File:

PDF, 2.33 MB

english, 2012

41

Dedicated to the Memory of Leo Esakia || Frontal Operators in Weak Heyting Algebras

Sergio A. Celani and Hernán J. San Martín

Journal:

Year:

2012

Language:

english

File:

PDF, 1.73 MB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски