default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 50
Volume 50, Number 1, 2009
- John D. Clemens:
Isomorphism of Homogeneous Structures. 1-22 - Katalin Bimbó:
Dual Gaggle Semantics for Entailment. 23-41 - Philip Scowcroft:
Generalized Halfspaces in the Mixed-Integer Realm. 43-51 - Jaime Gaspar:
Factorization of the Shoenfield-like Bounded Functional Interpretation. 53-60 - Albert Visser:
Growing Commas. A Study of Sequentiality and Concatenation. 61-85 - Vítezslav Svejdar
:
On Interpretability in the Theory of Concatenation. 87-95 - Gila Sher:
Book Review: Jody Azzouni. Tracking Reason: Proof, Consequence, and Truth. 97-117
Volume 50, Number 2, 2009
- Lloyd Humberstone:
Collapsing Modalities. 119-132 - James M. Dickey, Morris L. Eaton, William D. Sudderth:
De Finetti Coherence and Logical Consistency. 133-139 - Richard Pettigrew:
On Interpretations of Bounded Arithmetic and Bounded Set Theory. 141-151 - Petr Cintula, George Metcalfe:
Structural Completeness in Fuzzy Logics. 153-182 - David Atkinson, Jeanne Peijnenburg:
Justification by an Infinity of Conditional Probabilities. 183-193 - Brooke M. Andersen, Marcia J. Groszek:
Grigorieff Forcing on Uncountable Cardinals Does Not Add a Generic of Minimal Degree. 195-200 - Ulrich Meyer:
Times in Tense Logic. 201-219 - Leon Horsten:
Book Review: Stewart Shapiro. Vagueness in Context. 221-226
Volume 50, Number 3, 2009
- Laurence Kirby:
Finitary Set Theory. 227-244 - Victor Pambuccian:
A Reverse Analysis of the Sylvester-Gallai Theorem. 245-260 - Martin W. Bunder, R. M. Rizkalla:
Proof-finding Algorithms for Classical and Subclassical Propositional Logics. 261-273 - Steffen Lewitzka:
∈I: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity. 275-301 - Frank Markham Brown:
George Boole's Deductive System. 303-330 - Claudio Bernardi:
A Topological Approach to Yablo's Paradox. 331-338 - Robert Hanna:
Book Review: Logic, Mathematics, and the Mind: A Critical Study of Richard Tieszen's Phenomenology, Logic, and the Philosophy of Mathematics. 339-361
Volume 50, Number 4, 2009
- Martin Koerwien:
Comparing Borel Reducibility and Depth of an omega-Stable Theory. 365-380 - Joseph S. Miller:
The K-Degrees, Low for K Degrees, and Weakly Low for K Sets. 381-391 - Ulrich Kohlenbach, Alexander Kreuzer:
Ramsey's Theorem for Pairs and Provably Recursive Functions. 427-444 - Bjørn Kjos-Hanssen, André Nies:
Superhighness. 445-452 - Taras O. Banakh, Nadia Lyaskovska, Dusan Repovs:
Packing Index of Subsets in Polish Groups. 453-468 - Keng Meng Ng:
On the Degrees of Diagonal Sets and the Failure of the Analogue of a Theorem of Martin. 469-493
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-09-25 00:46 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:
