Abstract | ||
---|---|---|
This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation property holds. |
Year | DOI | Venue |
---|---|---|
2013 | 10.2178/JSL.7803120 | J. Symb. Log. |
Field | DocType | Volume |
Intuitionistic logic,Discrete mathematics,Polynomial interpolation,Interpolation,Mathematics | Journal | 78 |
Issue | Citations | PageRank |
3 | 0 | 0.34 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |
Grigory K. Olkhovikov | 2 | 3 | 0.83 |
Alasdair Urquhart | 3 | 686 | 76.77 |