Natural Deduction for Dual-intuitionistic Logic Luca Tranchini OriginalPaper 20 June 2012 Pages: 631 - 648
Dual Choice and Iteration in an Abstract Algebra of Action Kim Solin OriginalPaper 20 June 2012 Pages: 607 - 630
Conditioning and Interpretation Shifts Jan-Willem Romeijn OriginalPaper Open access 20 June 2012 Pages: 583 - 606
Importing Logics João RasgaAmílcar SernadasCristina Sernadas OriginalPaper 20 June 2012 Pages: 545 - 581
Revising Carnap’s Semantic Conception of Modality Toby Meadows OriginalPaper 20 June 2012 Pages: 497 - 515
Computable Isomorphisms of Boolean Algebras with Operators Bakhadyr KhoussainovTomasz Kowalski OriginalPaper 20 June 2012 Pages: 481 - 496
Interrogative Belief Revision Based on Epistemic Strategies Sebastian Enqvist OriginalPaper 20 June 2012 Pages: 453 - 479
Finite Cardinals in Quasi-set Theory Jonas R. Becker Arenhart OriginalPaper 20 June 2012 Pages: 437 - 452
Systems of Quantum Logic Satoko TitaniHeiji KoderaHiroshi Aoyama OriginalPaper 12 June 2012 Pages: 193 - 217
Importing Logics: Soundness and Completeness Preservation J. RasgaA. SernadasC. Sernadas OriginalPaper 12 June 2012 Pages: 117 - 155
Finite Basis Problem for Semigroups of Order Five or Less: Generalization and Revisitation Edmond W. H. Lee OriginalPaper 12 June 2012 Pages: 95 - 115
Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring Marcel JacksonBelinda Trotta OriginalPaper 12 June 2012 Pages: 65 - 94
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras Eduardo J. DubucYuri Poveda BriefCommunication 12 June 2012 Pages: 483 - 485
Are There Enough Injective Sets? Peter AczelBenno van den BergPeter Schuster OriginalPaper 12 June 2012 Pages: 467 - 482
Fatal Heyting Algebras and Forcing Persistent Sentences Leo EsakiaBenedikt Löwe OriginalPaper Open access 12 February 2012 Pages: 163 - 173
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic Francisco ZapataVladik Kreinovich OriginalPaper 11 February 2012 Pages: 419 - 435
The Second Incompleteness Theorem and Bounded Interpretations Albert Visser OriginalPaper 09 February 2012 Pages: 399 - 418
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle Dmitrij Skvortsov OriginalPaper 09 February 2012 Pages: 361 - 383
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics Hiroakira Ono OriginalPaper 09 February 2012 Pages: 339 - 359
BK-lattices. Algebraic Semantics for Belnapian Modal Logics Sergei P. OdintsovE. I. Latkin OriginalPaper 09 February 2012 Pages: 319 - 338
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation Franco Montagna OriginalPaper 09 February 2012 Pages: 289 - 317
Effective Cut-elimination for a Fragment of Modal mu-calculus Grigori Mints OriginalPaper 09 February 2012 Pages: 279 - 287
The Dual Adjunction between MV-algebras and Tychonoff Spaces Vincenzo MarraLuca Spada OriginalPaper 09 February 2012 Pages: 253 - 278
Impugning Randomness, Convincingly Yuri GurevichGrant Olney Passmore OriginalPaper 09 February 2012 Pages: 193 - 222
Topological Proofs of Some Rasiowa-Sikorski Lemmas Robert Goldblatt OriginalPaper 09 February 2012 Pages: 175 - 191
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras B. A. DaveyH. A. Priestley OriginalPaper 09 February 2012 Pages: 137 - 161
Extendible Formulas in Two Variables in Intuitionistic Logic Nick BezhanishviliDick de Jongh OriginalPaper 09 February 2012 Pages: 61 - 89
Sahlqvist Correspondence for Modal mu-calculus Johan van BenthemNick BezhanishviliIan Hodkinson OriginalPaper 09 February 2012 Pages: 31 - 60
The Ontology of Justifications in the Logical Setting Sergei N. Artemov OriginalPaper 09 February 2012 Pages: 17 - 30
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable Alex Citkin OriginalPaper 08 February 2012 Pages: 115 - 135
Frontal Operators in Weak Heyting Algebras Sergio A. CelaniHernán J. San Martín OriginalPaper 05 February 2012 Pages: 91 - 114
Synchronized Linear-Time Temporal Logic Heinrich WansingNorihiro Kamide OriginalPaper 31 August 2011 Article: 365
Consequence and Interpolation in Łukasiewicz Logic Daniele Mundici OriginalPaper 31 August 2011 Article: 269
Grishin Algebras and Cover Systems for Classical Bilinear Logic Robert Goldblatt OriginalPaper 31 August 2011 Article: 203
Leibniz-linked Pairs of Deductive Systems Josep Maria FontRamon Jansana OriginalPaper 31 August 2011 Article: 171
Discrete Dualities for Double Stone Algebras Ivo DüntschEwa Orłowska OriginalPaper 31 August 2011 Article: 127
Best Unifiers in Transitive Modal Logics Vladimir V. Rybakov OriginalPaper 25 August 2011 Article: 321
Interpolation and Definability over the Logic Gl Larisa Maksimova OriginalPaper 25 August 2011 Article: 249
