Concepedia

Logical Completeness

Logical Completeness is a theoretical property in abstract interpretation that characterizes an abstraction as being able to precisely preserve the validity of all logical implications between concrete and abstract domains, ensuring that any true assertion in the concrete semantics has a corresponding provable assertion in the abstract semantics.

343

Publications

34K

Citations

443

Authors

285

Institutions

Publications per year

2017–2026

20

Parents

Publications

343

Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?

Albert Einstein, Boris Podolsky, N. Rosen · Physical Review · 1935 · 16.7K citations · Full text

, , +10

Can Quantum-Mechanical Description of Physical Reality be Considered Complete?

Nicole L. Bohr · Physical Review · 1935 · 1.9K citations · Full text

, , +10

Pushing the EL envelope

Franz Baader, Sebastian Brandt, Carsten Lutz · 2005 · 869 citations · Full text

, , +11

Completeness in the theory of types

Leon Henkin · Journal of Symbolic Logic · 1950 · 842 citations

, , +12

An application of games to the completeness problem for formalized theories

Andrzej Ehrenfeucht · Fundamenta Mathematicae · 1961 · 613 citations · Full text

, , +14

1–5 of 343

Authors

443

  1. CN
    Carles Noguera

    Artificial Intelligence Research Institute, Spain

    6 publications · 174 citations

    6

    h-index

  2. FM
    Franco Montagna

    University of Siena, Italy

    5 publications · 113 citations

    5

    h-index

  3. PC
    Petr Cintula

    Czech Academy of Sciences, Institute of Computer Science, Czechia

    5 publications · 202 citations

    5

    h-index

  4. CL
    Carsten Lutz

    University of Bremen, Germany

    4 publications · 972 citations

    4

    h-index

  5. AS
    Amı́lcar Sernadas

    Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Portugal

    3 publications · 138 citations

    3

    h-index

1–5 of 443

Institutions

285

  1. Centre National de la Recherche Scientifique

    Paris, France

    13 h-index

    14 publications

    587 citations

  2. University of Siena

    Siena, Italy

    6 h-index

    8 publications

    176 citations

  3. University of Padua

    Padua, Italy

    5 h-index

    6 publications

    235 citations

  4. McGill University

    Montreal, Canada

    5 h-index

    5 publications

    164 citations

  5. Czech Academy of Sciences, Institute of Computer Science

    Prague, Czechia

    5 h-index

    7 publications

    381 citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    6 publications

    424 citations

  7. Stanford University

    Stanford, United States

    4 h-index

    6 publications

    222 citations

  8. University of Oxford

    Oxford, United Kingdom

    4 h-index

    4 publications

    119 citations

1–8 of 285

Venues

  1. Journal of Symbolic Logic

    42 publications · 3.6K citations

    28

    h-index

  2. Studia Logica

    21 publications · 506 citations

    13

    h-index

  3. Annals of Pure and Applied Logic

    12 publications · 286 citations

    12

    h-index

  4. Notre Dame Journal of Formal Logic

    15 publications · 475 citations

    12

    h-index

  5. Mathematical logic quarterly

    MLQ · 12 publications · 593 citations

    11

    h-index

1–5