- (1 other version)A Note on the Interpolation Theorem in First Order Logic.George Weaver - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):215-218.details
|
|
(1 other version)An Application of Rank‐Forcing to ω 1 ‐Categoricity.H. Peter Tuschik - 1980 - Mathematical Logic Quarterly 26 (14-18):237-250.details
|
|
(1 other version)Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.details
|
|
Abstraction Reconceived.J. P. Studd - 2016 - British Journal for the Philosophy of Science 67 (2):579-615.details
|
|
Um panorama da teoria aristotélica do silogismo categórico.Evandro Luís Gomes & Itala Maria L. D'Ottaviano - 2010 - CLE E-Prints 10 (4):1-22.details
|
|
Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.details
|
|
(1 other version)Iterations of satisfaction classes and models of peano arithmetic.Roman Murawski - 1992 - Mathematical Logic Quarterly 38 (1):59-84.details
|
|
(1 other version)Fixed points and diagonal method.Maurizio Negri - 1990 - Mathematical Logic Quarterly 36 (4):319-329.details
|
|
(1 other version)Some results on bounded truth-table degrees.Angel V. Ditchev - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):263-271.details
|
|
(2 other versions)The hilbert type axiomatization of some three-valued propositional logic.Andrzej Zbrzezny - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):415-421.details
|
|
(1 other version)Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Mathematical Logic Quarterly 35 (1):15-21.details
|
|
(1 other version)Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):15-21.details
|
|
(1 other version)A Free‐Variable Theory of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):147-157.details
|
|
(1 other version)Untersuchungen zur Friedmanschen Theorie der Prädikate.Martin Kühnrich - 1986 - Mathematical Logic Quarterly 32 (1-5):29-44.details
|
|
(1 other version)Classes Closed Under Substructures and Direct Limits.Paul C. Eklof - 1977 - Mathematical Logic Quarterly 23 (27-30):427-430.details
|
|
(1 other version)The Inequivalence of Two Well-Known Notions of Randomness for Binary Sequences.Thomas Herzog & James C. Owings - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):385-389.details
|
|
(1 other version)Elimination of Cardinality Quantifiers.H. P. Tuschik - 1982 - Mathematical Logic Quarterly 28 (4‐7):75-81.details
|
|
Criteria of Empirical Significance: Foundations, Relations, Applications.Sebastian Lutz - 2012 - Dissertation, Utrecht Universitydetails
|
|
An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.details
|
|
Formalization, primitive concepts, and purity: Formalization, primitive concepts, and purity.John T. Baldwin - 2013 - Review of Symbolic Logic 6 (1):87-128.details
|
|
(1 other version)Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.details
|
|
Theory evolution and reference kinematics.Bernhard Lauth - 1991 - Synthese 88 (3):279 - 307.details
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
Ramsey eliminability and the testability of scientific theories.Herbert A. Simon & Guy J. Groen - 1973 - British Journal for the Philosophy of Science 24 (4):367-380.details
|
|
Existentially closed structures.H. Simmons - 1972 - Journal of Symbolic Logic 37 (2):293-310.details
|
|
(1 other version)Why Popper's basic statements are not falsifiable. some paradoxes in Popper's “logic of scientific discovery”.Gerhard Schurz & Georg J. W. Dorn - 1988 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 19 (1):124-143.details
|
|
Ordinals connected with formal theories for transfinitely iterated inductive definitions.W. Pohlers - 1978 - Journal of Symbolic Logic 43 (2):161-182.details
|
|
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.details
|
|
The perfect set theorem and definable wellorderings of the continuum.Alexander S. Kechris - 1978 - Journal of Symbolic Logic 43 (4):630-634.details
|
|
Uniform Upper Bounds on Ideals of Turing Degrees.Harold T. Hodes - 1978 - Journal of Symbolic Logic 43 (3):601-612.details
|
|
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.details
|
|
Functional interpretation and inductive definitions.Jeremy Avigad & Henry Towsner - 2009 - Journal of Symbolic Logic 74 (4):1100-1120.details
|
|
Issues in the foundations of science, I: Languages, structures, and models.Newton C. A. da Costa, Décio Krause & Otávio Bueno - unknowndetails
|
|
Carnap’s Problem, Definability and Compositionality.Pedro del Valle-Inclán - forthcoming - Journal of Philosophical Logic:1-26.details
|
|
Steps Towards a Minimalist Account of Numbers.Thomas Schindler - 2021 - Mind 131 (523):863-891.details
|
|
Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.details
|
|
D avid B ostock . Philosophy of mathematics: An introduction.James Robert Brown - 2010 - Philosophia Mathematica 18 (1):127-129.details
|
|
The Ontological Import of Adding Proper Classes.Alfredo Roque Freire & Rodrigo de Alvarenga Freire - 2019 - Manuscrito 42 (2):85-112.details
|
|
Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherstdetails
|
|
Mathematics and Its Applications, A Transcendental-Idealist Perspective.Jairo José da Silva - 2017 - Cham: Springer.details
|
|
Models and theories I: The semantic view revisited.Chuang Liu - 1997 - International Studies in the Philosophy of Science 11 (2):147 – 164.details
|
|
(1 other version)The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Bounded Induction and Satisfaction Classes.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (31-34):531-544.details
|
|
A Methodology for Teaching Logic-Based Skills to Mathematics Students.Arnold Cusmariu - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (3):259-292.details
|
|
Countable homogeneous relational structures and ℵ0-categorical theories.C. Ward Henson - 1972 - Journal of Symbolic Logic 37 (3):494 - 500.details
|
|
On the theory of exponential fields.Bernd I. Dahn & Helmut Wolter - 1983 - Mathematical Logic Quarterly 29 (9):465-480.details
|
|
Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.details
|
|
New foundations for metascience.David Pearce & Veikko Rantala - 1983 - Synthese 56 (1):1 - 26.details
|
|
(1 other version)Ein neuer “strukturtyp” Von logikbuch? [REVIEW]Ulrich Nortmann - 1987 - Erkenntnis 27 (1):113 - 145.details
|
|
The mathematical philosophy of Charles Parsons. [REVIEW]J. M. B. Moss - 1985 - British Journal for the Philosophy of Science 36 (4):437-457.details
|
|