default search action
Studia Logica - An International Journal for Symbolic Logic, Volume 105
Volume 105, Number 1, February 2017
- Zofia Kostrzycka
, Yutaka Miyazaki:
Normal Modal Logics Determined by Aligned Clusters. 1-11 - Wesley H. Holliday
On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames. 13-35 - Li Zhang
Believability Relations for Select-Direct Sentential Revision. 37-63 - Mike Behrisch
Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals. 65-91 - Andreas Fjellstad
Non-classical Elegance for Sequent Calculus Enthusiasts. 93-119 - Soroush Rafiee Rad
Equivocation Axiom on First Order Languages. 121-152 - Dustin Tucker:
Montagovian Paradoxes and Hyperintensional Content. 153-171 - Bjørn Kjos-Hanssen
A Conflict Between Some Semantic Conditions of Carmo and Jones for Contrary-to-Duty Obligations. 173-178 - George Georgescu, Claudia Muresan
Factor Congruence Lifting Property. 179-216 - Steven T. Kuhn:
Book Reviews. 217-226 - Roberto Cignoli, Antoni Torrens:
Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x2) = (2x)22. 227-228
Volume 105, Number 2, April 2017
- Pablo F. Castro:
Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity. 229-251 - Stefano Bonzio
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis. 253-297 - Michael Schippers, Gerhard Schurz:
Genuine Coherence as Mutual Confirmation Between Content Elements. 299-329 - Marco Garapa
Studies on Brutal Contraction and Severe Withdrawal. 331-360 - Bruno Jacinto, Stephen Read:
General-Elimination Stability. 361-405 - Stanislav O. Speranski
Notes on the Computational Aspects of Kripke's Theory of Truth. 407-429 - Valentin Goranko:
Dov Gabbay, Reactive Kripke Semantics. 431-437
Volume 105, Number 3, June 2017
- Arun Kumar
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics. 439-469 - Marcin Lazarz, Krzysztof Siemienczuk:
Distributivity for Upper Continuous and Strongly Atomic Lattices. 471-478 - V. Michele Abrusci, Claudia Casadio
A Geometrical Representation of the Basic Laws of Categorial Grammar. 479-520 - Tomás Lávicka
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic. 521-551 - Annika Kanckos
Variants of Gödel's Ontological Proof in a Natural Deduction Calculus. 553-586 - Farida Kachapova
Metamathematical Properties of a Constructive Multi-typed Theory. 587-610 - Ulrich Kohlenbach
A Proof-Theoretic Bound Extraction Theorem for CAT (κ) -Spaces. 611-624 - Minghui Ma, Ahti-Veikko Pietarinen
Proof Analysis of Peirce's Alpha System of Graphs. 625-647 - Gilda Ferreira
Rasiowa-Harrop Disjunction Property. 649-664 - Yaroslav 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. 665-668 - Volker 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. 669-671
Volume 105, Number 4, August 2017
- Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay
Subdirectly Irreducible IKt-Algebras. 673-701 - Hugo Albuquerque
The Strong Version of a Sentential Logic. 703-760 - Lucy Ham
Relativised Homomorphism Preservation at the Finite Level. 761-786 - Gem Stapleton, Andrew Blake
Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison. 787-815 - Christopher J. Taylor
Expansions of Dually Pseudocomplemented Heyting Algebras. 817-841 - Brian A. Davey
Restricted Priestley Dualities and Discriminator Varieties. 843-872 - Benedict Eastaugh
Book Reviews. 873-879
Volume 105, Number 5, October 2017
- Ming Hsiung
Boolean Paradoxes and Revision Periods. 881-914 - Piotr Kulicki
Connecting Actions and States in Deontic Logic. 915-942 - Dragan Doder, Zoran Ognjanovic:
Probabilistic Logics with Independence and Confirmation. 943-969 - Rohan French
A Simple Sequent Calculus for Angell's Logic of Analytic Containment. 971-994 - Jie Fang:
The Strong Endomorphism Kernel Property in Double MS-Algebras. 995-1013 - Giosuè 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. 1015-1019
Volume 105, Number 6, December 2017
- Hitoshi Omori, Heinrich Wansing
40 years of FDE: An Introductory Overview. 1021-1049 - Hugo Albuquerque
An Algebraic View of Super-Belnap Logics. 1051-1086 - Ofer Arieli, Arnon Avron:
Four-Valued Paradefinite Logics. 1087-1122 - Thomas Macaulay Ferguson:
Rivals to Belnap-Dunn Logic on Interlaced Trilattices. 1123-1148 - Melvin Fitting
Paraconsistent Logic, Evidence, and Justification. 1149-1166 - Norihiro Kamide
Paraconsistent Double Negations as Classical and Intuitionistic Negations. 1167-1191 - Norihiro Kamide
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant. 1193-1219 - Sergei P. Odintsov
Disentangling FDE-Based Paraconsistent Modal Logics. 1221-1254 - Adam Prenosil
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics. 1255-1289 - Yaroslav Shramko
First-Degree Entailment and its Relatives. 1291-1317 - Stefan Wintein
Interpolation Methods for Dunn Logics and Their Extensions. 1319-1347
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: