Characterization of the axiomatizable prenex fragments of first-order Godel logics

Publisher Website

22 June 2004

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/ismvl.2003.1201403

Abstract

No abstract available

All Related Versions

Version 1, 2003-03-02, ArXiv (Unconfirmed version)

This publication has 7 references indexed in Scilit:

Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic
Published by Springer Nature ,2000
Interpolation in fuzzy logic
Archive for Mathematical Logic, 1999
Incompleteness of a first-order gödel logic and some temporal logics of programs
Published by Springer Nature ,1996
Classical Descriptive Set Theory
Published by Springer Nature ,1995
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
The Journal of Symbolic Logic, 1984
Logic with truth values in A linearly ordered heyting algebra
The Journal of Symbolic Logic, 1969
A propositional calculus with denumerable matrix
The Journal of Symbolic Logic, 1959