Concepedia

Logical Syntax

Logical Syntax is a formal system within mathematical language that specifies the structural rules governing the formation of valid expressions, distinguishing itself by defining the syntactic correctness of logical formulas without reference to their semantic interpretation.

130

Publications

10.1K

Citations

191

Authors

86

Institutions

Publications per year

2017–2026

6

Parents

Publications

130

1–5 of 130

Authors

191

  1. LB
    Lars Birkedal

    Aarhus University, Denmark

    3 publications · 197 citations

    3

    h-index

  2. DD
    Derek Dreyer

    Max Planck Institute for Software Systems, Germany

    3 publications · 197 citations

    3

    h-index

  3. WG
    William G. Lycan

    University of North Carolina at Chapel Hill, United States

    3 publications · 218 citations

    3

    h-index

  4. AW
    Arthur W. Burks

    University of Michigan, United States

    2 publications · 111 citations

    2

    h-index

  5. RC
    Rudolf Carnap

    University of Chicago, United States

    2 publications · 985 citations

    2

    h-index

1–5 of 191

Institutions

86

  1. IT University of Copenhagen

    Copenhagen, Denmark

    6 h-index

    6 publications

    389 citations

  2. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    3 h-index

    5 publications

    311 citations

  3. Utrecht University

    Utrecht, The Netherlands

    3 h-index

    5 publications

    328 citations

  4. SRI International

    Menlo Park, United States

    3 h-index

    7 publications

    235 citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    2 publications

    56 citations

  6. Laboratoire Bordelais de Recherche en Informatique

    Talence, France

    2 h-index

    2 publications

    31 citations

  7. University of Milano-Bicocca

    Milan, Italy

    2 h-index

    6 publications

    255 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    2 publications

    30 citations

1–8 of 86

Venues

  1. Language

    6 publications · 855 citations

    6

    h-index

  2. Journal of Logic and Computation

    4 publications · 212 citations

    4

    h-index

  3. The Journal of Philosophy

    3 publications · 997 citations

    3

    h-index

  4. Choice Reviews Online

    CRO · 3 publications · 545 citations

    3

    h-index

  5. Bulletin of Symbolic Logic

    3 publications · 101 citations

    3

    h-index

1–5