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

1039 found
Order:
1 — 50 / 1039
  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.
  27. A Note on Function Quantification.J. W. Addison & S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (1):47-48.
  28. 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.
  29. 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  
  30. Logical Foundations of Computer Science 4th International Symposium, Lfcs '97, Yaroslavl, Russia, July 6-12, 1997 : Proceedings'. [REVIEW]S. I. Adian & Anil Nerode - 1997
  31. Inductive Inference and Unsolvability.Leonard M. Adleman & M. Blum - 1991 - Journal of Symbolic Logic 56 (3):891.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  32. 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  
  33. Consistency, Truth and Ontology.Evandro Agazzi - 2011 - Studia Logica 97 (1):7-29.
    After a brief survey of the different meanings of consistency, the study is restricted to consistency understood as non-contradiction of sets of sentences. The philosophical reasons for this requirement are discussed, both in relation to the problem of sense and the problem of truth. The issue of mathematical truth is then addressed, and the different conceptions of it are put in relation with consistency. The formal treatment of consistency and truth in mathematical logic is then considered, with particular attention paid (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  34. Philosophy of Mathematics Today.Evandro Agazzi & György Darvas - 2000 - Studia Logica 65 (2):275-278.
  35. Logic and Argumentation.Thomas Ågotnes, Beishui Liao & Yì N. Wáng - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):163-164.
  36. Quasipolynomial Size Frege Proofs of Frankl’s Theorem on the Trace of Sets.James Aisenberg, Maria Luisa Bonet & Sam Buss - 2016 - Journal of Symbolic Logic 81 (2):687-710.
  37. Stability and Paradox in Algorithmic Logic.Wayne Aitken & Jeffrey A. Barrett - 2006 - Journal of Philosophical Logic 36 (1):61-95.
    There is significant interest in type-free systems that allow flexible self-application. Such systems are of interest in property theory, natural language semantics, the theory of truth, theoretical computer science, the theory of classes, and category theory. While there are a variety of proposed type-free systems, there is a particularly natural type-free system that we believe is prototypical: the logic of recursive algorithms. Algorithmic logic is the study of basic statements concerning algorithms and the algorithmic rules of inference between such statements. (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  38. 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  
  39. Preface.Kazimierz Ajdukiewicz - 1966 - Studia Logica 19 (1):11-11.
  40. Pomiar.Kazimierz Ajdukiewicz - 1961 - Studia Logica 11 (1):223 - 231.
  41. Zagadnienie Uzasadnienia Zdań Analitycznych.Kazimierz Ajdukiewicz - 1958 - Studia Logica 8 (1):273-276.
  42. Okres Warunkowy a Implikacja Materialna.Kazimierz Ajdukiewicz - 1956 - Studia Logica 4 (1):117 - 153.
  43. Sprawa planu prac badawczych w zakresie logiki.Kazimierz Ajdukiewicz - 1955 - Studia Logica 2 (1):267-276.
  44. Concernig the Plan of Research in the Field of Logic.Kazimierz Ajdukiewicz - 1955 - Studia Logica 2 (1):277-277.
  45. Klasyfikacja Rozumowań.Kazimierz Ajdukiewicz - 1955 - Studia Logica 2 (1):278 - 300.
  46. From the Methodology of the Deductive Sciences.Kazimierz Ajdukiewicz & Ludwik Borkowski - 1966 - Studia Logica 19 (1):9 - 45.
  47. 22nd Annual Meeting Abstracts-2009.Daniel M. Albert - 1999 - Annals of Science 56:25-45.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  48. 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  
  49. Proceedings of the Sixteenth Amsterdam Colloquium.Floris Aloni, Dekker, Roelofsen, Maria, Paul (ed.) - 2007
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  50. 18th Amsterdam Colloquium.M. Aloni (ed.) - forthcoming - Springer.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
1 — 50 / 1039