- The powers of machines and minds.Chris Mortensen - 1990 - Behavioral and Brain Sciences 13 (4):678-679.details
|
|
Nonverbal knowledge as algorithms.Chris Mortensen - 1987 - Behavioral and Brain Sciences 10 (3):487-488.details
|
|
Logic and probabilistic systems.Franco Montagna, Giulia Simi & Andrea Sorbi - 1996 - Archive for Mathematical Logic 35 (4):225-261.details
|
|
A completeness result for fixed‐point algebras.Franco Montagna - 1984 - Mathematical Logic Quarterly 30 (32‐34):525-532.details
|
|
A Completeness Result for Fixed‐Point Algebras.Franco Montagna - 1984 - Mathematical Logic Quarterly 30 (32-34):525-532.details
|
|
An algebraic approach to propositional fuzzy logic.Franco Montagna - 2000 - Journal of Logic, Language and Information 9 (1):91-124.details
|
|
A Refinement of Low n and High n for the R.E. Degrees.Jeanleah Mohrherr - 1986 - Mathematical Logic Quarterly 32 (1‐5):5-12.details
|
|
A Refinement of Low n_ and High _n for the R.E. Degrees.Jeanleah Mohrherr - 1986 - Mathematical Logic Quarterly 32 (1-5):5-12.details
|
|
Complexity of equational theory of relational algebras with projection elements.Szabolcs Mikulás, Ildikó Sain & Andras Simon - 1992 - Bulletin of the Section of Logic 21 (3):103-111.details
|
|
A Classification of the Recursive Functions.Albert R. Meyer & Dennis M. Ritchie - 1972 - Mathematical Logic Quarterly 18 (4‐6):71-82.details
|
|
A Classification of the Recursive Functions.Albert R. Meyer & Dennis M. Ritchie - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):71-82.details
|
|
Recursively enumerable vector spaces.G. Metakides - 1977 - Annals of Mathematical Logic 11 (2):147.details
|
|
Trees and Isols II.T. G. McLaughlin - 1976 - Mathematical Logic Quarterly 22 (1):45-78.details
|
|
Trees and Isols II.T. G. McLaughlin - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):45-78.details
|
|
Field’s logic of truth.Vann McGee - 2010 - Philosophical Studies 147 (3):421-432.details
|
|
Computation and consciousness.Drew McDermott - 1990 - Behavioral and Brain Sciences 13 (4):676-678.details
|
|
Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.details
|
|
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.details
|
|
Sur une extension simple du calcul intuitionniste Des predicats du premier ordre appliquee a l'analyse.Maurice Margenstern - 1984 - Mathematical Logic Quarterly 30 (19‐24):317-324.details
|
|
Sur Une Extension Simple du Calcul Intuitionniste Des Predicats du Premier Ordre Appliquee a L'Analyse.Maurice Margenstern - 1984 - Mathematical Logic Quarterly 30 (19-24):317-324.details
|
|
On speedability of recursively enumerable sets.Ivan Marques - 1975 - Mathematical Logic Quarterly 21 (1):199-214.details
|
|
Bounded enumeration reducibility and its degree structure.Daniele Marsibilio & Andrea Sorbi - 2012 - Archive for Mathematical Logic 51 (1-2):163-186.details
|
|
Gödel redux.Alexis Manaster-Ramer, Walter J. Savitch & Wlodek Zadrozny - 1990 - Behavioral and Brain Sciences 13 (4):675-676.details
|
|
Embedding Properties of Total Recursive Functions.W. Maier, W. Menzel & V. Sperschneider - 1982 - Mathematical Logic Quarterly 28 (33‐38):565-574.details
|
|
Embedding Properties of Total Recursive Functions.W. Maier, W. Menzel & V. Sperschneider - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):565-574.details
|
|
Uncertainty about quantum mechanics.Mark S. Madsen - 1990 - Behavioral and Brain Sciences 13 (4):674-675.details
|
|
On Boolean Algebras and their Recursive Completions.E. W. Madison - 1985 - Mathematical Logic Quarterly 31 (31‐34):481-486.details
|
|
Decision theory with complex uncertainties.Dilip B. Madan & J. C. Owings - 1988 - Synthese 75 (1):25 - 44.details
|
|
The discomforts of dualism.Bruce MacLennan - 1990 - Behavioral and Brain Sciences 13 (4):673-674.details
|
|
Recursively invariant beta-recursion theory.Wolfgand Maass - 1981 - Annals of Mathematical Logic 21 (1):27.details
|
|
Quantum AI.Rudi Lutz - 1990 - Behavioral and Brain Sciences 13 (4):672-673.details
|
|
Natürliche Kompliziertheitsmasze und Erhaltungssätze II.Gerhard Lischke - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (13‐15):193-200.details
|
|
Natürliche Kompliziertheitsmasze und Erhaltungssätze I.Gerhard Lischke - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):413-418.details
|
|
Natürliche Kompliziertheitsmasze und Erhaltungssätze I.Gerhard Lischke - 1976 - Mathematical Logic Quarterly 22 (1):413-418.details
|
|
Time-delays in conscious processes.Benjamin Libet - 1990 - Behavioral and Brain Sciences 13 (4):672-672.details
|
|
Topological aspects of the Medvedev lattice.Andrew Em Lewis, Richard A. Shore & Andrea Sorbi - 2011 - Archive for Mathematical Logic 50 (3-4):319-340.details
|
|
Classes of Recursive Functions and Their Index Sets.F. D. Lewis - 1971 - Mathematical Logic Quarterly 17 (1):291-294.details
|
|
Classes of Recursive Functions and Their Index Sets.F. D. Lewis - 1971 - Mathematical Logic Quarterly 17 (1):291-294.details
|
|
Connectionism and motivation are compatible.Daniel S. Levine - 1987 - Behavioral and Brain Sciences 10 (3):487-487.details
|
|
On extensions of embeddings into the enumeration degrees of the -sets.Steffen Lempp, Theodore A. Slaman & Andrea Sorbi - 2005 - Journal of Mathematical Logic 5 (02):247-298.details
|
|
New blades for occam's razor.Bernhard Lauth - 1997 - Erkenntnis 46 (2):241-267.details
|
|
An abstract model for inductive inference.Bernhard Lauth - 1994 - Erkenntnis 40 (1):87 - 120.details
|
|
Generality and applications.Jill H. Larkin - 1987 - Behavioral and Brain Sciences 10 (3):486-487.details
|
|
Then-rea enumeration degrees are dense.Alistair H. Lachlan & Richard A. Shore - 1992 - Archive for Mathematical Logic 31 (4):277-285.details
|
|
Some Notions of Reducibility and Productiveness.A. H. Lachlan - 1965 - Mathematical Logic Quarterly 11 (1):17-44.details
|
|
Some Notions of Reducibility and Productiveness.A. H. Lachlan - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (1):17-44.details
|
|
Jump Theorems for REA Operators.Alistair H. Lachlan & Xiaoding Yi - 1993 - Mathematical Logic Quarterly 39 (1):1-6.details
|
|
Some natural decision problems in automatic graphs.Dietrich Kuske & Markus Lohrey - 2010 - Journal of Symbolic Logic 75 (2):678-710.details
|
|
Decidable and undecidable logics with a binary modality.ágnes Kurucz, István Németi, Ildikó Sain & András Simon - 1995 - Journal of Logic, Language and Information 4 (3):191-206.details
|
|
The Length Problem for Co‐R.E. Sets.Martin Kummer - 1988 - Mathematical Logic Quarterly 34 (3):277-282.details
|
|