52 found

Year:

Forthcoming articles
  1. Joongol Kim (forthcoming). A Logical Foundation of Arithmetic. Studia Logica:1-32.
    The aim of this paper is to shed new light on the logical roots of arithmetic by presenting a logical framework (ALA) that takes seriously ordinary locutions like ‘at least n Fs’, ‘n more Fs than Gs’ and ‘n times as many Fs as Gs’, instead of paraphrasing them away in terms of expressions of the form ‘the number of Fs’. It will be shown that the basic concepts of arithmetic can be intuitively defined in the language of ALA, and (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Dag Westerståhl & Johan van Benthem (forthcoming). Directions in Generalized Quantifier Theory. Studia Logica.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Sergio A. Celani & Daniela Montangie (forthcoming). Hilbert Algebras with a Modal Operator $${\Diamond}$$ ◊. Studia Logica:1-24.
    A Hilbert algebra with supremum is a Hilbert algebra where the associated order is a join-semilattice. This class of algebras is a variety and was studied in Celani and Montangie (2012). In this paper we shall introduce and study the variety of \({H_{\Diamond}^{\vee}}\) -algebras, which are Hilbert algebras with supremum endowed with a modal operator \({\Diamond}\) . We give a topological representation for these algebras using the topological spectral-like representation for Hilbert algebras with supremum given in Celani and Montangie (2012). (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. William Young (forthcoming). From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices. Studia Logica:1-22.
    Much work has been done on specific instances of residuated lattices with modal operators (either nuclei or conuclei). In this paper, we develop a general framework that subsumes three important classes of modal residuated lattices: interior algebras, Abelian ℓ-groups with conuclei, and negative cones of ℓ-groups with nuclei. We then use this framework to obtain results about these three cases simultaneously. In particular, we show that a categorical equivalence exists in each of these cases. The approach used here emphasizes the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. A. M. Suardiaz A. Quantifier (forthcoming). M. Abad Varieties of Three-Valued. Studia Logica.
     
    My bibliography  
     
    Export citation  
  6. Peter Aczel, Benno van den Berg, Johan Granström & Peter Schuster (forthcoming). Are There Enough Injective Sets? Studia Logica.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. H. Arlo-Costa (forthcoming). First-Order Modal Logic', to Appear in V. Hendricks & SA Pedersen, Eds.,'40 Years of Possible Worlds', Special Issue Of. Studia Logica.
    No categories
     
    My bibliography  
     
    Export citation  
  8. Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong (forthcoming). Duality for the Logic of Quantum Actions. Studia Logica:1-25.
    In this paper we show a duality between two approaches to represent quantum structures abstractly and to model the logic and dynamics therein. One approach puts forward a “quantum dynamic frame” :2267–2282, 2005), a labelled transition system whose transition relations are intended to represent projections and unitaries on a Hilbert space. The other approach considers a “Piron lattice” , which characterizes the algebra of closed linear subspaces of a Hilbert space. We define categories of these two sorts of structures and (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. T. S. Blyth, Jie Fang & Lei-bo Wang (forthcoming). De Morgan Algebras with a Quasi-Stone Operator. Studia Logica:1-16.
    We investigate the class of those algebras (L; º, *) in which (L; º) is a de Morgan algebra, (L; *) is a quasi-Stone algebra, and the operations ${x \mapsto x^{\circ}}$ and ${x \mapsto x^{*}}$ are linked by the identity x**º = x*º*. We show that such an algebra is subdirectly irreducible if and only if its congruence lattice is either a 2-element chain or a 3-element chain. In particular, there are precisely eight non-isomorphic subdirectly irreducible Stone de Morgan algebras.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. T. S. Blyth, Jie Fang & Leibo Wang (forthcoming). On Ideals and Congruences of Distributive Demi-P-Algebras. Studia Logica:1-16.
    We identify the \({{}^\star}\) -ideals of a distributive demi-pseudocomplemented algebra L as the kernels of the boolean congruences on L, and show that they form a complete Heyting algebra which is isomorphic to the interval \({[G,\iota]}\) of the congruence lattice of L where G is the Glivenko congruence. We also show that the notions of maximal \({{}^\star}\) -ideal, prime \({{}^\star}\) -ideal, and falsity ideal coincide.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Branislav Boričić & Mirjana Ilić (forthcoming). An Alternative Normalization of the Implicative Fragment of Classical Logic. Studia Logica:1-34.
    A normalizable natural deduction formulation, with subformula property, of the implicative fragment of classical logic is presented. A traditional notion of normal deduction is adapted and the corresponding weak normalization theorem is proved. An embedding of the classical logic into the intuitionistic logic, restricted on propositional implicational language, is described as well. We believe that this multiple-conclusion approach places the classical logic in the same plane with the intuitionistic logic, from the proof-theoretical viewpoint.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. D. Busneag & M. Ghita (forthcoming). Some Properties of Epimorphisms of Implicative Algebras. Studia Logica.
     
    My bibliography  
     
    Export citation  
  13. Mingzhong Cai (forthcoming). Unprovability and Proving Unprovability. Studia Logica:1-20.
    We investigate the “unprovability of unprovability”. Given a sentence P and a fixed base theory T, the unprovability of P is the sentence “ \({T\nvdash P}\) ”. We show that the unprovability of an unprovable true sentence can be “hard to prove”.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Massimiliano Carrara & Enrico Martino (forthcoming). Grounding Megethology on Plural Reference. Studia Logica:1-15.
    In Mathematics is megethology Lewis reconstructs set theory combining mereology with plural quantification. He introduces megethology, a powerful framework in which one can formulate strong assumptions about the size of the universe of individuals. Within this framework, Lewis develops a structuralist class theory, in which the role of classes is played by individuals. Thus, if mereology and plural quantification are ontologically innocent, as Lewis maintains, he achieves an ontological reduction of classes to individuals. Lewis’work is very attractive. However, the alleged (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Sergio A. Celani (forthcoming). Properties of Saturation in Monotonic Neighbourhood Models and Some Applications. Studia Logica:1-23.
    In this paper we shall discuss properties of saturation in monotonic neighbourhood models and study some applications, like a characterization of compact and modally saturated monotonic models and a characterization of the maximal Hennessy-Milner classes. We shall also show that our notion of modal saturation for monotonic models naturally extends the notion of modal saturation for Kripke models.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. A. V. Chagrov & M. V. Zakharyaschev (forthcoming). Modal Companions of Intermediate Logics: A Survey. Studia Logica.
     
    My bibliography  
     
    Export citation  
  17. Petr Cintula & Carles Noguera (forthcoming). A Note on Natural Extensions in Abstract Algebraic Logic. Studia Logica:1-9.
    Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting in (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Jānis Cīrulis (forthcoming). On Some Classes of Commutative Weak BCK-Algebras. Studia Logica:1-12.
    Formally, a description of weak BCK-algebras can be obtained by replacing (in the standard axiom set by K. Iseki and S. Tanaka) the first BCK axiom \({(x - y) - (x - z) \le z - y}\) by its weakening \({z \le y \Rightarrow x - y \le x - z}\) . It is known that every weak BCK-algebra is completely determined by the structure of its initial segments (sections). We consider weak BCK-algebras with De Morgan complemented, orthocomplemented and orthomodular (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Nino B. Cocchiarella (forthcoming). Two Views of the Logic of Plurals and a Reduction of One to the Other. Studia Logica:1-24.
    There are different views of the logic of plurals that are now in circulation, two of which we will compare in this paper. One of these is based on a two-place relation of being among, as in ‘Peter is among the juveniles arrested’. This approach seems to be the one that is discussed the most in philosophical journals today. The other is based on Bertrand Russell’s early notion of a class as many, by which is meant not a class as (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Frank Wolter First Order Common (forthcoming). Knowledge Logics. Studia Logica.
     
    My bibliography  
     
    Export citation  
  21. Juan M. Cornejo & Ignacio D. Viglizzo (forthcoming). On Some Semi-Intuitionistic Logics. Studia Logica:1-42.
    Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H. P. Sankappanavar as a generalization of Heyting algebras. We present a new, more streamlined set of axioms for semi-intuitionistic logic, which we prove translationally equivalent to the original one. We then study some formulas that define a semi-Heyting implication, and specialize this study to the case in which the formulas use only the lattice operators and the intuitionistic implication. We prove then that all the logics thus (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Juan Manuel Cornejo (forthcoming). The Semi Heyting–Brouwer Logic. Studia Logica:1-23.
    In this paper we introduce a logic that we name semi Heyting–Brouwer logic, \ , in such a way that the variety of double semi-Heyting algebras is its algebraic counterpart. We prove that, up to equivalences by translations, the Heyting–Brouwer logic \ is an axiomatic extension of \ and that the propositional calculi of intuitionistic logic \ and semi-intuitionistic logic \ turn out to be fragments of \ .
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Eduardo J. Dubuc & Y. A. Poveda (forthcoming). On the Equivalence Between MV-Algebras and L-Groups with Strong Unit. Studia Logica:1-8.
    In “A new proof of the completeness of the Lukasiewicz axioms” Chang proved that any totally ordered MV-algebra A was isomorphic to the segment \}\) of a totally ordered l-group with strong unit A *. This was done by the simple intuitive idea of putting denumerable copies of A on top of each other . Moreover, he also show that any such group G can be recovered from its segment since \^*}\) , establishing an equivalence of categories. In “Interpretation of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Josep Maria Font & Tommaso Moraschini (forthcoming). M-Sets and the Representation Problem. Studia Logica:1-31.
    The “representation problem” in abstract algebraic logic is that of finding necessary and sufficient conditions for a structure, on a well defined abstract framework, to have the following property: that for every structural closure operator on it, every structural embedding of the expanded lattice of its closed sets into that of the closed sets of another structural closure operator on another similar structure is induced by a structural transformer between the base structures. This question arose from Blok and Jónsson abstract (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Rohan French (forthcoming). In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics. Studia Logica:1-25.
    Our concern here is with the extent to which the expressive equivalence of Wehmeier’s Subjunctive Modal Language (SML) and the Actuality Modal Language (AML) is sensitive to the choice of background modal logic. In particular we will show that, when we are enriching quantified modal logics weaker than S5, AML is strictly expressively stronger than SML, this result following from general considerations regarding the relationship between operators and predicate markers. This would seem to complicate arguments given in favour of SML (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. D. Gabbay & F. Pirri (forthcoming). Special Issue on Combining Logics, Volume 59 (1, 2) Of. Studia Logica.
     
    My bibliography  
     
    Export citation  
  27. David R. Gilbert & Paolo Maffezioli (forthcoming). Modular Sequent Calculi for Classical Modal Logics. Studia Logica:1-43.
    This paper develops sequent calculi for several classical modal logics. Utilizing a polymodal translation of the standard modal language, we are able to establish a base system for the minimal classical modal logic E from which we generate extensions (to include M, C, and N) in a modular manner. Our systems admit contraction and cut admissibility, and allow a systematic proof-search procedure of formal derivations.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Dov Guido Boella, Leendert der Torre M. Gabbavany & Serena Villata (forthcoming). Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica.
    In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  29. Simon M. Huttegger & Brian Skyrms (forthcoming). Learning to Transfer Information. Studia Logica.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Thomas Icard (forthcoming). Exclusion and Containment in Natural Language. Studia Logica.
     
    My bibliography  
     
    Export citation  
  31. Jarmo Kontinen (forthcoming). Coherence and Complexity of Quantifier-Free Dependence Logic Formulas. Studia Logica.
     
    My bibliography  
     
    Export citation  
  32. Victor N. Krivtsov (forthcoming). Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem. Studia Logica:1-16.
    Within a weak system \({{{\sf WKVS}}}\) of intuitionistic analysis one may prove, using the Weak Fan Theorem as an additional axiom, a completeness theorem for intuitionistic first-order predicate logic relative to validity in generalized Beth models as well as a completeness theorem for classical first-order predicate logic relative to validity in intuitionistic structures. Conversely, each of these theorems implies over \({{{\sf WKVS}}}\) the Weak Fan Theorem.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. AgneS Kurucz & Arrow Logic (forthcoming). Infinite Counting. Studia Logica.
     
    My bibliography  
     
    Export citation  
  34. Steffen Lewitzka (forthcoming). Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity. Studia Logica:1-38.
    There are logics where necessity is defined by means of a given identity connective: \({\square\varphi := \varphi\equiv\top}\) ( \({\top}\) is a tautology). On the other hand, in many standard modal logics the concept of propositional identity (PI) \({\varphi\equiv\psi}\) can be defined by strict equivalence (SE) \({\square(\varphi\leftrightarrow\psi)}\) . All these approaches to modality involve a principle that we call the Collapse Axiom (CA): “There is only one necessary proposition.” In this paper, we consider a notion of PI which relies on the (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Szabolcs Mikulás (forthcoming). Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics. Studia Logica:1-26.
    We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions (terms, sequents, equations, quasi-equations) in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Franco Montagna & Sara Ugolini (forthcoming). A Categorical Equivalence for Product Algebras. Studia Logica:1-29.
    In this paper we provide a categorical equivalence for the category \({\mathcal{P}}\) of product algebras, with morphisms the homomorphisms. The equivalence is shown with respect to a category whose objects are triplets consisting of a Boolean algebra B, a cancellative hoop C and a map \({\vee_e}\) from B × C into C satisfying suitable properties. To every product algebra P, the equivalence associates the triplet consisting of the maximum boolean subalgebra B(P), the maximum cancellative subhoop C(P), of P, and the (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Koji Nakazawa & Hiroto Naya (forthcoming). Strong Reduction of Combinatory Calculus with Streams. Studia Logica:1-13.
    This paper gives the strong reduction of the combinatory calculus SCL, which was introduced as a combinatory calculus corresponding to the untyped Lambda-mu calculus. It proves the confluence of the strong reduction. By the confluence, it also proves the conservativity of the extensional equality of SCL over the combinatory calculus CL, and the consistency of SCL.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Marek Nowak (forthcoming). A Proof of Tarski's Fixed Point Theorem by Application of Galois Connections. Studia Logica:1-15.
    Two examples of Galois connections and their dual forms are considered. One of them is applied to formulate a criterion when a given subset of a complete lattice forms a complete lattice. The second, closely related to the first, is used to prove in a short way the Knaster-Tarski’s fixed point theorem.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Sergei P. Odintsov & Heinrich Wansing (forthcoming). The Logic of Generalized Truth Values and the Logic of Bilattices. Studia Logica:1-22.
    This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \({\models_t}\) and \({\models_f}\) , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, J Philos Logic, 34:121–153, 2005). The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. Federico Pailos & Lucas Rosenblatt (forthcoming). Non-Deterministic Conditionals and Transparent Truth. Studia Logica:1-20.
    Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are consistent and their (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Arthur Paul Pedersen (forthcoming). An Extension Theorem and a Numerical Representation Theorem for Qualitative Comparative Expectations. Studia Logica.
     
    My bibliography  
     
    Export citation  
  42. Dana Piciu & A. Jeflea (forthcoming). Localization of MTL-Algebras. Studia Logica.
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Edoardo Rivello (forthcoming). Cofinally Invariant Sequences and Revision. Studia Logica:1-24.
    Revision sequences are a kind of transfinite sequences which were introduced by Herzberger and Gupta in 1982 (independently) as the main mathematical tool for developing their respective revision theories of truth. We generalise revision sequences to the notion of cofinally invariant sequences, showing that several known facts about Herzberger’s and Gupta’s theories also hold for this more abstract kind of sequences and providing new and more informative proofs of the old results.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. F. Sebastiani (forthcoming). A Fully Model-Theoretic Semantics for Model-Preference Default Systems', Istituto di Elaborazione dell'Informazione, Pisa. Studia Logica.
     
    My bibliography  
     
    Export citation  
  45. Angelina Ilić Stepić & Zoran Ognjanović (forthcoming). Logics for Reasoning About Processes of Thinking with Information Coded by P-Adic Numbers. Studia Logica:1-30.
    In this paper we present two types of logics (denoted \({L^{D}_{Q_{p}}}\) and \({L^{\rm thinking}_{Z_{p}}}\) ) where certain p-adic functions are associated to propositional formulas. Logics of the former type are p-adic valued probability logics. In each of these logics we use probability formulas K r,ρ α and D ρ α,β which enable us to make sentences of the form “the probability of α belongs to the p-adic ball with the center r and the radius ρ”, and “the p-adic distance between (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Ryo Takemura (forthcoming). Counter-Example Construction with Euler Diagrams. Studia Logica:1-28.
    One of the traditional applications of Euler diagrams is as a representation or counterpart of the usual set-theoretical models of given sentences. However, Euler diagrams have recently been investigated as the counterparts of logical formulas, which constitute formal proofs. Euler diagrams are rigorously defined as syntactic objects, and their inference systems, which are equivalent to some symbolic logical systems, are formalized. Based on this observation, we investigate both counter-model construction and proof-construction in the framework of Euler diagrams. We introduce the (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. L. Tatjana & I. Boris (forthcoming). In Databases* T. Studia Logica.
     
    My bibliography  
     
    Export citation  
  48. Robert Trypuz & Piotr Kulicki (forthcoming). Jerzy Kalinowski's Logic of Normative Sentences Revisited. Studia Logica:1-24.
    The paper tackles two problems. The first one is to grasp the real meaning of Jerzy Kalinowski’s theory of normative sentences. His formal system K 1 is a simple logic formulated in a very limited language (negation is the only operator defined on actions). While presenting it Kalinowski formulated a few interesting philosophical remarks on norms and actions. He did not, however, possess the tools to formalise them fully. We propose a formulation of Kalinowski’s ideas with the use of a (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. Hans van Ditmarsch (forthcoming). Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, Pp. 350. ISBN: 9781575865997 (Hardcover) US 70.00,ISBN:9781575865980(Paperback)US 30.00. [REVIEW] Studia Logica.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Y. Venema (forthcoming). Meeting Strength in Substructural Logics'. UU Logic Preprint. Studia Logica.
     
    My bibliography  
     
    Export citation  
  51. Xue-Ping Wang & Lei-Bo Wang (forthcoming). Congruences and Kernel Ideals on a Subclass of Ockham Algebras. Studia Logica:1-19.
    In this note, it is shown that the set of kernel ideals of a K n, 0-algebra L is a complete Heyting algebra, and the largest congruence on L such that the given kernel ideal as its congruence class is derived and finally, the necessary and sufficient conditions that such a congruence is pro-boolean are given.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  52. Stefan Wintein & Reinhard A. Muskens (forthcoming). From Bi-Facial Truth to Bi-Facial Proofs. Studia Logica:1-14.
    In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
 Previous issues
  
Next issues