Concepedia

Equational Logic

Equational Logic is a formal deductive system within universal algebra that specifies the valid inferences concerning equality between terms, distinguished by its reliance on equational axioms and inference rules grounded solely in substitution, reflexivity, symmetry, transitivity, and congruence.

696

Publications

35K

Citations

831

Authors

363

Institutions

Publications per year

2017–2026

52

Parents

Publications

696

On the logic of theory change: Partial meet contraction and revision functions

Carlos E. Alchourrón, Peter Gärdenfors, David Makinson · Journal of Symbolic Logic · 1985 · 3.2K citations

, , +6

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 988 citations · Full text

, , +13

Scaling step-wise refinement

Don Batory, Jacob Neal Sarvela, Axel Rauschmayer · IEEE Transactions on Software Engineering · 2004 · 696 citations

, , +16

A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events

Dexter Kozen · Information and Computation · 1994 · 632 citations · Full text

, , +13

Programming real-time applications with SIGNAL

P. LeGuernic, Thierry Gautier, Michel Le Borgne et al. · Proceedings of the IEEE · 1991 · 538 citations · Full text

, , +17

1–5 of 696

Authors

831

  1. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    22 publications · 1.4K citations

    18

    h-index

  2. ZÉ
    Zoltán Ésik

    University of Szeged, Hungary

    13 publications · 314 citations

    12

    h-index

  3. LA
    Luca Aceto

    Aalborg University, Denmark

    11 publications · 340 citations

    11

    h-index

  4. JB
    J.A. Bergstra

    University of Amsterdam, Netherlands

    11 publications · 350 citations

    10

    h-index

  5. DK
    Dexter Kozen

    Cornell University, United States

    9 publications · 1.5K citations

    9

    h-index

1–5 of 831

Institutions

363

  1. Centre National de la Recherche Scientifique

    Paris, France

    21 h-index

    46 publications

    1.9K citations

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

    Le Chesnay-Rocquencourt, France

    21 h-index

    45 publications

    3K citations

  3. University of Edinburgh

    Edinburgh, United Kingdom

    20 h-index

    32 publications

    3.6K citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    16 h-index

    28 publications

    731 citations

  5. University of Oxford

    Oxford, United Kingdom

    15 h-index

    36 publications

    3.8K citations

  6. University of Cambridge

    Cambridge, United Kingdom

    14 h-index

    24 publications

    847 citations

  7. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    14 h-index

    29 publications

    1.2K citations

  8. SRI International

    Menlo Park, United States

    13 h-index

    24 publications

    4.5K citations

1–8 of 363

Venues

  1. Theoretical Computer Science

    31 publications · 2.1K citations

    19

    h-index

  2. Journal of Symbolic Logic

    28 publications · 4.4K citations

    18

    h-index

  3. Studia Logica

    19 publications · 889 citations

    17

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 28 publications · 1.1K citations

    16

    h-index

  5. Mathematical Structures in Computer Science

    MSCS · 21 publications · 702 citations

    16

    h-index

1–5