|
|||||
|
|
Properties of Intuitionistic Provability and Preservativity Logics |
|
| Authors: | Iemhoff, Rosalie De Jongh, Dick Zhou, Chunlai |
| Affiliation: | 1 Institute for Discrete Mathematics and Geometry, Technical University Vienna, Wiedner Hauptstrasse, 8-10 A-1040 Wien, Austria. E-mail: iemhoff{at}logic.at, 2 Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24 1018 TV Amsterdam, The Netherlands. E-mail: dickdj{at}science.uva.nl, 3 Department of Mathematics, Indiana University, Bloomington, IN 47401, U.S.A. E-mail: czhou{at}indiana.edu |
| Abstract: | |
| Keywords: | Intuitionistic modal logic provability logic preservativity logic Heyting Arithmetic Beth definability fixed points. |
| 本文献已被 Oxford 等数据库收录！ | |