Concepedia

Symbolic Logic

Symbolic Logic is a formal system of deductive reasoning that uses symbolic representation to precisely express logical forms and inferential relationships, distinguishing itself from natural language logic by its reliance on abstract symbols and syntactic rules to ensure rigorous and unambiguous derivation of conclusions.

508

Publications

42.6K

Citations

909

Authors

370

Institutions

Publications per year

2017–2026

75

Variants

Formal Logic

Parents

Publications

508

Elements of Symbolic Logic.

J. C. C. McKinsey, Hans Reichenbach · American Mathematical Monthly · 1948 · 2.3K citations

, , +11

SymPy: symbolic computing in Python

Aaron Meurer, Christopher P. Smith, Mateusz Paprocki et al. · PeerJ Computer Science · 2017 · 1.6K citations · Full text

, , +9

Introduction to Logical Theory.

Hugues Leblanc, P. E. Strawson · Philosophy and Phenomenological Research · 1953 · 1.5K citations

, , +16

<b>Preliminaries to speech analysis:</b> The distinctive features and their correlates. By Roman Jakobson, C. Gunnar M. Fant, and Morris Halle. (Technical report No. 13, 2d printing with additions and corrections.) Pp. viii, 58. [Cambridge, Mass.]: Acoustics Laboratory, Massachusetts Institute of Technology, 1952.

Paul L. Garvin · Language · 1953 · 1.2K citations · Full text

, , +11

The Art of Prolog

Leon Sterling, Ehud Shapiro, Randy Garrett · IEEE Expert · 1987 · 1.1K citations

, , +9

1–5 of 508

Authors

909

  1. PH
    Pascal Hitzler

    Wright State University, United States

    7 publications · 394 citations

    7

    h-index

  2. GC
    Giovanni Ciatto

    University of Bologna, Italy

    5 publications · 292 citations

    5

    h-index

  3. AD
    Artur d’Avila Garcez

    City, University of London, United Kingdom

    5 publications · 322 citations

    5

    h-index

  4. AO
    Andrea Omicini

    University of Bologna, Italy

    5 publications · 292 citations

    5

    h-index

  5. SB
    Sebastian Bader

    University of Rostock, Germany

    5 publications · 349 citations

    5

    h-index

1–5 of 909

Institutions

370

  1. Carnegie Mellon University

    Pittsburgh, United States

    11 h-index

    26 publications

    633 citations

  2. Stanford University

    Stanford, United States

    9 h-index

    13 publications

    833 citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    8 h-index

    14 publications

    4K citations

  4. University of California, Berkeley

    Berkeley, United States

    7 h-index

    15 publications

    2K citations

  5. University of Edinburgh

    Edinburgh, United Kingdom

    7 h-index

    12 publications

    650 citations

  6. University of Washington

    Seattle, United States

    6 h-index

    13 publications

    598 citations

  7. Yale University

    New Haven, United States

    6 h-index

    7 publications

    1.5K citations

  8. University of Toronto

    Toronto, Canada

    5 h-index

    9 publications

    336 citations

1–8 of 370

Venues

  1. Journal of Symbolic Logic

    32 publications · 2.9K citations

    21

    h-index

  2. Bulletin of Symbolic Logic

    11 publications · 716 citations

    11

    h-index

  3. arXiv (Cornell University)

    Repository · 9 publications · 552 citations

    9

    h-index

  4. Artificial Intelligence

    9 publications · 699 citations

    9

    h-index

  5. Choice Reviews Online

    CRO · 9 publications · 915 citations

    9

    h-index

1–5