Search results
- 1.0466762 - ÚI 2017 RIV DE eng J - Journal Article
Haniková, Zuzana
Complexity of Some Language Fragments of Fuzzy Logics.
Soft Computing. Roč. 21, č. 1 (2017), s. 69-77. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : fuzzy logic * propositional logic * language fragment * implicational fragment * commutative semigroup * equational theory * computational complexity
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 2.367, year: 2017
Permanent Link: http://hdl.handle.net/11104/0264997 - 2.0442807 - ÚI 2017 RIV US eng J - Journal Article
Chvalovský, Karel - Horčík, Rostislav
Full Lambek Calculus with Contraction is Undecidable.
Journal of Symbolic Logic. Roč. 81, č. 2 (2016), s. 524-540. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability
Subject RIV: BA - General Mathematics
Impact factor: 0.511, year: 2016
Permanent Link: http://hdl.handle.net/11104/0245628File Download Size Commentary Version Access a0442807.pdf 8 369.7 KB Publisher’s postprint require - 3.0079131 - ÚI 2007 RIV GB eng J - Journal Article
Horčík, Rostislav
Decidability of Cancellative Extension of Monoidal t-norm Based Logic.
[Rozhodnutelnost kancelativního rozšíření monoidální t-normové logiky.]
Logic Journal of the IGPL. Roč. 14, č. 6 (2006), s. 827-843. ISSN 1367-0751. E-ISSN 1368-9894
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : monoidal t-norm based logic * MTL-algebra * Pi MTL-algebra * decidability * finite embeddability property * equational theory * quasi-equational theory
Subject RIV: BA - General Mathematics
Impact factor: 0.229, year: 2006
Permanent Link: http://hdl.handle.net/11104/0144001File Download Size Commentary Version Access 0079131.pdf 0 509.9 KB Author´s preprint open-access