• Foreword

  Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici and Yde Venema

  2012, Volume 100, Numbers 1-2, Pages 1-7

  • Download PDF (142.0 KB)

• Students of Leo Esakia

  2012, Volume 100, Numbers 1-2, Pages 9-15

  • Download PDF (102.7 KB)
• Open Access

  Fatal Heyting Algebras and Forcing Persistent Sentences

  Leo Esakia and Benedikt Löwe

  2012, Volume 100, Numbers 1-2, Pages 163-173

  • Download PDF (200.4 KB)

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

  Francisco Zapata and Vladik Kreinovich

  2012, Volume 100, Numbers 1-2, Pages 419-435

  • Download PDF (218.7 KB)

• Dynamic Modalities

  Dimiter Vakarelov

  2012, Volume 100, Numbers 1-2, Pages 385-397

  • Download PDF (197.4 KB)

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

  B. A. Davey and H. A. Priestley

  2012, Volume 100, Numbers 1-2, Pages 137-161

  • Download PDF (272.1 KB)

• The Ontology of Justifications in the Logical Setting

  Sergei N. Artemov

  2012, Volume 100, Numbers 1-2, Pages 17-30

  • Download PDF (198.5 KB)

• Extendible Formulas in Two Variables in Intuitionistic Logic

  Nick Bezhanishvili and Dick de Jongh

  2012, Volume 100, Numbers 1-2, Pages 61-89

  • Download PDF (286.5 KB)

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

  Dmitrij Skvortsov

  2012, Volume 100, Numbers 1-2, Pages 361-383

  • Download PDF (298.4 KB)

• Topological Proofs of Some Rasiowa-Sikorski Lemmas

  Robert Goldblatt

  2012, Volume 100, Numbers 1-2, Pages 175-191

  • Download PDF (223.2 KB)

FAQ General info on journals and books Send us your feedback Impressum Site Map Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info