- On Modal Logics of Partial Recursive Functions.Pavel Naumov - 2005 - Studia Logica 81 (3):295-309.details
|
|
Some properties of r-maximal sets and Q 1,N -reducibility.R. Sh Omanadze - 2015 - Archive for Mathematical Logic 54 (7-8):941-959.details
|
|
The bi-embeddability relation for finitely generated groups II.Simon Thomas & Jay Williams - 2016 - Archive for Mathematical Logic 55 (3-4):385-396.details
|
|
(1 other version)Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):419-422.details
|
|
(1 other version)On the Number of Solovay r-Degrees.Douglas R. Busch - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):283-286.details
|
|
(2 other versions)On the Recursivity of Finite Sets.Ronald Harrop - 1961 - Mathematical Logic Quarterly 7 (7-10):136-140.details
|
|
(1 other version)Fine Degrees of Word Problems of Cancellation Semigroups.Carl G. Jockusch - 1980 - Mathematical Logic Quarterly 26 (1-6):93-95.details
|
|
(1 other version)Linear Order Types of Nonrecursive Presentability.Dev Kumar Roy - 1985 - Mathematical Logic Quarterly 31 (31-34):495-501.details
|
|
Nonverbal knowledge as algorithms.Chris Mortensen - 1987 - Behavioral and Brain Sciences 10 (3):487-488.details
|
|
Weak versus strong claims about the algorithmic level.Paul S. Rosenbloom - 1987 - Behavioral and Brain Sciences 10 (3):490-490.details
|
|
What is the algorithmic level?M. M. Taylor & R. A. Pigeau - 1987 - Behavioral and Brain Sciences 10 (3):495-496.details
|
|
Methodologies for studying human knowledge.John R. Anderson - 1987 - Behavioral and Brain Sciences 10 (3):467-477.details
|
|
Derivatives of Computable Functions.Ning Zhong - 1998 - Mathematical Logic Quarterly 44 (3):304-316.details
|
|
Effective Structures.Alexandra A. Soskova - 1997 - Mathematical Logic Quarterly 43 (2):235-250.details
|
|
(1 other version)Properly Σ2 Enumeration Degrees.S. B. Cooper & C. S. Copestake - 1988 - Mathematical Logic Quarterly 34 (6):491-522.details
|
|
(1 other version)On Absoluteness.Karol Habart - 1989 - Mathematical Logic Quarterly 35 (5):469-480.details
|
|
(1 other version)On Some Problems Related to Enumerated Types of Algebras.Andrzej Orlicki - 1988 - Mathematical Logic Quarterly 34 (6):553-562.details
|
|
(1 other version)Representation of One‐One Degrees by n‐Cylindrical Decision Problems.M. B. Thuraisingham - 1988 - Mathematical Logic Quarterly 34 (6):481-490.details
|
|
Continuous versus Borel reductions.Simon Thomas - 2009 - Archive for Mathematical Logic 48 (8):761-770.details
|
|
Computable shuffle sums of ordinals.Asher M. Kach - 2008 - Archive for Mathematical Logic 47 (3):211-219.details
|
|
Subrecursive degrees and fragments of Peano Arithmetic.Lars Kristiansen - 2001 - Archive for Mathematical Logic 40 (5):365-397.details
|
|
On some filters and ideals of the Medvedev lattice.Andrea Sorbi - 1990 - Archive for Mathematical Logic 30 (1):29-48.details
|
|
A New Reducibility between Turing‐ and wtt‐Reducibility.Sui Yuefei - 1994 - Mathematical Logic Quarterly 40 (1):106-110.details
|
|
A Note on Closed Degrees of Difficulty of the Medvedev Lattice.Caterina Bianchini & Andrea Sorbi - 1996 - Mathematical Logic Quarterly 42 (1):127-133.details
|
|
Effectively and Noneffectively Nowhere Simple Sets.Valentina S. Harizanov - 1996 - Mathematical Logic Quarterly 42 (1):241-248.details
|
|
Immunity properties and strong positive reducibilities.Irakli O. Chitaia, Roland Sh Omanadze & Andrea Sorbi - 2011 - Archive for Mathematical Logic 50 (3-4):341-352.details
|
|
Some natural decision problems in automatic graphs.Dietrich Kuske & Markus Lohrey - 2010 - Journal of Symbolic Logic 75 (2):678-710.details
|
|
Random reals and possibly infinite computations Part I: Randomness in ∅'.Verónica Becher & Serge Grigorieff - 2005 - Journal of Symbolic Logic 70 (3):891-913.details
|
|
Antirealism and the Roles of Truth.B. G. Sundholm - unknowndetails
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 151--161.details
|
|
Turing’s Responses to Two Objections.Darren Abramson - 2008 - Minds and Machines 18 (2):147-167.details
|
|
Logic, ontology, mathematical practice.Stewart Shapiro - 1989 - Synthese 79 (1):13 - 50.details
|
|
Tarskian and Kripkean truth.Volker Halbach - 1997 - Journal of Philosophical Logic 26 (1):69-80.details
|
|
Domains for computation in mathematics, physics and exact real arithmetic.Abbas Edalat - 1997 - Bulletin of Symbolic Logic 3 (4):401-452.details
|
|
Evaluating the explanatory power of the Conscious Turing Machine.Asger Kirkeby-Hinrup, Jakob Stenseke & Morten S. Overgaard - 2024 - Consciousness and Cognition 124 (C):103736.details
|
|
The dependence of computability on numerical notations.Ethan Brauer - 2021 - Synthese 198 (11):10485-10511.details
|
|
(1 other version)An Absolutely Independent Set of ΣOmath image-Sentences.John Myhill - 1972 - Mathematical Logic Quarterly 18 (7):107-109.details
|
|
Agent‐based computational models and generative social science.Joshua M. Epstein - 1999 - Complexity 4 (5):41-60.details
|
|
(1 other version)Bounds in the Turing reducibility of functions.Karol Habart & K. Habart - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):423-430.details
|
|
(1 other version)A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems.Egon Börger - 1979 - Mathematical Logic Quarterly 25 (7-12):135-162.details
|
|
(1 other version)Some applications of forcing to hierarchy problems in arithmetic.Peter G. Hinman - 1969 - Mathematical Logic Quarterly 15 (20-22):341-352.details
|
|
(1 other version)Second Order Definability Via enumerations.Ivan N. Soskov - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):45-54.details
|
|
Perceptive questions about computation and cognition.Jon Doyle - 1990 - Behavioral and Brain Sciences 13 (4):661-661.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
|
|
Many levels: More than one is algorithmic.Michael A. Arbib - 1987 - Behavioral and Brain Sciences 10 (3):478-479.details
|
|
(1 other version)Relativized Gödel speed‐up and the degree of succinctness of representations.Martin K. Solomon - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):185-192.details
|
|
(1 other version)Reducibility Relationships Between Decision Problems for System Functions.M. B. Thuraisingham - 1987 - Mathematical Logic Quarterly 33 (4):305-312.details
|
|
(1 other version)On the Number of Solovay r‐Degrees.Douglas R. Busch - 1976 - Mathematical Logic Quarterly 22 (1):283-286.details
|
|
(1 other version)Rekursive Algebren mit Kettenbedingungen.Walter Baur - 1974 - Mathematical Logic Quarterly 20 (1‐3):37-46.details
|
|
Domatic partitions of computable graphs.Matthew Jura, Oscar Levin & Tyler Markkanen - 2014 - Archive for Mathematical Logic 53 (1-2):137-155.details
|
|