This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

1030 found
Order:
1 — 50 / 1030
  1. Second-Order Logic And Foundations Of Mathematics.Jouko V. "A. "An "Anen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
  2. Translation and Meaning.B. . Lewandowska-Tomaszczyk & M. Thelen (eds.) - 2008 - Hogeschool Zuyd.
  3. Contents of Volume 19.Llp 19 - 2010 - Logic and Logical Philosophy 19 (4):365-366.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  4. Acknowledgments.Llp 20 - 2011 - Logic and Logical Philosophy 20 (4):363.
    Remove from this list   Direct download (13 more)  
     
    Export citation  
     
    My bibliography  
  5. Contents of Volume 20.Llp 20 - 2011 - Logic and Logical Philosophy 20 (4):361-362.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  6. Contents of Volume 21.Contents Volume 21 - 2012 - Logic and Logical Philosophy 21 (4):473-474.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  7. Notices.767 768 - 1992 - Journal of Symbolic Logic 57 (2):1543-1544.
    The Bulletin of Symbolic Logic, Volume 20, Issue 3, Page 411-416, SEPTEMBER 2014.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  8. Fourth Annual Meeting of the Western Philosophical Association.A. O. L. A. O. L. - 1904 - Journal of Philosophy 1 (10):269.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  9. Elements of Formal Logic. [REVIEW]E. J. A. - 1965 - Review of Metaphysics 19 (2):379-379.
  10. The Rational as Reasonable: A Treatise on Legal Justification.A. Aarnio - 1988 - Studia Logica 47 (1):75-76.
    Remove from this list  
     
    Export citation  
     
    My bibliography   1 citation  
  11. Textbooks, Second Annual Survey Of.G. M. Abbott - 1951 - Classical World: A Quarterly Journal on Antiquity 45:214.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  12. Advances in Experimental Philosophy of Logic and Mathematics.Andrew Aberdein & Matthew Inglis (eds.) - forthcoming - London: Bloomsbury Press.
  13. On the Solvability of Infinite Systems of Boolean Polynomial Equations.Alexander Abian, Paul D. Bacsich, S. Bulman-Fleming & H. Lakser - 1975 - Journal of Symbolic Logic 40 (1):88-92.
  14. KAT-ML: An Interactive Theorem Prover for Kleene Algebra with Tests.Kamal Aboul-Hosn & Dexter Kozen - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):9-33.
  15. A Note on the Fruitfulness of Deduction.Leo Abraham - 1936 - Philosophy of Science 3 (2):152-155.
  16. Implication, Modality and Intension in Symbolic Logic.Leo Abraham - 1933 - The Monist 43 (1):119-153.
  17. 2010 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984.P. Aczel, J. B. Paris, A. J. Wilkie, G. M. Wilmers & C. E. M. Yates - 1986 - Journal of Symbolic Logic 51 (2):480-502.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  19. European Summer Meeting of the Association for Symbolic Logic, Manchester, England, 1984.P. Aczel, J. B. Paris, A. J. Wilkie, G. M. Wilmers & C. E. M. Yates - 1986 - Journal of Symbolic Logic 51 (2):480-502.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. The Fundamentals of General Logic.E. M. Adams - 1954 - Longmans, Green.
  21. The Logic of Conditionals.Ernest Adams, Ernest W. Adams, Jaakko Hintikka & Patrick Suppes - 1974 - Journal of Symbolic Logic 39 (3):609-611.
  22. From the Editors.M. E. Adams & W. Dziobiak - 1996 - Studia Logica 56 (1-2):3-5.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  23. From the Editors.M. Adams, K. Adaricheva, W. Dziobiak & A. Kravchenko - 2004 - Studia Logica 78 (1-2):3-5.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  24. A game-based formal system L.A. Adamson - 1979 - Studia Logica 38:49.
  25. Meeting of the Association for Symbolic Logic: Berkeley, 1983.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  26. Meeting of the Association for Symbolic Logic.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27. The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic, Madison 1978.John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen & Yiannis N. Moschovakis - 1979 - Journal of Symbolic Logic 44 (3):469-480.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic.John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen & Yiannis N. Moschovakis - 1979 - Journal of Symbolic Logic 44 (3):469-480.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  29. Grammatical Inference Algorithms and Applications : 6th International Colloquium, Icgi 2002, Amsterdam, the Netherlands, September 23-25, 2002 : Proceedings. [REVIEW]Pieter Adriaans, Henning Fernau & Menno van Zaanen - 2002
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  30. Subiektywnosc i niepowtarzalnosc metody bezposredniego doswiadczenia.K. Ajdukiewicz - 1962 - Studia Logica 13:209.
    Remove from this list   Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  31. Preface.Kazimierz Ajdukiewicz - 1966 - Studia Logica 19 (1):11-11.
  32. Pomiar.Kazimierz Ajdukiewicz - 1961 - Studia Logica 11 (1):223 - 231.
  33. Zagadnienie Uzasadnienia Zdań Analitycznych.Kazimierz Ajdukiewicz - 1958 - Studia Logica 8 (1):273-276.
  34. Okres Warunkowy a Implikacja Materialna.Kazimierz Ajdukiewicz - 1956 - Studia Logica 4 (1):117 - 153.
  35. Klasyfikacja Rozumowań.Kazimierz Ajdukiewicz - 1955 - Studia Logica 2 (1):278 - 300.
  36. Sprawa planu prac badawczych w zakresie logiki.Kazimierz Ajdukiewicz - 1955 - Studia Logica 2 (1):267-276.
  37. Concernig the Plan of Research in the Field of Logic.Kazimierz Ajdukiewicz - 1955 - Studia Logica 2 (1):277-277.
  38. From the Methodology of the Deductive Sciences.Kazimierz Ajdukiewicz & Ludwik Borkowski - 1966 - Studia Logica 19 (1):9 - 45.
  39. 22nd Annual Meeting Abstracts-2009.Daniel M. Albert - 1999 - Annals of Science 56:25-45.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  40. The Sixteenth Annual Meeting of the Western Philosophical Association.H. B. Alexander & B. H. Bode - 1916 - Journal of Philosophy, Psychology and Scientific Methods 13 (14):374-384.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41. Proceedings of the Sixteenth Amsterdam Colloquium.Floris Aloni, Dekker, Roelofsen, Maria, Paul (ed.) - 2007
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  42. 18th Amsterdam Colloquium.M. Aloni (ed.) - forthcoming - Springer.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  43. Logic, Language, and Meaning: Selected Papers From the 17th Amsterdam Colloquium.M. Aloni, H. Bastiaanse, T. de Jager & K. Schulz (eds.) - 2010 - Springer.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  44. Proceedings of the Sixteenth Amsterdam Colloquium.Maria Aloni & Paul Dekker - unknown
    The 2007 edition of the Amsterdam Colloquium is the Sixteenth in a series which started in 1976. Originally, the Amsterdam Colloquium was an initiative of the Department of Philosophy of the University of Amsterdam. Since 1984 the Colloquium is organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  45. Amsterdam Colloquium 2009, LNAI 6042.Maria Aloni & Katrin Schulz (eds.) - 2010 - Springer.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  46. 1996–97 Annual Meeting of the Association for Symbolic Logic.Iklaus Ambos - 1997 - Bulletin of Symbolic Logic 3 (3):378-396.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  47. Twenty-Fourth Annual Meeting of the Association for Symbolic Logic.Alan Ross Anderson - 1959 - Journal of Symbolic Logic 24 (4):312-326.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  48. Active Logic Semantics for a Single Agent in a Static World.Michael Anderson, Walid Gomaa, John Grant & Don Perlis - manuscript
    Artificial Intelligence, in press. Abstract: For some time we have been developing, and have had significant practical success with, a time-sensitive, contradiction-tolerant logical reasoning engine called the active logic machine (ALMA). The current paper details a semantics for a general version of the underlying logical formalism, active logic. Central to active logic are special rules controlling the inheritance of beliefs in general (and of beliefs about the current time in particular), very tight controls on what can be derived from direct (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  49. Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004. [REVIEW]Alessandro Andretta, Keith Kearnes & Domenico Zambella (eds.) - 2008 - Cambridge University Press.
    Highlights of this volume from the 2004 Annual European Meeting of the Association for Symbolic Logic (ASL) include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect "abstract elementary classes" to issues around p-adic integration.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  50. Syllogisms Diagrammed: IAA to IAO.Mark Andrews - manuscript
    This document diagrams the forms IAA, IAE, IAI, and IAO, including all four figures. Each form and figure has the following information: (1) Premises as stated: Venn diagram showing what the premises say; (2) Purported conclusion: diagram showing what the premises claim to say; (3) Relation of premises to conclusion: intended to describe how the premises and conclusion relate to each other, such as validity or contradiction. Used in only a few examples; (4) Distribution: intended to create a system in (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1030