Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics

Matthias Baaz, Norbert Preining, Richard Zach

备注：

6 pages; forthcoming in ISMVL 2003

发表信息：

33rd International Symposium on Multiple-valued Logic. Proceedings. Tokyo, May 16-19, 2003 (IEEE Computer Society Press, 2003) 175-180

DOI：

10.1109/ISMVL.2003.1201403