- Two episodes in the unification of logic and topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.details
|
|
Asymptotic conditional probabilities: The non-unary case.Adam J. Grove, Joseph Y. Halpern & Daphne Koller - 1996 - Journal of Symbolic Logic 61 (1):250-276.details
|
|
Index sets in Ershov's hierarchy.Jacques Grassin - 1974 - Journal of Symbolic Logic 39 (1):97-104.details
|
|
Hanf number for Scott sentences of computable structures.S. S. Goncharov, J. F. Knight & I. Souldatos - 2018 - Archive for Mathematical Logic 57 (7-8):889-907.details
|
|
Ambiguities in “the algorithmic level”.Alvin I. Goldman - 1987 - Behavioral and Brain Sciences 10 (3):484-485.details
|
|
Unentscheidbarkeitsgrade Rekursiver Funktionen.Bernhard Goetze - 1974 - Mathematical Logic Quarterly 20 (8-12):189-191.details
|
|
Der Iterierte Limes Rekursiver Funktionen und Die Arithmetische Hierarchie.B. Goetze, R. Klette & D. Gillo - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (16-17):265-272.details
|
|
Die Struktur des Halbverbandes der Effektiven Numerierungen.Bernhard Goetze - 1974 - Mathematical Logic Quarterly 20 (8-12):183-188.details
|
|
Why you'll never know whether Roger Penrose is a computer.Clark Glymour & Kevin Kelly - 1990 - Behavioral and Brain Sciences 13 (4):666-667.details
|
|
The study of cognition and instructional design: Mutual nurturance.Robert Glaser - 1987 - Behavioral and Brain Sciences 10 (3):483-484.details
|
|
Where is the material of the emperor's mind?David L. Gilden & Joseph S. Lappin - 1990 - Behavioral and Brain Sciences 13 (4):665-666.details
|
|
On subcreative sets and S-reducibility.John T. Gill & Paul H. Morris - 1974 - Journal of Symbolic Logic 39 (4):669-677.details
|
|
Strong AI and the problem of “second-order” algorithms.Gerd Gigerenzer - 1990 - Behavioral and Brain Sciences 13 (4):663-664.details
|
|
Alan Turing and the foundations of computable analysis.Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (3):394-430.details
|
|
Vagueness and Formal Fuzzy Logic: Some Criticisms.Giangiacomo Gerla - 2017 - Logic and Logical Philosophy 26 (4).details
|
|
Turing L -machines and recursive computability for L -maps.Giangiacomo Gerla - 1989 - Studia Logica 48 (2):179 - 192.details
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
The degrees of conditional problems.Su Gao - 1994 - Journal of Symbolic Logic 59 (1):166-181.details
|
|
The automorphism group and definability of the jump operator in the $$\omega $$ ω -enumeration degrees.Hristo Ganchev & Andrey C. Sariev - 2021 - Archive for Mathematical Logic 60 (7):909-925.details
|
|
Don't ask Plato about the emperor's mind.Alan Gamham - 1990 - Behavioral and Brain Sciences 13 (4):664-665.details
|
|
Robust separations in inductive inference.Mark Fulk - 2011 - Journal of Symbolic Logic 76 (2):368 - 376.details
|
|
Borel sets and hyperdegrees.Harvey M. Friedman - 1973 - Journal of Symbolic Logic 38 (3):405-409.details
|
|
Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings.Rüsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1988 - Mathematical Logic Quarterly 34 (6):531-539.details
|
|
How to compute antiderivatives.Chris Freiling - 1995 - Bulletin of Symbolic Logic 1 (3):279-316.details
|
|
Connections between identifying functionals, standardizing operations, and computable numberings.Rüsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1984 - Mathematical Logic Quarterly 30 (9‐11):145-164.details
|
|
Schnorr trivial sets and truth-table reducibility.Johanna N. Y. Franklin & Frank Stephan - 2010 - Journal of Symbolic Logic 75 (2):501-521.details
|
|
Anti-Complex Sets and Reducibilities with Tiny Use.Johanna N. Y. Franklin, Noam Greenberg, Frank Stephan & Guohua Wu - 2013 - Journal of Symbolic Logic 78 (4):1307-1327.details
|
|
On Σ1 1 equivalence relations over the natural numbers.Ekaterina B. Fokina & Sy-David Friedman - 2012 - Mathematical Logic Quarterly 58 (1-2):113-124.details
|
|
Isomorphism relations on computable structures.Ekaterina B. Fokina, Sy-David Friedman, Valentina Harizanov, Julia F. Knight, Charles Mccoy & Antonio Montalbán - 2012 - Journal of Symbolic Logic 77 (1):122-132.details
|
|
Elementary Formal Systems for Hyperarithmetical Relations.Melvin Fitting - 1978 - Mathematical Logic Quarterly 24 (1‐6):25-30.details
|
|
Elementary Formal Systems for Hyperarithmetical Relations.Melvin Fitting - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):25-30.details
|
|
Axiomatizing semantic theories of truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.details
|
|
A revenge-immune solution to the semantic paradoxes.Hartry Field - 2003 - Journal of Philosophical Logic 32 (2):139-177.details
|
|
The complexity of learning SUBSEQ(A).Stephen Fenner, William Gasarch & Brian Postow - 2009 - Journal of Symbolic Logic 74 (3):939-975.details
|
|
Almost weakly 2-generic sets.Stephen A. Fenner - 1994 - Journal of Symbolic Logic 59 (3):868-887.details
|
|
The strong homogeneity conjecture.L. Feiner - 1970 - Journal of Symbolic Logic 35 (3):375-377.details
|
|
Hiearchies of Boolean algebras.Lawrence Feiner - 1970 - Journal of Symbolic Logic 35 (3):365-374.details
|
|
The first‐order theory of the c‐degrees.Paddy Farrinoton - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):437-446.details
|
|
Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (32‐33):523-528.details
|
|
Reduzierbarkeit von Berechenbaren Numerierungen von P1.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (28-30):445-458.details
|
|
A classification of low c.e. sets and the Ershov hierarchy.Marat Faizrahmanov - forthcoming - Mathematical Logic Quarterly.details
|
|
What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.details
|
|
A quantitative analysis of modal logic.Ronald Fagin - 1994 - Journal of Symbolic Logic 59 (1):209-252.details
|
|
The evolutionary aspect of cognitive functions.J. -P. Ewert - 1987 - Behavioral and Brain Sciences 10 (3):481-483.details
|
|
The scientific induction problem: A case for case studies.K. Anders Ericsson - 1987 - Behavioral and Brain Sciences 10 (3):480-481.details
|
|
Agent‐based computational models and generative social science.Joshua M. Epstein - 1999 - Complexity 4 (5):41-60.details
|
|
Agreement reducibility.Rachel Epstein & Karen Lange - 2020 - Mathematical Logic Quarterly 66 (4):448-465.details
|
|
Diagonalisation and Church's Thesis: Kleene's Homework.Enrique Alonso & Maria Manzano - 2005 - History and Philosophy of Logic 26 (2):93-113.details
|
|
A note on the hyperarithmetical hierarchy.H. B. Enderton & Hilary Putnam - 1970 - Journal of Symbolic Logic 35 (3):429-430.details
|
|
Zfc proves that the class of ordinals is not weakly compact for definable classes.Ali Enayat & Joel David Hamkins - 2018 - Journal of Symbolic Logic 83 (1):146-164.details
|
|