Results for 'formal symbol'

1000+ found
Order:
  1.  17
    Towards a Formal Symbolic Occurrence Logic.Farshad Badie - 2018 - In Hans Götzsche (ed.), The Meaning of Language. Newcastle-under-Lyme, UK: Cambridge Scholars.
    In this research I will focus on a basis for a formal model based on an alternative kind of logic invented by Hans Götzsche: Occurrence Logic (Occ Log), which is not based on truth values and truth functionality. Also, I have taken into account tense logic developed and elaborated by A. N. Prior. In this article I will provide a conceptual and logical foundation for formal Occurrence Logic based on symbolic logic and will illustrate the most important relations (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Formal thought disorder and logical form: A symbolic computational model of terminological knowledge.Luis M. Augusto & Farshad Badie - 2022 - Journal of Knowledge Structures and Systems 3 (4):1-37.
    Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  65
    Non-symbolic arithmetic abilities and mathematics achievement in the first year of formal schooling.Camilla K. Gilmore, Shannon E. McCarthy & Elizabeth S. Spelke - 2010 - Cognition 115 (3):394-406.
  4.  17
    Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.Evert Willem Beth - 2012 - Dordrecht, Netherland: Springer Verlag.
    Many philosophers have considered logical reasoning as an inborn ability of mankind and as a distinctive feature in the human mind; but we all know that the distribution of this capacity, or at any rate its development, is very unequal. Few people are able to set up a cogent argument; others are at least able to follow a logical argument and even to detect logical fallacies. Nevertheless, even among educated persons there are many who do not even attain this relatively (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  19
    Simple formal logic: with common-sense symbolic techniques.Arnold Vander Nat - 2010 - New York: Routledge.
    Perfect for students with no background in logic or philosophy, Simple Formal Logic provides a full system of logic adequate to handle everyday and philosophical reasoning. By keeping out artificial techniques that aren’t natural to our everyday thinking process, Simple Formal Logic trains students to think through formal logical arguments for themselves, ingraining in them the habits of sound reasoning. Simple Formal Logic features: a companion website with abundant exercise worksheets, study supplements (including flashcards for symbolizations (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  21
    Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. Evert W. Beth. [REVIEW]Alan Rose - 1966 - Philosophy of Science 33 (1):84-85.
  7. Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.Evert W. Beth - 1962 - Studia Logica 14:346-348.
     
    Export citation  
     
    Bookmark   9 citations  
  8.  44
    Introductory Symbolic Logic Without Formal Proofs. [REVIEW]Thomas Young - 1992 - Teaching Philosophy 15 (3):296-298.
  9. Symbolic forms and formal design in music, morals and legal systems: Instead of an address to Alchourron Y Bulygin.W. Krawietz - 1997 - Rechtstheorie 28 (3).
     
    Export citation  
     
    Bookmark  
  10. Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.Evert W. Beth - 1966 - Philosophy of Science 33 (1):84-85.
     
    Export citation  
     
    Bookmark   1 citation  
  11.  7
    Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.Leon Henkin - 1962 - Journal of Symbolic Logic 30 (2):235-236.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  16
    Formal and symbolic factors in the art styles of primitive cultures.Herschel B. Chipp - 1960 - Journal of Aesthetics and Art Criticism 19 (2):153-166.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  13.  27
    An Abstract Property of Formalized Languages which Contain Hilberts ε-Symbol.Albert Leisenring - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (6):81-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  4
    An Abstract Property of Formalized Languages which Contain Hilberts ϵ‐Symbol.Albert Leisenring - 1968 - Mathematical Logic Quarterly 14 (6):81-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  15
    Richard M. Martin. A formalization of inductive logic. The journal of symbolic logic, vol. 23 no. 3 , pp. 251–256.Herbert G. Bohnert - 1969 - Journal of Symbolic Logic 34 (1):137-138.
  16. Review: Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. [REVIEW]Leon Henkin - 1965 - Journal of Symbolic Logic 30 (2):235-236.
  17.  14
    Beth Evert W.. Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Synthese library. D. Reidel Publishing Company, Dordrecht, Holland, and Gordon and Breach, New York, 1962, XIV + 170 pp. [REVIEW]Leon Henkin - 1965 - Journal of Symbolic Logic 30 (2):235-236.
  18.  6
    The Conscious Deformation Of The Poetry At The Formal Level With Visual Symbols Alluding To 'Cyclical Continuity' And 'Change And Transformation' At The Ontological Dimension: Formal Deviations In The Divan Poetry As A Field Of Stylistic Foregroundings.Özge Özteki̇n - 2012 - Journal of Turkish Studies 7:2139-2155.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. The symbol grounding problem.Stevan Harnad - 1990 - Physica D 42:335-346.
    There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This paper describes the symbol grounding problem : How can the semantic interpretation of a formal symbol system be made intrinsic to the system, rather than just parasitic on the meanings in our heads? How can the meanings of the meaningless symbol tokens, manipulated solely on the basis of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   340 citations  
  20. Mathematical symbols as epistemic actions.Johan De Smedt & Helen De Cruz - 2013 - Synthese 190 (1):3-19.
    Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  21.  79
    Formalization of logic.Rudolf Carnap - 1943 - Cambridge, Mass.,: Harvard university press.
  22. Formale Logik: logische Systeme: Einführung in die Metalogik.Ludwik Borkowski - 1976 - Berlin: Akademie Verlag. Edited by Lothar Kreiser.
     
    Export citation  
     
    Bookmark  
  23. Formalʹnai︠a︡ logika.I. I︠A︡ Chupakhin & I. N. Brodskiĭ (eds.) - 1977 - Leningrad: Izd-vo Leningradskogo universiteta.
     
    Export citation  
     
    Bookmark  
  24.  6
    Formal Logic (1847).Augustus De Morgan - 2018 - Franklin Classics.
    This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  25. Symbolic arithmetic knowledge without instruction.Camilla K. Gilmore, Shannon E. McCarthy & Elizabeth S. Spelke - unknown
    Symbolic arithmetic is fundamental to science, technology and economics, but its acquisition by children typically requires years of effort, instruction and drill1,2. When adults perform mental arithmetic, they activate nonsymbolic, approximate number representations3,4, and their performance suffers if this nonsymbolic system is impaired5. Nonsymbolic number representations also allow adults, children, and even infants to add or subtract pairs of dot arrays and to compare the resulting sum or difference to a third array, provided that only approximate accuracy is required6–10. Here (...)
     
    Export citation  
     
    Bookmark   40 citations  
  26.  21
    Set theory influenced logic, both through its semantics, by expanding the possible models of various theories and by the formal definition of a model; and through its syntax, by allowing for logical languages in which formulas can be infinite in length or in which the number of symbols is uncountable.Truth Definitions - 1998 - Bulletin of Symbolic Logic 4 (3).
  27.  54
    A Formalization of Set Theory Without Variables.István Németi - 1988 - American Mathematical Soc..
    Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  28.  16
    Dennis F. Cudia and Wilson E. Singletary. The Post correspondence problem. The journal of symbolic logic, vol. 33 , pp. 418–430. - Dennis F. Cudia and Wilson E. Singletary. Degrees of unsolvability in formal grammars. Journal of the Association for Computing Machinery, vol. 15 , pp. 680–692. [REVIEW]Ann Yasuhara - 1974 - Journal of Symbolic Logic 39 (1):185-186.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  13
    M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 , pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 , pp. 63–75. [REVIEW]Charles Parsons - 1970 - Journal of Symbolic Logic 35 (1):150-150.
  30.  17
    Robert E. Clay. A simple proof of functional completeness in many-valued logics based on Łukasiewicz's C and N. Notre Dame journal of formal logic, vol. 3 , pp. 114–117. - Robert E. Clay. Note on Stupecki T-functions. The journal of symbolic logic, vol. 27 no. 1 , pp. 53–54. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (1):105.
  31.  15
    E. J. Lemmon. An extension algebra and the modal system T.Notre Dame Journal of formal logic, vol. 1 , pp. 3–12. - E. J. Lemmon. Algebraic semantics for modal logics.The journal of symbolic logic, vol. 31 , pp. 46–65; pp. 191–218. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (1):136-137.
    Review of the paper mentioned in the title.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  10
    S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 , no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 , no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 , no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 , no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 , no. 3, pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  14
    Andreas Blass and Saharon Shelah. Ultrafilters with small generating sets. Israel journal of mathematics, vol. 65 , pp. 259–271. - Andreas Blass and Saharon Shelah. There may be simple - and -points and the Rudin–Keisler ordering may be downward directed. Annals of pure and applied logic, vol. 33 , pp. 213–243. - Andreas Blass. Near coherence of filters. II: Applications to operator ideals, the Stone–Čech remainder of a half-line, order ideals of sequences, and the slenderness of groups. Transactions of the American Mathematical Society, vol. 300 , pp. 557–581. - Andreas Blass and Saharon Shelah. Near coherence of filters III: a simplified consistency proof. Notre Dame journal of formal logic, vol. 30 , pp. 530–538. - Andreas Blass and Claude Laflamme. Consistency results about filters and the number of inequivalent growth types. The journal of symbolic logic, vol. 54 , pp. 50–56. - Andreas Blass. Applications of superperfect forcing and its relatives. Set theory and its applications. [REVIEW]Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.
  34.  2
    James H. Schmerl. Peano models with many generic classes. Pacific Journal of Mathematics, vol. 43 (1973), pp. 523–536. - James H. Schmerl. Correction to: “Peano models with many generic classes”. Pacific Journal of Mathematics, vol. 92 (1981), no. 1, pp. 195–198. - James H. Schmerl. Recursively saturated, rather classless models of Peano arithmetic. Logic Year 1979–80. Recursively saturated, rather classless models of Peano arithmetic. Logic Year 1979–80 (Proceedings, Seminars, and Conferences in Mathematical Logic, University of Connecticut, Storrs, Connecticut, 1979/80). edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture Notes in Mathematics, vol. 859. Springer, Berlin, pp. 268–282. - James H. Schmerl. Recursively saturatedmodels generated by indiscernibles. Notre Dane Journal of Formal Logic, vol. 26 (1985), no. 1, pp. 99–105. - James H. Schmerl. Large resplendent models generated by indiscernibles. The Journal of Symbolic Logic, vol. 54 (1989), no. 4, pp. 1382–1388. - Jam. [REVIEW]Roman Kossak - 2009 - Bulletin of Symbolic Logic 15 (2):222-227.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Formalizing Euclid’s first axiom.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (3):404-405.
    Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  19
    Arnon Avron. Relevance and paraconsistency—a new approach. The journal of symbolic logic, vol. 55 , pp. 707–732. - Arnon Avron. Relevance and paraconsistency—a new approach. Part II: the formal systems. Notre Dame journal of formal logic, vol. 31 , pp. 169–202. - Arnon Avron. Relevance and paraconsistency—a new approach. Part III: cut-free Gentzen-type systems. Notre Dame journal of formal logic, vol. 32 , pp. 147–160. [REVIEW]Alasdair Urquhart - 1992 - Journal of Symbolic Logic 57 (4):1481-1482.
  37.  17
    Formal Logic.Paul A. Gregory - 2017 - Peterborough, Ontario, Canada: Broadview Press.
    _Formal Logic_ is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The book’s nine chapters offer thorough coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal logic. Complex ideas are explained in plain language that doesn’t presuppose any background in logic or mathematics, and derivation strategies are illustrated with numerous examples. Translations, tables, trees, natural deduction, and simple meta-proofs are taught through over 400 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  10
    E. W. Beth. Remarks on natural deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, Vol. 58 , pp. 322–325; also Indagationes mathematicae, vol. 17 pp. 322–325. - E. W. Beth. Semantic entailment and formal derivability. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. letterkunde, n.s. vol. 18 no. 13 , pp. 309–342. - K. Jaakko J. Hintikka. A new approach to sentential logic. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 17 no. 2 , 14 pp. - K. Jaakko J. Hintikka. Form and content in quantification theory. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki1955, pp. 7–55. - K. Jaakko J. Hintikka. Notes on quantification theory. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 17 no. 12 , 13 pp. [REVIEW]William Craig - 1957 - Journal of Symbolic Logic 22 (4):360-363.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. A formal system for euclid’s elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.
    We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  40.  5
    Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 34 (4):648-649.
  41.  3
    James H. Schmerl. Peano models with many generic classes. Pacific Journal of Mathematics, vol. 43 (1973), pp. 523–536. - James H. Schmerl. Correction to: “Peano models with many generic classes”. Pacific Journal of Mathematics, vol. 92 (1981), no. 1, pp. 195–198. - James H. Schmerl. Recursively saturated, rather classless models of Peano arithmetic. Logic Year 1979–80. Recursively saturated, rather classless models of Peano arithmetic. Logic Year 1979–80 (Proceedings, Seminars, and Conferences in Mathematical Logic, University of Connecticut, Storrs, Connecticut, 1979/80). edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture Notes in Mathematics, vol. 859. Springer, Berlin, pp. 268–282. - James H. Schmerl. Recursively saturatedmodels generated by indiscernibles. Notre Dane Journal of Formal Logic, vol. 26 (1985), no. 1, pp. 99–105. - James H. Schmerl. Large resplendent models generated by indiscernibles. The Journal of Symbolic Logic, vol. 54 (1989), no. 4, pp. 1382–1388. - Jam. [REVIEW]Roman Kossak - 2009 - Bulletin of Symbolic Logic 15 (2):222-227.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  3
    R. M. Martin. A homogeneous system for formal logic. The journal of symbolic logic, vol. 8 , pp. 1–23.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):54-54.
  43.  27
    Dicent Symbols in Non-Human Semiotic Processes.João Queiroz - 2012 - Biosemiotics 5 (3):319-329.
    Against the view that symbol-based semiosis is a human cognitive uniqueness, we have argued that non-human primates such as African vervet monkeys possess symbolic competence, as formally defined by Charles S. Peirce. Here I develop this argument by showing that the equivocal role ascribed to symbols by “folk semiotics” stems from an incomplete application of the Peircean logical framework for the classification of signs, which describes three kinds of symbols: rheme, dicent and argument. In an attempt to advance in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  44.  22
    Formal representations of dependence and groundedness.Edoardo Rivello - 2020 - Review of Symbolic Logic 13 (1):105-140.
    We study, in an abstract and general framework, formal representations of dependence and groundedness which occur in semantic theories of truth. Our goals are: (a) to relate the different ways in which groundedness is defined according to the way dependence is represented; and (b) to represent different notions of dependence as instances of a suitable generalisation of the mathematical notion of functional dependence.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  3
    Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300. [REVIEW]Lennart Aqvist & E. J. Lemmon - 1970 - Journal of Symbolic Logic 34 (4):648-649.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Formal logic: its scope and limits.Richard C. Jeffrey - 1967 - Indianapolis, IN: Hackett.
    This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  47.  18
    Heinrich Behmann. Der Prädikatenkalkül mil limitierten Variablen. Grundlegung einer naturlichen exakten Logik. The journal of symbolic logic, vol. 24 no. 2 , pp. 112–140. - Heinrich Behmann. Das Russellsche Paradoxon und die formale Logik. Atti del XII Congresso Internazionale di Filosofia , Volume quinto, Logica, gnoseologia, filosofia delta scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 45–54. [REVIEW]G. Hasenjaeger - 1975 - Journal of Symbolic Logic 40 (4):583-584.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  32
    Evert W. Beth. Preface. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. XI–XIII. - Evert W. Beth. Science as a cultural factor. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 1–10. - Evert W. Beth. Natural science, philosophy, and persuasion. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 11–20. - Evert W. Beth. Scientific philosophy: its aims and means. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 29–34. - Evert W. Beth. Symbolic logic as a continuation of traditional formal logic. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 42–61. - Evert W. Beth. [REVIEW]H. L. Berghel - 1975 - Journal of Symbolic Logic 40 (2):255-298.
  49.  34
    Frederic Brenton Fitch. A system of formal logic without an analogue to the Curry W operator. The journal of symbolic logic, vol. 1 (1936), pp. 92–100. [REVIEW]Oskar Becker - 1937 - Journal of Symbolic Logic 2 (1):37-38.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  15
    M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75. [REVIEW]H. Hermes & H. A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (1):150-150.
1 — 50 / 1000