Concepedia

Infinite Logic

Infinite Logic is a formal logical system that extends classical first-order logic by allowing infinitely long formulas and infinite conjunctions or disjunctions, thereby enabling reasoning over infinite structures and sequences that cannot be captured by finitary logical means.

58

Publications

2.2K

Citations

70

Authors

56

Institutions

Publications per year

2017–2026

3

Parents

Publications

58

Infinite words : automata, semigroups, logic and games

Dominique Perrin · 2004 · 215 citations

, , +8

Infinitary logics and 0–1 laws

Phokion G. Kolaitis, Moshe Y. Vardi · Information and Computation · 1992 · 155 citations

, , +6

Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory

L. P. Belluce · Canadian Journal of Mathematics · 1986 · 143 citations · Full text

, , +11

On formulas of one variable in intuitionistic propositional calculus

Iwao Nishimura · Journal of Symbolic Logic · 1960 · 137 citations

, , +8

Invariant Measures in Free MV-Algebras

Giovanni Panti · Communications in Algebra · 2008 · 92 citations

, , +14

1–5 of 58

Authors

70

  1. ST
    Szymon Toruńczyk

    University of Warsaw, Poland

    3 publications · 45 citations

    3

    h-index

  2. MB
    Mikołaj Bojańczyk

    University of Warsaw, Poland

    3 publications · 45 citations

    3

    h-index

  3. LP
    L. P. Belluce

    University of British Columbia, Canada

    3 publications · 202 citations

    3

    h-index

  4. DM
    Daniele Mundici

    University of Florence, Italy

    3 publications · 53 citations

    3

    h-index

  5. AK
    Akiko Kino

    University of Education, Winneba, Ghana

    2 publications · 23 citations

    2

    h-index

1–5 of 70

Institutions

56

  1. University of Milan

    Milan, Italy

    5 h-index

    6 publications

    92 citations

  2. University of New Mexico

    Albuquerque, United States

    2 h-index

    2 publications

    106 citations

  3. University of Oslo

    Oslo, Norway

    2 h-index

    2 publications

    61 citations

  4. University of Calabria

    Rende, Italy

    2 h-index

    2 publications

    86 citations

  5. Fundación Ciencias Exactas y Naturales

    Buenos Aires, Argentina

    2 h-index

    2 publications

    62 citations

  6. Laboratoire d'Informatique Algorithmique: Fondements et Applications

    Paris, France

    2 h-index

    2 publications

    241 citations

  7. University of Udine

    Udine, Italy

    2 h-index

    2 publications

    105 citations

  8. University of Warsaw

    Warsaw, Poland

    2 h-index

    6 publications

    78 citations

1–8 of 56

Venues

  1. Journal of Symbolic Logic

    6 publications · 262 citations

    6

    h-index

  2. Archive for Mathematical Logic

    3 publications · 65 citations

    3

    h-index

  3. Mind

    3 publications · 133 citations

    3

    h-index

  4. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 2 publications · 31 citations

    2

    h-index

  5. Proceedings of the American Mathematical Society

    PROC · 2 publications · 22 citations

    2

    h-index

1–5