Výsledky vyhledávání
- 1.0383374 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: commutative residuated lattice * subvariety lattice * minimal variety * substructural logic * maximally consistent logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.342, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0213332Název souboru Staženo Velikost Komentář Verze Přístup 0383374.pdf 0 517.3 KB Autorský preprint vyžádat - 2.0348399 - ÚI 2011 RIV CH eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR KJB100300701
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: residuated lattice * cancellative commutative residuated lattice * subvariety lattice * submonoid of natural numbers
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.479, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0188946Název souboru Staženo Velikost Komentář Verze Přístup 0348399.pdf 0 325.7 KB Autorský preprint povolen - 3.0347338 - ÚI 2011 CZ eng A - Abstrakt
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]
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: representable commutative residuated lattice * FL-algebra * subvariety lattice * minimal variety
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188138 - 4.0338891 - ÚI 2010 AT eng A - Abstrakt
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]
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: cancellative residuated lattice * almost minimal variety * subvariety lattice * 2-generated submonoids of natural numbers
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0182548 - 5.0323145 - ÚI 2009 US eng A - Abstrakt
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]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: representable commutative residuated lattice * FL-algebra * subvariety lattice * minimal variety
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0171197 - 6.0316721 - ÚI 2009 US eng A - Abstrakt
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]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: cancellative residuated lattice * almost minimal variety * subvariety lattice
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0166557 - 7.0316390 - ÚI 2009 IT eng A - Abstrakt
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]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: cancellative residuated lattice * almost minimal variety * subvariety lattice
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0166328