Concepedia

Admissible Rules

Admissible Rules is a logical principle in intuitionistic logic that denotes a rule of inference which, when added to the system without altering the set of derivable theorems, preserves the existing consequence relation, thereby distinguishing it from derivable rules by its conservativity over provability.

89

Publications

3.1K

Citations

121

Authors

71

Institutions

Publications per year

2017–2026

8

Parents

Publications

89

Data mining using two-dimensional optimized association rules

Takeshi Fukuda, Yasukiko Morimoto, Shinichi Morishita et al. · 1996 · 267 citations

, , +9

On the admissible rules of intuitionistic propositional logic

Rosalie Iemhoff · Journal of Symbolic Logic · 2001 · 151 citations · Full text

, , +10

Data Mining with optimized two-dimensional association rules

Takeshi Fukuda, Yasuhiko Morimoto, Shinichi Morishita et al. · ACM Transactions on Database Systems · 2001 · 106 citations

, , +10

Data mining using two-dimensional optimized association rules

Takeshi Fukuda, Yasukiko Morimoto, Shinichi Morishita et al. · ACM SIGMOD Record · 1996 · 103 citations · Full text

, , +9

A criterion for admissibility of rules in the model system S4 and the intuitionistic logic

Vladimir V. Rybakov · Algebra and Logic · 1984 · 100 citations

, , +10

1–5 of 89

Authors

121

  1. VV
    Vladimir V. Rybakov

    Manchester Metropolitan University, United Kingdom

    13 publications · 412 citations

    12

    h-index

  2. RI
    Rosalie Iemhoff

    Utrecht University, Netherlands

    8 publications · 372 citations

    8

    h-index

  3. EJ
    Emil Jeřábek

    Czech Academy of Sciences, Institute of Mathematics, Czechia

    6 publications · 254 citations

    6

    h-index

  4. TT
    Takeshi Tokuyama

    Hitachi (Japan), Japan

    3 publications · 476 citations

    3

    h-index

  5. SM
    Shinichi Morishita

    The University of Tokyo, Japan

    3 publications · 476 citations

    3

    h-index

1–5 of 121

Institutions

71

  1. Czech Academy of Sciences, Institute of Mathematics

    Prague, Czechia

    5 h-index

    5 publications

    198 citations

  2. Utrecht University

    Utrecht, The Netherlands

    5 h-index

    5 publications

    180 citations

  3. Manchester Metropolitan University

    Manchester, United Kingdom

    4 h-index

    5 publications

    156 citations

  4. Czech Academy of Sciences

    Prague, Czechia

    3 h-index

    3 publications

    129 citations

  5. IBM Research - Tokyo

    Tokyo, Japan

    3 h-index

    11 publications

    1.8K citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    3 publications

    90 citations

  7. Northwestern University

    Evanston, United States

    2 h-index

    3 publications

    139 citations

  8. University of Amsterdam

    Amsterdam, The Netherlands

    2 h-index

    2 publications

    163 citations

1–8 of 71

Venues

  1. The Annals of Statistics

    9 publications · 260 citations

    9

    h-index

  2. Notre Dame Journal of Formal Logic

    7 publications · 146 citations

    7

    h-index

  3. Logic Journal of IGPL

    5 publications · 111 citations

    5

    h-index

  4. Mathematical logic quarterly

    MLQ · 4 publications · 104 citations

    4

    h-index

  5. Journal of Logic and Computation

    4 publications · 172 citations

    4

    h-index

1–5