Search results
- 1.0383374 - ÚI 2013 RIV NL eng J - Journal Article
Horčík, Rostislav
Minimal Varieties of Representable Commutative Residuated Lattices.
Studia Logica. Roč. 100, č. 6 (2012), s. 1063-1078. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA ČR GAP202/10/1826
Institutional research plan: CEZ:AV0Z10300504
Keywords : commutative residuated lattice * subvariety lattice * minimal variety * substructural logic * maximally consistent logic
Subject RIV: BA - General Mathematics
Impact factor: 0.342, year: 2012
Permanent Link: http://hdl.handle.net/11104/0213332File Download Size Commentary Version Access 0383374.pdf 0 517.3 KB Author´s preprint require - 2.0348399 - ÚI 2011 RIV CH eng J - Journal Article
Horčík, Rostislav
Cancellative Residuated Lattices Arising on 2-Generated Submonoids of Natural Numbers.
Algebra Universalis. Roč. 63, 2-3 (2010), s. 261-274. ISSN 0002-5240. E-ISSN 1420-8911
R&D Projects: GA AV ČR KJB100300701
Institutional research plan: CEZ:AV0Z10300504
Keywords : residuated lattice * cancellative commutative residuated lattice * subvariety lattice * submonoid of natural numbers
Subject RIV: BA - General Mathematics
Impact factor: 0.479, year: 2010
Permanent Link: http://hdl.handle.net/11104/0188946File Download Size Commentary Version Access 0348399.pdf 0 325.7 KB Author´s preprint open-access - 3.0347338 - ÚI 2011 CZ eng A - Abstract
Horčík, Rostislav
Minimal Varieties of Representable Commutative Residuated Lattices.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 124-127
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
R&D Projects: GA ČR GAP202/10/1826
Institutional research plan: CEZ:AV0Z10300504
Keywords : representable commutative residuated lattice * FL-algebra * subvariety lattice * minimal variety
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0188138 - 4.0338891 - ÚI 2010 AT eng A - Abstract
Horčík, Rostislav
Cancellative residuateds Lattices Arising on 2-Generated Submonoids.
Lattice-Valued Logic and its Applications. Linz: Johannes Kepler Universität, 2010 - (Cintula, P.; Klement, E.; Stout, L.). s. 93-95
[Linz Seminar on Fuzzy Set Theory /31./. 03.02.2010-07.02.2010, Linz]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : cancellative residuated lattice * almost minimal variety * subvariety lattice * 2-generated submonoids of natural numbers
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0182548 - 5.0323145 - ÚI 2009 US eng A - Abstract
Horčík, Rostislav
Representable Commutative Atoms in the Subvariety Lattice of Residuated Lattices.
Shanks Workshop on Ordered Groups in Logic. Nashville: Vanderbilt University, 2009 - (Metcalfe, G.). s. 9-9
[Shanks Workshop on Ordered Groups in Logic. 21.03.2009-22.03.2009, Nashville]
Institutional research plan: CEZ:AV0Z10300504
Keywords : representable commutative residuated lattice * FL-algebra * subvariety lattice * minimal variety
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0171197 - 6.0316721 - ÚI 2009 US eng A - Abstract
Horčík, Rostislav
Minimal Varieties of Cancellative Residuated Lattices.
BLAST 2008. Denver: University of Denver, 2008. s. 11-11.
[BLAST 2008. 06.08.2008-10.08.2008, Denver]
Institutional research plan: CEZ:AV0Z10300504
Keywords : cancellative residuated lattice * almost minimal variety * subvariety lattice
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0166557 - 7.0316390 - ÚI 2009 IT eng A - Abstract
Horčík, Rostislav
Varieties of Cancellative Prelinear Semihoops Covering the Variety Generated by Negative Integers.
Logic, Algebra and Truth Degrees. Siena: University of Siena, 2008. s. 31-32.
[Conference of the working group on Mathematical Fuzzy Logic /1./. 08.09.2008-11.09.2008, Siena]
Institutional research plan: CEZ:AV0Z10300504
Keywords : cancellative residuated lattice * almost minimal variety * subvariety lattice
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0166328