The Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936...
2 KB (57 words) - 05:22, 2 May 2024
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded...
18 KB (1,168 words) - 08:19, 13 September 2024
Mathematical logic, also called 'logistic', 'symbolic logic', the 'algebra of logic', and, more recently, simply 'formal logic', is the set of logical theories...
68 KB (8,330 words) - 00:46, 4 November 2024
Proper forcing axiom (category Axioms of set theory)
Suslin's hypothesis, a non-special Aronszajn tree, and GCH", (1994), Journal of Symbolic Logic (59) pp. 1–29 Jech, Thomas (2002). Set theory (Third millennium...
6 KB (895 words) - 11:23, 8 April 2024
George Boolos (category History of logic)
system of modal logic," Journal of Philosophical Logic 14: 351–358. 1986, Review of Yuri Manin, A Course in Mathematical Logic, Journal of Symbolic Logic 51:...
19 KB (2,176 words) - 18:16, 30 August 2024
"Quantification and the empty domain", The Journal of Symbolic Logic, 19 (3), Association for Symbolic Logic: 177–179, doi:10.2307/2268615, JSTOR 2268615...
32 KB (4,422 words) - 02:29, 30 September 2024
Analysis of Matter. pp. 173. Ruth C. Barcan (March 1946). "A Functional Calculus of First Order Based on Strict Implication". Journal of Symbolic Logic. 11...
60 KB (8,461 words) - 05:55, 27 September 2024
Alonzo Church (category University of California, Los Angeles faculty)
a founding editor of the Journal of Symbolic Logic, editing its reviews section for 43 years from 1936 until 1979. His authorship of a prominent textbook...
24 KB (2,214 words) - 05:17, 5 November 2024
Leon Henkin (category University of California, Berkeley College of Letters and Science faculty)
completeness of propositional logic given by Quine, which had appeared a few months before in the Journal of Symbolic Logic. This reading was highly significant...
68 KB (10,309 words) - 07:09, 28 July 2024
Continuum hypothesis (category CS1 maint: DOI inactive as of November 2024)
(1986). "Axioms of Symmetry: Throwing darts at the real number line". Journal of Symbolic Logic. 51 (1). Association for Symbolic Logic: 190–200. doi:10...
31 KB (3,922 words) - 05:33, 2 November 2024
Polish notation (section Polish notation for logic)
Pogorzelski in the Journal of Symbolic Logic in 1965. Heinrich Behmann, editor in 1924 of the article of Moses Schönfinkel, already had the idea of eliminating...
27 KB (2,434 words) - 23:56, 22 July 2024
embeddings and infinitary combinatorics", Journal of Symbolic Logic, 36 (3), The Journal of Symbolic Logic, Vol. 36, No. 3: 407–413, doi:10.2307/2269948...
6 KB (816 words) - 07:12, 30 August 2024
The Journal of Symbolic Logic. 44 (2): 267–270. doi:10.2307/2273733. JSTOR 2273733. S2CID 35835482. Wolfengagen, V. E. (2003). Combinatory logic in programming:...
41 KB (5,243 words) - 13:58, 25 August 2024
Algorithm (redirect from Software logic)
B. (1939). "An Informal Exposition of Proofs of Godel's Theorem and Church's Theorem". Journal of Symbolic Logic. 4 (2): 53–60. doi:10.2307/2269059....
58 KB (6,735 words) - 18:51, 30 October 2024
Elliott Mendelson (category American philosophers of mathematics)
Martin & Elliott Mendelson (1975). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 40 (2):299-304. Hugues Leblanc, Elliott Mendelson...
8 KB (662 words) - 02:37, 23 October 2024
Turing jump (category Year of introduction missing)
Transfinite: The Master Code Hierarchy of Turing Degrees". Journal of Symbolic Logic. 45 (2). Association for Symbolic Logic: 204–220. doi:10.2307/2273183. JSTOR 2273183...
8 KB (893 words) - 18:12, 18 January 2024
Irving Copi (redirect from Introduction to Logic)
of the calculus of relations", Journal of Symbolic Logic 13(4): 193–203 Jstor link George Nashnikian (1956) "Review: Introduction to Logic, Symbolic Logic...
7 KB (556 words) - 21:14, 16 September 2024
logics". Journal of Symbolic Logic. 71 (1): 137–162. doi:10.2178/jsl/1140641166. S2CID 12322009. Hájek, Petr (1998). Metamathematics of fuzzy logic....
54 KB (6,602 words) - 16:55, 22 September 2024
of types, The Journal of Symbolic Logic 5(2):56–68 (1940) Huet, Gérard P. (1973). "The Undecidability of Unification in Third Order Logic". Information...
9 KB (1,061 words) - 10:50, 5 December 2023
attempted to publish the new proof in The Journal of Symbolic Logic, but it was rejected on the grounds that a new proof of an elementary mathematical theorem...
14 KB (1,966 words) - 18:13, 4 August 2024
R. R. Rockingham Gill (category Alumni of the University of St Andrews)
variously in the Journal of Symbolic Logic, Archiv für mathematische Logik und Grundlagenforschung (Archive for Mathematical Logic and Basic Research)...
3 KB (254 words) - 03:20, 25 April 2024
The Bulletin of Symbolic Logic, 1995 ff. The Journal of Symbolic Logic, 1936 ff. The Review of Symbolic Logic, 2008 ff. Journal of Logic and Algebraic...
6 KB (712 words) - 20:26, 17 May 2023
Entscheidungsproblem (redirect from Decision problem (logic))
Entscheidungsproblem", Journal of Symbolic Logic, 1 (1936), pp 40–41. Davis, Martin (2001). Engines of logic: mathematicians and the origin of the computer. Norton...
19 KB (2,636 words) - 09:57, 1 October 2024
New Foundations (redirect from New Foundations for Mathematical Logic)
SSSR. 189 (2): 41–243. Hailperin, T (1944). "A set of axioms for logic". Journal of Symbolic Logic. 9 (1): 1–19. doi:10.2307/2267307. JSTOR 2267307. S2CID 39672836...
50 KB (8,041 words) - 04:07, 25 October 2024
Fast-growing hierarchy (category Hierarchy of functions)
(1983), "The slow-growing and the Grzegorczyk hierarchies", The Journal of Symbolic Logic, 48 (2): 399–408, doi:10.2307/2273557, ISSN 0022-4812, JSTOR 2273557...
13 KB (1,561 words) - 11:16, 24 February 2024
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic...
32 KB (4,399 words) - 09:00, 7 October 2024
David N. (1990). "Quantales and (Noncommutative) Linear Logic". The Journal of Symbolic Logic. 55 (1): 41–64. doi:10.2307/2274953. hdl:10338.dmlcz/140417...
6 KB (800 words) - 13:39, 28 February 2024
Church–Turing thesis (category Articles with Stanford Encyclopedia of Philosophy links)
(1939). "An Informal Exposition of Proofs of Godel's Theorem and Church's Theorem". The Journal of Symbolic Logic. 4 (2): 53–60. doi:10.2307/2269059...
57 KB (6,736 words) - 13:50, 8 November 2024
Alfred Tarski (category Philosophers of logic)
Introduction to Logic and to the Methodology of Deductive Sciences. Dover. 1941. "On the calculus of relations", Journal of Symbolic Logic 6: 73–89. 1944...
50 KB (5,747 words) - 02:17, 7 November 2024
"Topological Logic". The Journal of Symbolic Logic. 33 (4): 537–548. doi:10.2307/2271360. ISSN 0022-4812. JSTOR 2271360. S2CID 2110963. "Temporal Logic (Stanford...
33 KB (3,804 words) - 12:12, 7 November 2024