On interplay of quantifiers in Gödel-Dummett fuzzy logics
- 10 April 2006
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 45 (5) , 569-580
- https://doi.org/10.1007/s00153-005-0322-y
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logicsSoft Computing, 2005
- A non-arithmetical Gödel logicLogic Journal of the IGPL, 2005
- Characterization of the axiomatizable prenex fragments of first-order Godel logicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- On inter-expressibility of logical connectives in Gödel fuzzy logicSoft Computing, 2000
- Metamathematics of Fuzzy LogicPublished by Springer Nature ,1998
- Another proof of the strong completeness of the intuitionistic fuzzy logicTsukuba Journal of Mathematics, 1987
- A propositional calculus with denumerable matrixThe Journal of Symbolic Logic, 1959