Journal: Studia Logica

Volume 105, Issue 6

1021 -- 1049Hitoshi Omori, Heinrich Wansing. 40 years of FDE: An Introductory Overview
1051 -- 1086Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio. An Algebraic View of Super-Belnap Logics
1087 -- 1122Ofer Arieli, Arnon Avron. Four-Valued Paradefinite Logics
1123 -- 1148Thomas Macaulay Ferguson. Rivals to Belnap-Dunn Logic on Interlaced Trilattices
1149 -- 1166Melvin Fitting. Paraconsistent Logic, Evidence, and Justification
1167 -- 1191Norihiro Kamide. Paraconsistent Double Negations as Classical and Intuitionistic Negations
1193 -- 1219Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing. Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant
1221 -- 1254Sergei P. Odintsov, Heinrich Wansing. Disentangling FDE-Based Paraconsistent Modal Logics
1255 -- 1289Adam Prenosil. Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics
1291 -- 1317Yaroslav Shramko, Dmitry Zaitsev 0002, Alexander Belikov. First-Degree Entailment and its Relatives
1319 -- 1347Stefan Wintein, Reinhard Muskens. Interpolation Methods for Dunn Logics and Their Extensions

Volume 105, Issue 5

881 -- 914Ming Hsiung. Boolean Paradoxes and Revision Periods
915 -- 942Piotr Kulicki, Robert Trypuz. Connecting Actions and States in Deontic Logic
943 -- 969Dragan Doder, Zoran Ognjanovic. Probabilistic Logics with Independence and Confirmation
971 -- 994Rohan French. A Simple Sequent Calculus for Angell's Logic of Analytic Containment
995 -- 1013Jie Fang. The Strong Endomorphism Kernel Property in Double MS-Algebras
1015 -- 1019Giosuè Baggio, Heming Strømholt Bremnes. Jakub Szymanik, Quantifiers and Cognition. Logical and Computational Perspectives. Springer, 2016. Pp. xii+211. ISBN: 978-3-319-28749-2 (hardcover) EUR 106, 99; eBook EUR 83, 29

Volume 105, Issue 4

673 -- 701Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay. Subdirectly Irreducible IKt-Algebras
703 -- 760Hugo Albuquerque, Josep Maria Font, Ramon Jansana. The Strong Version of a Sentential Logic
761 -- 786Lucy Ham. Relativised Homomorphism Preservation at the Finite Level
787 -- 815Gem Stapleton, Andrew Blake 0002, Jim Burton, Anestis Touloumis. Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison
817 -- 841Christopher J. Taylor. Expansions of Dually Pseudocomplemented Heyting Algebras
843 -- 872Brian A. Davey, A. Gair. Restricted Priestley Dualities and Discriminator Varieties
873 -- 879Benedict Eastaugh. Book Reviews

Volume 105, Issue 3

439 -- 469Arun Kumar, Mohua Banerjee. Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics
471 -- 478Marcin Lazarz, Krzysztof Siemienczuk. Distributivity for Upper Continuous and Strongly Atomic Lattices
479 -- 520V. Michele Abrusci, Claudia Casadio. A Geometrical Representation of the Basic Laws of Categorial Grammar
521 -- 551Tomás Lávicka, Carles Noguera. A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic
553 -- 586Annika Kanckos, Bruno Woltzenlogel Paleo. Variants of Gödel's Ontological Proof in a Natural Deduction Calculus
587 -- 610Farida Kachapova. Metamathematical Properties of a Constructive Multi-typed Theory
611 -- 624Ulrich Kohlenbach, A. Nicolae. A Proof-Theoretic Bound Extraction Theorem for CAT (κ) -Spaces
625 -- 647Minghui Ma, Ahti-Veikko Pietarinen. Proof Analysis of Peirce's Alpha System of Graphs
649 -- 664Gilda Ferreira. Rasiowa-Harrop Disjunction Property
665 -- 668Yaroslav Shramko. Norihiro Kamide and Heinrich Wansing, Proof Theory of N4-related Paraconsistent Logics. Studies in Logic vol. 54. College Publications, 2015, pp. 414. ISBN-13: 978-1848901674 (paperback) $20.50
669 -- 671Volker Peckhaus. William Ewald and Wilfried Sieg (eds.), Michael Hallett (associate ed.), David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933. In collaboration with Ulrich Majer and Dirk Schlimm (David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933, Vol. 3), Springer-Verlag: Berlin and Heidelberg, 2013, xxvi + 1062 pp. ISBN 978-3-540-20578-4 (hardcover) $129.00, (Kindle) $86.37

Volume 105, Issue 2

229 -- 251Pablo F. Castro. Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity
253 -- 297Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi. On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis
299 -- 329Michael Schippers, Gerhard Schurz. Genuine Coherence as Mutual Confirmation Between Content Elements
331 -- 360Marco Garapa, Eduardo L. Fermé, Maurício D. Luís Reis. Studies on Brutal Contraction and Severe Withdrawal
361 -- 405Bruno Jacinto, Stephen Read. General-Elimination Stability
407 -- 429Stanislav O. Speranski. Notes on the Computational Aspects of Kripke's Theory of Truth
431 -- 437Valentin Goranko. Dov Gabbay, Reactive Kripke Semantics

Volume 105, Issue 1

1 -- 11Zofia Kostrzycka, Yutaka Miyazaki. Normal Modal Logics Determined by Aligned Clusters
13 -- 35Wesley H. Holliday. On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames
37 -- 63Li Zhang. Believability Relations for Select-Direct Sentential Revision
65 -- 91Mike Behrisch, John K. Truss, Edith Vargas-García. Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals
93 -- 119Andreas Fjellstad. Non-classical Elegance for Sequent Calculus Enthusiasts
121 -- 152Soroush Rafiee Rad. Equivocation Axiom on First Order Languages
153 -- 171Dustin Tucker. Montagovian Paradoxes and Hyperintensional Content
173 -- 178Bjørn Kjos-Hanssen. A Conflict Between Some Semantic Conditions of Carmo and Jones for Contrary-to-Duty Obligations
179 -- 216George Georgescu, Claudia Muresan. Factor Congruence Lifting Property
217 -- 226Steven T. Kuhn. Book Reviews
227 -- 228Roberto Cignoli, Antoni Torrens. 22