default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 6
Volume 6, Number 1, March 2013
- Introduction. 1-5
- Solomon Feferman:
Foundations of Unlimited Category Theory: What Remains to be Done. 6-15 - Geoffrey Hellman:
Neither Categorical NOR Set-Theoretic Foundations. 16-23 - Elaine Landry:
The Genetic versus the Axiomatic method: Responding to Feferman 1977. 24-51 - Jean-Pierre Marquis
:
Categorical Foundations of Mathematics or How to Provide Foundations for Abstract Mathematics. 51-75 - Colin McLarty:
Foundations as Truths which Organize Mathematics. 76-86 - John T. Baldwin:
Formalization, Primitive Concepts, and purity. 87-128 - Taishi Kurahashi:
Arithmetical Interpretations and Kripke Frames of Predicate Modal Logic of Provability. 129-146 - Charles McCarty:
Antirealism and Constructivism: Brouwer's Weak Counterexamples. 147-159 - Hu Liu, Xuefeng Wen:
On Formalizing Causation based on Constant conjunction Theory. 160-181
Volume 6, Number 2, June 2013
- Sven Ove Hansson:
Outcome Level Analysis of Belief Contraction. 183-204 - Øystein Linnebo:
The potential Hierarchy of Sets. 205-228 - Tomoyuki Suzuki:
A Sahlqvist Theorem for Substructural Logic. 229-253 - Fausto Barbero:
On Existential Declarations of Independence in if Logic. 254-280 - Carlos Cotrini, Yuri Gurevich:
Transitive Primal Infon Logic. 281-304 - Joseph Y. Halpern:
From Causal Models to Counterfactual Structures. 305-322 - Alessandro Giordani:
A Logic of Justification and Truthmaking. 323-342 - Lidia Obojska:
Some Remarks on supplementation Principles in the Absence of Antisymmetry. 343-347 - Grigory K. Olkhovikov:
Model-Theoretic characterization of intuitionistic Propositional Formulas. 348-365
- Carlos Cotrini, Yuri Gurevich:
Transitive Primal Infon Logic-ERRATUM. 366
Volume 6, Number 3, September 2013
- Rutger Kuyper, Sebastiaan A. Terwijn:
Model Theory of Measure Spaces and Probability Logic. 367-393 - Petr Cintula, Rostislav Horcík, Carles Noguera:
Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties. 394-423 - Antje Rumberg:
Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs. 424-459 - Eduardo Fermé, Maurício D. Luís Reis:
Epistemic Entrenchment-based Multiple contractions. 460-487 - Geoffrey Hellman, Stewart Shapiro:
The Classical continuum without Points. 488-512 - Charles McCarty:
Brouwer's Weak Counterexamples and Testability: further Remarks. 513-523 - Toby Meadows:
What can a Categoricity Theorem Tell US? 524-544 - Philip Kremer:
Strong Completeness of S4 for any Dense-in-Itself Metric Space. 545-570
- Geoffrey Hellman, Stewart Shapiro:
The Classical Continuum without Points - CORRIGENDUM. 571
Volume 6, Number 4, December 2013
- Lee Walters, John Robert Gareth Williams:
An Argument for conjunction Conditionalization. 573-588 - Matthew W. Parker:
Set Size and the Part-whole Principle. 589-612 - Graham E. Leigh, Carlo Nicolai:
Axiomatic Truth, Syntax and Metatheoretic Reasoning. 613-636 - Gian Aldo Antonelli:
On the General Interpretation of First-order Quantifiers. 637-658 - Andrés Cordón-Franco, Hans van Ditmarsch, Ángel Nepomuceno-Fernández:
Dynamic Consequence and Public announcement. 659-679 - Lloyd Humberstone:
Aggregation and Idempotence. 680-708 - Franz Huber:
Structural equations and beyond. 709-732 - Eduardo Alejandro Barrio, Lavinia María Picollo:
Notes on ω-Inconsistent Theories of Truth in second-order Languages. 733-741 - J. C. Beall:
LP+, K3+, FDE+, and their 'Classical Collapse'. 742-754 - J. C. Beall:
A Simple Approach towards Recapturing Consistent Theories in Paraconsistent Settings. 755-764
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 2025-10-22 02:14 CEST 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:
