Heng Zhang, Mingyi Zhang. Model-Characterizing Formulas and Normal Forms in Godel Logics. In 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway. pages 3, IEEE Computer Society, 2007. [doi]
@inproceedings{ZhangZ07:25,
title = {Model-Characterizing Formulas and Normal Forms in Godel Logics},
author = {Heng Zhang and Mingyi Zhang},
year = {2007},
doi = {10.1109/ISMVL.2007.33},
url = {http://dx.doi.org/10.1109/ISMVL.2007.33},
tags = {logic},
researchr = {https://researchr.org/publication/ZhangZ07%3A25},
cites = {0},
citedby = {0},
pages = {3},
booktitle = {37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-2831-1},
}