Back to Results
First PageMeta Content
Logic / Mathematical logic / Abstraction / Non-classical logic / Model theory / Predicate logic / First-order logic / Intermediate logic / Many-valued logic / FO / Kripke semantics / Fuzzy logic


Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria
Add to Reading List

Document Date: 2005-04-12 18:14:28

Open Document

File Size: 201,34 KB

Share Result on Facebook