Basket

0427493 - ÚI 2015 AT eng A - Abstract
Cintula, Petr - Metcalfe, G.
Skolem and Herbrand theorems for uninorm-based fuzzy logics.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 29-33
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0233023