- Undecidability and recursive inseparability.Raymond M. Smullyan - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (7-11):143-147.details
|
|
(1 other version)Notion of Interpretation and Nonelementary Languages.Michal Krynicki - 1988 - Mathematical Logic Quarterly 34 (6):541-552.details
|
|
On rational limits of Shelah–Spencer graphs.Justin Brody & M. C. Laskowski - 2012 - Journal of Symbolic Logic 77 (2):580-592.details
|
|
Elementary intuitionistic theories.C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):102-134.details
|
|
Logical consequence revisited.José M. Sagüillo - 1997 - Bulletin of Symbolic Logic 3 (2):216-241.details
|
|
Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.details
|
|
Analysis without actual infinity.Jan Mycielski - 1981 - Journal of Symbolic Logic 46 (3):625-633.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
Satisfaction for n-th order languages defined in n-th order languages.William Craig - 1965 - Journal of Symbolic Logic 30 (1):13-25.details
|
|
String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.details
|
|
The Substitutional Analysis of Logical Consequence.Volker Halbach - 2019 - Noûs 54 (2):431-450.details
|
|
Dominical categories: recursion theory without elements.Robert A. di Paola & Alex Heller - 1987 - Journal of Symbolic Logic 52 (3):594-635.details
|
|
Consistency and the theory of truth.Richard Heck - 2015 - Review of Symbolic Logic 8 (3):424-466.details
|
|
Is Frege's Definition of the Ancestral Adequate?Richard G. Heck - 2016 - Philosophia Mathematica 24 (1):91-116.details
|
|
Quantifier Variance and the Collapse Argument.Jared Warren - 2015 - Philosophical Quarterly 65 (259):241-253.details
|
|
Decidability of ∀*∀‐Sentences in Membership Theories.Eugenio G. Omodeo, Franco Parlamento & Alberto Policriti - 1996 - Mathematical Logic Quarterly 42 (1):41-58.details
|
|
(1 other version)Über die Universalität Axiomatisierbarer Fragmente der Zahlentheorie.Kurt Hauschild - 1972 - Mathematical Logic Quarterly 18 (16‐18):255-259.details
|
|
Some remarks concerning theories with recursively enumerable complements.Alan Cobham - 1963 - Journal of Symbolic Logic 28 (1):72-74.details
|
|
Coordinate-free logic.Joop Leo - 2016 - Review of Symbolic Logic 9 (3):522-555.details
|
|
Partially ordered interpretations.Nobuyoshi Motohashi - 1977 - Journal of Symbolic Logic 42 (1):83-93.details
|
|
The härtig quantifier: A survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.details
|
|
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus.Wojciech Buszkowski - 1978 - Studia Logica 37 (1):59 - 64.details
|
|
Recursively enumerable complexity sequences and measure independence.Victor L. Bennison - 1980 - Journal of Symbolic Logic 45 (3):417-438.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
Intertheoretic Reduction, Confirmation, and Montague’s Syntax-Semantics Relation.Kristina Liefke & Stephan Hartmann - 2018 - Journal of Logic, Language and Information 27 (4):313-341.details
|
|
We Turing Machines Can’t Even Be Locally Ideal Bayesians.Beau Madison Mount - 2016 - Thought: A Journal of Philosophy 5 (4):285-290.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
Some new results on decidability for elementary algebra and geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.details
|
|
Double-exponential inseparability of Robinson subsystem q₊.Lavinia Egidi & Giovanni Faglia - 2011 - Journal of Symbolic Logic 76 (1):94 - 124.details
|
|
Fifty years of the spectrum problem: survey and new results.Arnaud Durand, Neil D. Jones, Johann A. Makowsky & Malika More - 2012 - Bulletin of Symbolic Logic 18 (4):505-553.details
|
|
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency.Dan E. Willard - 2005 - Journal of Symbolic Logic 70 (4):1171-1209.details
|
|
An introduction to hyperarithmetical functions.Julia Robinson - 1967 - Journal of Symbolic Logic 32 (3):325-342.details
|
|
The axiomatic system of the factorial implication.August Pieczkowski - 1966 - Studia Logica 18 (1):41 - 64.details
|
|
In memoriam: Raphael Mitchel Robinson.Leon Henkin - 1995 - Bulletin of Symbolic Logic 1 (3):340-343.details
|
|
The semantic view of theories and higher-order languages.Laurenz Hudetz - 2017 - Synthese 196 (3):1131-1149.details
|
|
On a Question of Krajewski's.Fedor Pakhomov & Albert Visser - 2019 - Journal of Symbolic Logic 84 (1):343-358.details
|
|
Interpretability suprema in Peano Arithmetic.Paula Henk & Albert Visser - 2017 - Archive for Mathematical Logic 56 (5-6):555-584.details
|
|
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.details
|
|
Restrictiveness relative to notions of interpretation.Luca Incurvati & Benedikt Löwe - 2016 - Review of Symbolic Logic 9 (2): 238-250.details
|
|
(1 other version)Notion of Interpretation and Nonelementary Languages.Michal Krynicki - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (6):541-552.details
|
|
(1 other version)Restricted Decision Problems in Some Classes of Algebraic Systems.Michałl Muzalewski - 1978 - Mathematical Logic Quarterly 24 (17‐18):279-287.details
|
|
(1 other version)Restricted Decision Problems in Some Classes of Algebraic Systems.Michałl Muzalewski - 1978 - Mathematical Logic Quarterly 24 (17-18):279-287.details
|
|
(1 other version)Predicative Expansions of Axiomatic Theories.Stanissław Krajewski - 1974 - Mathematical Logic Quarterly 20 (28-29):435-452.details
|
|
(1 other version)Non‐Effectiveness in S. Orey's Arithmetical Compactness Theorem.R. G. Jeroslow - 1971 - Mathematical Logic Quarterly 17 (1):285-289.details
|
|
(1 other version)Interpretability in Robinson's Q.Fernando Ferreira & Gilda Ferreira - 2013 - Bulletin of Symbolic Logic 19 (3):289-317.details
|
|
Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.details
|
|
Measure independent Gödel speed‐ups and the relative difficulty of recognizing sets.Martin K. Solomon - 1993 - Mathematical Logic Quarterly 39 (1):384-392.details
|
|
Axiomatizability by a schema.Robert L. Vaught - 1967 - Journal of Symbolic Logic 32 (4):473-479.details
|
|
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.details
|
|
(1 other version)Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski. [REVIEW]Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|