- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Results for 'Co-Sponsored by the Association for Symbolic Logic'
(not author) ( search as author name )
1000+ found
Order:
- Conference on mathematical logic: Co-sponsored by the association for symbolic logic, pasris, 1992.G. Sabbagh - 1994 - Journal of Symbolic Logic 59 (1):345.
- Australasian Association for Logic 1999 Annual Conference Co-Sponsored by the Association for Symbolic Logic.Ross Brady - 2000 - Bulletin of Symbolic Logic 6 (2):248-255.
- Annual meeting of the society for exact philosophy: Co-sponsored by the association for symbolic logic, Victoria, british columbia, canada, may 23- 26, 1991. [REVIEW]Charles G. Morgan - 1992 - Journal of Symbolic Logic 57 (2):749.
- 10th workshop on logic, language, information and computation (WoLLIC '2003): Co-sponsored by the association for symbolic logic, ouro preto (minas gerais), Brazil july 29-August 1, 2003. [REVIEW]Ruy J. G. B. de Queiroz - 2004 - Bulletin of Symbolic Logic 10 (2):295-296.
- 2003 annual conference of the australasian association for logic: Sponsored by the association for symbolic logic, Adelaide, australia july 5-6, 2003. [REVIEW]Ross Brady - 2004 - Bulletin of Symbolic Logic 10 (2):290-294.
- Jack H. Silver. Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Annals of mathematical logic, vol. 18 , pp. 1–28. - John P. Burgess. Equivalences generated by families of Borel sets. Proceedings of the American Mathematical Society. vol. 69 , pp. 323–326. - John P. Burgess. A reflection phenomenon in descriptive set theory. Fundamenta mathematicae. vol. 104 , pp. 127–139. - L. Harrington and R. Sami. Equivalence relations, projective and beyond. Logic Colloquium '78, Proceedings of the Colloquium held in Mons, August 1978, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 247–264. - Leo Harrington and Saharon Shelah. Counting equivalence classes for co-κ-Souslin equivalence relations. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edit. [REVIEW]Alain Louveau - 1987 - Journal of Symbolic Logic 52 (3):869-870.
- Kalin Theodore A.. Formal logic and switching circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 251–257. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (4):345-346.
- E. W. Veitch. A chart method for simplifying truth functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 127–133. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):56-56.
- Burkhart W. H.. A method for synthesis of two-valued feedback circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 265–272. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):56-56.
- Burkhart W. H.. Theorem minimization. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 259–263. [REVIEW]Raymond J. Nelson - 1953 - Journal of Symbolic Logic 18 (4):348-348.
- Semon Warren L.. Characteristic numbers and their use in the decomposition of switching functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 273–280. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):57-57.
- The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Steve Awodey (Managing Editor). John Baldwin, John. [REVIEW]Burgess Mark Colyvan Anuj Dawar Mirna, Marcelo Fiore Dzamonja, Hannes Leitgeb, Roger Maddux, Andre Nies Carsten Schurmann, Kai Wehmeier & Matthias Wille Au - 2009 - Bulletin of Symbolic Logic 15 (2).Export citation
Bookmark - The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Steve Awodey (Managing Editor), John Baldwin, John. [REVIEW]Mark Colyvan Burgess, Anuj Dawar, Marcelo Fiore, Noam Greenberg & Hannes Leitgeb - 2010 - Bulletin of Symbolic Logic 16 (1).
- The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Alasdair Urquhart (Managing Editor), Steve Awodey. [REVIEW]Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux, Grigori Mints & Volker Peckhaus - 2008 - Bulletin of Symbolic Logic 14 (2).Export citation Bookmark
- Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic (...)
- Seventh Latin American on Mathematical Logic- Meeting of the association for symbolic logic: Campinas, Brazil, 1985.Walter Carnielli - 1986 - Journal of Symbolic Logic 51 (4):1093-1103.This publication refers to the proceedings of the Seventh Latin American on Mathematical Logic held in Campinas, SP, Brazil, from July 29 to August 2, 1985. The event, dedicated to the memory of Ayda I. Arruda, was sponsored as an official Meeting of the Association for Symbolic Logic. Walter Carnielli. -/- The Journal of Symbolic Logic Vol. 51, No. 4 (Dec., 1986), pp. 1093-1103.
- Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982 - North-Holland.
- L. Beklemishev. Another pathological well-ordering. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 105–108. [REVIEW]G. Mints - 2001 - Bulletin of Symbolic Logic 7 (4):534-534.
- Michael Rathjen. The superjump in Martin-Löf type theory_. _Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 363–386. [REVIEW]Michael Möllerfeld - 2002 - Bulletin of Symbolic Logic 8 (4):538-538.
- Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 , pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 , pp. 58. [REVIEW]J. -P. Ressayre - 1987 - Journal of Symbolic Logic 52 (1):279-284.
- Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
- Michael Rathjen. The superjump in Martin-Löf type theory_. _Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 363–386. [REVIEW]Michael Möllerfeld - 2002 - Bulletin of Symbolic Logic 8 (4):538-538.
- Sets and Proofs, Invited Papers from Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
- Wilfried Buchholz. Notation systems for infinitary derivations_. Archive for mathematical logic, vol. 30 no. 5–6 (1991), pp. 277–296. - Wilfried Buchholz. _Explaining Gentzen's consistency proof within infinitary proof theory_. Computational logic and proof theory, 5th Kurt Gödel colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, Lecture notes in computer science, vol. 1289, Springer, Berlin, Heidelberg, New York, etc., 1997, pp. 4–17. - Sergei Tupailo. _Finitary reductions for local predicativity, I: recursively regular ordinals. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Háajek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., etc., 2000, pp. 465–499. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
- Thomas Strahm. Autonomous fixed point progressions and fixed point transfinite recursion. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 449–464. [REVIEW]Andrea Cantini - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.
- Jeremy Avigad. A realizability interpretation for classical arithmetic. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 57–90. [REVIEW]Ulrich Berger - 2002 - Bulletin of Symbolic Logic 8 (3):439-440.
- Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
- Wadge degrees and projective ordinals. The Cabal Seminar, Volume II, edited by A. S. Kechris, B. Löwe, and J.R. Steel, Lecture Notes in Logic, vol. 37. Association for Symbolic Logic and Cambridge University Press, Cambridge, 2012, xxii + 526 pp. [REVIEW]Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (4):492-496.
- The Notre Dame Lectures, edited by Peter Cholak, Lecture Notes in Logic, vol. 18. Association for Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2005, vii + 185 pp. [REVIEW]Roman Kossak - 2006 - Bulletin of Symbolic Logic 12 (4):605-607.
- Logic Colloquium '73: Proceedings of the Logic Colloquium, Bristol, July 1973.H. E. Rose, J. C. Shepherdson & Association for Symbolic Logic - 1975 - North-Holland.
- Proceedings of the Tarski Symposium: An International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday.Leon Henkin, Alfred Tarski & Association for Symbolic Logic - 1979 - Amer Mathematical Society.
- European summer meeting of the association for symbolic logic logic colloquium'93.Symbolic Logic - 1995 - Bulletin of Symbolic Logic 1 (4):489-490.Export citation Bookmark
- Of the association for symbolic logic.Warren Goldfarb, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Dana Scott & Michael Kremer - 2004 - Bulletin of Symbolic Logic 10 (3):438.Export citation Bookmark
- Of the association for symbolic logic.Donald A. Martin - 1998 - Bulletin of Symbolic Logic 4 (2).
- Of the association for symbolic logic.Valentina Harizanov - 2006 - Bulletin of Symbolic Logic 12 (4):613-624.
- Of the association for symbolic logic.Methodologicalpredicativity Jeremy Avigad - 2002 - Bulletin of Symbolic Logic 8 (3).
- Okada S.. Topology applied to switching circuits. Proceedings of the Symposium on Information Networks, sponsored by the Polytechnic Institute of Brooklyn Microwave Research Institute, in cooperation with the Institute of Radio Engineers Professional Group on Circuit Theory, and co-sponsored by the Office of Naval Research, the Office of Scientific Research of the Signal Corps, New York, N.Y., April 12, 13, 14, 1954, New York 1955, pp. 267–290. [REVIEW]Raymond J. Nelson - 1956 - Journal of Symbolic Logic 21 (2):210-211.
- Of the association for symbolic logic.Janet Folina, Douglas Jesseph, Dirk Schlimm, Emily Grosholz, Kenneth Manders, Sun-Joo Shin, Saul Kripke & William Ewald - 2009 - Bulletin of Symbolic Logic 15 (2):229.Export citation Bookmark
- Of the association for symbolic logic.Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman - 2006 - Bulletin of Symbolic Logic 12 (3-4):503.
- Of the association for symbolic logic.John Bell, Peter Freyd & Vaughn Pratt - 1995 - Bulletin of Symbolic Logic 1 (3).Export citation Bookmark
- Of the association for symbolic logic.S. Lempp, G. Lolli, D. Marker, T. Martin, R. McKenzie, W. Pohlers, W. Sieg, U. de’Liguro, M. Dezani & A. Marcone - 2005 - Bulletin of Symbolic Logic 11 (2).Export citation Bookmark
- Meetings of the Association for Symbolic Logic, U.S.-Japan Logic Seminar, Tokyo 1969.Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):357-359.
- Meeting of the association for symbolic logic: Washington, D. C., 1985.Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg - 1986 - Journal of Symbolic Logic 51 (4):1085-1092.
- Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180 - 190.
- Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352 - 364.
- Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
- Meeting of the Association for Symbolic Logic, Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newto N. C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
- Annual meeting of the Association for Symbolic Logic.Burton Dreben & James Thomson - 1968 - Journal of Symbolic Logic 33 (4):636-644.
- 2004 Summer Meeting of the Association for Symbolic Logic.Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2):249-312.
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05.Stan S. Wainer - 2006 - Bulletin of Symbolic Logic 12 (2):310-361.
| 1 — 50 / 1000 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-7g5mb uwo