default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica - An International Journal for Symbolic Logic, Volume 103
Volume 103, Number 1, February 2015
- Vera Koponen, Tapani Hyttinen
:
On Compactness of Logics That Can Express Properties of Symmetry or Connectivity. 1-20 - Josep Maria Font, Tommaso Moraschini:
M-Sets and the Representation Problem. 21-51 - Samuel A. Alexander:
Fast-Collapsing Theories. 53-73 - T. S. Blyth, Jie Fang, Lei-Bo Wang:
De Morgan Algebras with a Quasi-Stone Operator. 75-90 - Sergei P. Odintsov, Heinrich Wansing:
The Logic of Generalized Truth Values and the Logic of Bilattices. 91-112 - Joongol Kim:
A Logical Foundation of Arithmetic. 113-144 - Angelina Ilic-Stepic, Zoran Ognjanovic:
Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers. 145-174 - David R. Gilbert, Paolo Maffezioli:
Modular Sequent Calculi for Classical Modal Logics. 175-217 - Philip Kremer:
The Incompleteness of S4 ⨁ S4 for the Product Space. 219-226 - Nina Gierasimczuk:
Book Review: Neil Tennant, Changes of Mind: An Essay on Rational Belief Revision. 227-231 - David Makinson:
Book Review: Nicholas J.J. Smith, Logic: The Laws of Truth. 233-237
Volume 103, Number 2, April 2015
- Rohan French:
In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics. 239-263 - William Young:
From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices. 265-286 - Marek Nowak:
A Proof of Tarski's Fixed Point Theorem by Application of Galois Connections. 287-301 - Juan Manuel Cornejo, Ignacio D. Viglizzo:
On Some Semi-Intuitionistic Logics. 303-344 - Franco Montagna, Sara Ugolini:
A Categorical Equivalence for Product Algebras. 345-373 - Koji Nakazawa, Hiroto Naya:
Strong Reduction of Combinatory Calculus with Streams. 375-387 - Robert Trypuz, Piotr Kulicki:
Jerzy Kalinowski's Logic of Normative Sentences Revisited. 389-412 - Branislav R. Boricic, Mirjana Ilic:
An Alternative Normalization of the Implicative Fragment of Classical Logic. 413-446 - Adrian Rezus:
Book Review: R. J. G. B. de Queiroz, A. G. de Oliveira, D. M. Gabbay, The Functional Interpretation of Logical Deduction. 447-451
Volume 103, Number 3, June 2015
- Szabolcs Mikulás:
Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics. 453-478 - Janis Cirulis:
On Some Classes of Commutative Weak BCK-Algebras. 479-490 - T. S. Blyth, Jie Fang, Lei-Bo Wang:
On ideals and congruences of distributive demi-p-algebras. 491-506 - Steffen Lewitzka:
Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity. 507-544 - Stefan Wintein, Reinhard Muskens:
From Bi-facial Truth to Bi-facial Proofs. 545-558 - Mingzhong Cai:
Unprovability and Proving Unprovability. 559-578 - Federico Matias Pailos, Lucas Rosenblatt:
Non-deterministic Conditionals and Transparent Truth. 579-598 - Edoardo Rivello:
Cofinally Invariant Sequences and Revision. 599-622 - Victor N. Krivtsov:
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem. 623-638 - Sergio A. Celani, Daniela Montangie:
Hilbert Algebras with a Modal Operator ◊. 639-662 - Sam Buss:
Book Review: Matthias Baaz and Alexander Leitsch, Methods of Cut-Elimination. 663-667
Volume 103, Number 4, August 2015
- Ryo Takemura:
Counter-Example Construction with Euler Diagrams. 669-696 - Massimiliano Carrara, Enrico Martino:
Grounding Megethology on Plural Reference. 697-711 - Xue-Ping Wang, Lei-Bo Wang:
Congruences and Kernel Ideals on a Subclass of Ockham Algebras. 713-731 - Sergio A. Celani:
Properties of Saturation in Monotonic Neighbourhood Models and Some Applications. 733-755 - Nino B. Cocchiarella:
Two Views of the Logic of Plurals and a Reduction of One to the Other. 757-780 - Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Shengyang Zhong:
Duality for the Logic of Quantum Actions. 781-805 - Eduardo J. Dubuc, Yuri A. Poveda:
On the Equivalence Between MV-Algebras and l-Groups with Strong Unit. 807-814 - Petr Cintula, Carles Noguera:
A Note on Natural Extensions in Abstract Algebraic Logic. 815-823 - Michael De, Hitoshi Omori:
Classical Negation and Expansions of Belnap-Dunn Logic. 825-851 - Juan Manuel Cornejo:
The Semi Heyting-Brouwer Logic. 853-875 - Luciana Benotti:
Book Review: Jonathan Ginzburg, The Interactive Stance: Meaning in Conversation. 877-882
Volume 103, Number 5, October 2015
- Hitoshi Omori, Katsuhiko Sano:
Generalizing Functional Completeness in Belnap-Dunn Logic. 883-917 - Peter Verdée, Inge De Bal:
A New Approach to Classical Relevance. 919-954 - Michael Schippers:
Towards a Grammar of Bayesian Coherentism. 955-984 - Albert J. J. Anglberger, Jonathan Lukic:
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ - and RMQ *. 985-1003 - David Michael Roberts:
The Weak Choice Principle WISC may Fail in the Category of Sets. 1005-1017 - Sven Ove Hansson:
A Monoselective Presentation of AGM Revision. 1019-1033 - Guillaume Aucher:
Intricate Axioms as Interaction Axioms. 1035-1062 - Stanislav Kikot:
A Dichotomy for Some Elementarily Generated Modal Logics. 1063-1093 - Thomas N. P. A. Brouwer, Casper Storm Hansen:
Book Review: Alex Oliver and Timothy Smiley, Plural Logic. 1095-1100
Volume 103, Number 6, December 2015
- Anna Glenszczyk:
Negational Fragment of Intuitionistic Control Logic. 1101-1121 - Yan Zhang, Kai Li:
Decidability of Logics Based on an Indeterministic Metric Tense Logic. 1123-1162 - Matteo Bianchi, Franco Montagna:
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. 1163-1181 - Matteo Bianchi, Franco Montagna:
Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. 1183 - Rutger Kuyper:
First-Order Logic in the Medvedev Lattice. 1185-1224 - Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda:
Reduction Rules for Intuitionistic λρ-calculus. 1225-1244 - Szymon Chlebowski, Dorota Leszczynska-Jasion:
Dual Erotetic Calculi and the Minimal LFI. 1245-1278 - Edoardo Rivello:
Periodicity and Reflexivity in Revision Sequences. 1279-1302 - Fernando Ferreira, Gilda Ferreira:
The Faithfulness of Fat: A Proof-Theoretic Proof. 1303-1311 - Ulrich Kohlenbach:
On the Disjunctive Markov Principle. 1313-1317 - Adrian Rezus:
Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types. 1319-1326
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-11-15 19:40 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:
