Search results
- 1.0327989 - ÚI 2010 RIV NL eng A - Abstract
Horčík, Rostislav
Positive Fragment of MTL with One Variable and Its Computational Complexity.
Topology, Algebra and Categories in Logic. Amsterdam: University of Amsterdam, 2009.
[TACL 2009. Topology, Algebra and Categories in Logic. 07.07.2009-11.07.2009, Amsterdam]
R&D Projects: GA AV ČR KJB100300701
Institutional research plan: CEZ:AV0Z10300504
Keywords : monoidal t-norm based logic * residuated lattice * 1-variable fragment * 1-generated algebra * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174406