Concepedia

Axiomatic Language

Axiomatic Language is a formal system within mathematical logic that consists of a set of axioms and inference rules, distinguished by its reliance on a minimal foundation of self-evident truths from which all other statements are deductively derived.

127

Publications

5.9K

Citations

187

Authors

118

Institutions

Publications per year

2017–2026

14

Parents

Publications

127

Notes on formalizing context

John McCarthy · CogPrints (University of Southampton) · 1993 · 766 citations

, , +14

An axiomatic approach to sustainable development

Graciela Chichilnisky · Social Choice and Welfare · 1996 · 532 citations

, , +7

On the Extension of Beth's Semantics of Physical Theories

Bas C. van Fraassen · Philosophy of Science · 1970 · 300 citations

, , +16

An axiomatic approach to self-referential truth

Harvey M. Friedman, Michael Sheard · Annals of Pure and Applied Logic · 1987 · 231 citations

, , +13

An axiomatic approach of fuzzy rough sets based on residuated lattices

Yanhong She, Guojun Wang · Computers & Mathematics with Applications · 2009 · 196 citations

, , +12

1–5 of 127

Authors

187

  1. LA
    Luca Aceto

    Aalborg University, Denmark

    3 publications · 75 citations

    3

    h-index

  2. CP
    Clara Ponsatı́

    Institut d'Anàlisi Econòmica, Spain

    2 publications · 69 citations

    2

    h-index

  3. SW
    San-Min Wang

    Zhejiang Sci-Tech University, China

    2 publications · 44 citations

    2

    h-index

  4. VH
    Volker Halbach

    University of Oxford, United Kingdom

    2 publications · 103 citations

    2

    h-index

  5. SG
    Siegfried Gottwald

    Leipzig University, Germany

    2 publications · 73 citations

    2

    h-index

1–5 of 187

Institutions

118

  1. Utrecht University

    Utrecht, The Netherlands

    5 h-index

    6 publications

    142 citations

  2. Stanford University

    Stanford, United States

    4 h-index

    4 publications

    902 citations

  3. University of Toronto

    Toronto, Canada

    3 h-index

    4 publications

    399 citations

  4. University of Helsinki

    Helsinki, Finland

    3 h-index

    4 publications

    211 citations

  5. Aalborg University

    Aalborg, Denmark

    3 h-index

    5 publications

    135 citations

  6. Leipzig University

    Leipzig, Germany

    3 h-index

    4 publications

    101 citations

  7. University of California San Diego

    San Diego, United States

    2 h-index

    2 publications

    69 citations

  8. Universitat Autònoma de Barcelona

    Cerdanyola del Vallès, Spain

    2 h-index

    2 publications

    69 citations

1–8 of 118

Venues

  1. Studia Logica

    7 publications · 191 citations

    7

    h-index

  2. Journal of Philosophical Logic

    6 publications · 158 citations

    6

    h-index

  3. Theoretical Computer Science

    5 publications · 197 citations

    5

    h-index

  4. Journal of Symbolic Logic

    5 publications · 164 citations

    5

    h-index

  5. Notre Dame Journal of Formal Logic

    4 publications · 215 citations

    4

    h-index

1–5