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

Preprint

2 March 2003

preprint
Published by arXiv in arXiv

https://doi.org/10.48550/arXiv.math/0303011

Abstract

The prenex fragments of first-order infinite-valued Goedel logics are classified. It is shown that the prenex Goedel logics characterized by finite and by uncountable subsets of [0, 1] are axiomatizable, and that the prenex fragments of all countably infinite Goedel logics are not axiomatizable.

Keywords

AXIOMATIZABLE PRENEX
COUNTABLY INFINITE
PRENEX FRAGMENTS
GOEDEL LOGICS
ORDER GOEDEL
LOGICS

All Related Versions

Version 1, 2003-03-02, ArXiv

This publication has 0 references indexed in Scilit: