Concepedia

Axiomatics

Axiomatics is a theoretical framework within formal ontology that systematizes a domain of inquiry by specifying a set of primitive axioms from which further truths within that domain are deductively derived.

268

Publications

22.7K

Citations

363

Authors

215

Institutions

Publications per year

2017–2026

27

Parents

Publications

268

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

, , +17

Institutions and axioms: an extension and update of service-dominant logic

Stephen L. Vargo, Robert F. Lusch · Journal of the Academy of Marketing Science · 2015 · 3.5K citations

, , +6

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

, , +17

Notes on formalizing context

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

, , +14

Axiomatic Design Theory for Systems

Nam P. Suh · Research in Engineering Design · 1998 · 550 citations

, , +11

1–5 of 268

Authors

363

  1. NP
    Nam P. Suh

    Massachusetts Institute of Technology, United States

    6 publications · 829 citations

    6

    h-index

  2. CC
    Constantinos Challoumis - Κωνσταντίνος Χαλλουμής

    National and Kapodistrian University of Athens, Greece

    5 publications · 117 citations

    5

    h-index

  3. CA
    C. A. R. Hoare

    University of Oxford, United Kingdom

    4 publications · 5.9K citations

    4

    h-index

  4. JH
    Jaakko Hintikka

    Boston University, United States

    4 publications · 68 citations

    4

    h-index

  5. DS
    Dirk Schlimm

    McGill University, Canada

    3 publications · 76 citations

    3

    h-index

1–5 of 363

Institutions

215

  1. Massachusetts Institute of Technology

    Cambridge, United States

    8 h-index

    17 publications

    1.4K citations

  2. University of Oxford

    Oxford, United Kingdom

    6 h-index

    8 publications

    437 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    5 publications

    195 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    5 h-index

    7 publications

    181 citations

  5. National and Kapodistrian University of Athens

    Athens, Greece

    5 h-index

    5 publications

    117 citations

  6. Leipzig University

    Leipzig, Germany

    4 h-index

    6 publications

    206 citations

  7. University of Pisa

    Pisa, Italy

    4 h-index

    7 publications

    358 citations

  8. Stanford University

    Stanford, United States

    4 h-index

    5 publications

    881 citations

1–8 of 215

Venues

  1. Journal of Symbolic Logic

    15 publications · 625 citations

    12

    h-index

  2. Notre Dame Journal of Formal Logic

    10 publications · 268 citations

    10

    h-index

  3. Journal of Philosophical Logic

    9 publications · 344 citations

    9

    h-index

  4. Studia Logica

    8 publications · 272 citations

    8

    h-index

  5. SSRN Electronic Journal

    Repository · 6 publications · 147 citations

    6

    h-index

1–5