default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 4
Volume 4, Number 1, March 2011
- Tomoyuki Suzuki:
Canonicity Results of Substructural and Lattice-based Logics. 1-42 - Jan von Plato:
A Sequent Calculus isomorphic to Gentzen's Natural Deduction. 43-53 - Massimiliano Carrara
, Enrico Martino:
On the Infinite in Mereology with Plural Quantification. 54-62 - Emmanuel Chemla:
Expressible Semantics for Expressible Counterfactuals. 63-80 - Robin Hirsch, Szabolcs Mikulás:
Positive Fragments of Relevance Logic and Algebras of Binary Relations. 81-105 - Frode Bjørdal:
The Inadequacy of a Proposed Paraconsistent Set Theory. 106-108
- Zach Weber:
Reply to Bjørdal. 109-113
- Albert Visser:
Hume's Principle, Beginnings. 114-129 - John Robert Gareth Williams:
Degree Supervaluational Logic. 130-149 - Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli:
Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for Modalities. 150-170
Volume 4, Number 2, June 2011
- Jeffrey Ketland:
Identity and Indiscernibility. 171-185 - Oliver Deiser:
An Axiomatic Theory of Well-Orderings. 186-204 - Reinhard Kahle:
The Universal Set and Diagonalization in Frege Structures. 205-218 - Bartosz Wieckowski:
Rules for subatomic Derivation. 219-236 - Graham Priest:
Against against Nonbeing. 237-253 - Theodora Achourioti, Michiel van Lambalgen:
A Formalization of Kant's Transcendental Logic. 254-289 - Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera:
The Expressive Power of Memory Logics. 290-318 - Cezary Cieslinski:
T-Equivalences for positive Sentences. 319-325 - J. C. Beall:
Multiple-Conclusion LP and Default classicality. 326-336
Volume 4, Number 3, September 2011
- Hartry Field:
Introduction to Author Meets Critics Session on Saving Truth from Paradox. 337-338 - Donald A. Martin:
Field's Saving Truth from Paradox: some Things IT Doesn't do. 339-347 - Philip D. Welch:
Truth, Logical Validity and Determinateness: a Commentary on field's Saving Truth from Paradox. 348-359 - Hartry Field:
Comments on Martin's and Welch's Comments. 360-366
- Clemens Grabmayer, Joop Leo, Vincent van Oostrom, Albert Visser:
On the Termination of Russell's Description Elimination Algorithm. 367-393 - Dustin Tucker, Richmond H. Thomason:
Paradoxes of Intensionality. 394-411 - Eric Pacuit, Sunil Simon:
Reasoning with Protocols under imperfect Information. 412-444 - Benjamin Schnieder:
A Logic for 'Because'. 445-465 - Nissim Francez, Gilad Ben-Avi:
Proof-Theoretic Semantic Values for Logical operators. 466-478 - Marcel Crabbé:
Reassurance for the Logic of Paradox. 479-485
Volume 4, Number 4, December 2011
- Igor Douven:
Further Results on the Intransitivity of evidential Support. 487-497 - Elia Zardini:
Truth without contra(di)Ction. 498-535 - Barteld Kooi, Bryan Renne:
Arrow Update Logic. 536-559 - Joshua Schechter:
Juxtaposition: a New Way to Combine Logics. 560-606 - Joshua Schechter:
Weakly Classical Theories of Identity. 607-644 - Ansten Mørch Klev:
Dedekind and Hilbert on the Foundations of the Deductive Sciences. 645-681
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-21 20:18 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:
