Search results
- 1.0422077 - ÚI 2014 ZA eng A - Abstract
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The quest for the basic fuzzy logic.
Proceedings of the International Workshop on Algebraic Logic in Computer Science. Stellenbosch: University of Stellenbosch, 2013. s. 1-4.
[International Workshop on Algebraic Logic in Computer Science. 14.12.2013, Stellenbosch]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : nonassociative full Lambek calculus * mathematical fuzzy logic * standard completeness * core semilinear logics
Subject RIV: BA - General Mathematics
http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Cintula-Horcik-Noguera.pdf
Permanent Link: http://hdl.handle.net/11104/0228293File Download Size Commentary Version Access 0422077.pdf 0 79 KB Other open-access - 2.0395361 - ÚI 2014 RIV GB eng J - Journal Article
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties.
Review of Symbolic Logic. Roč. 6, č. 3 (2013), s. 394-423. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR GBP202/12/G061
Grant - others:ESF/Austrian Science Foundation project(AT) I143-G15
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : nonassociative full Lambek calculus * deduction theorem * standard completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.525, year: 2013
Permanent Link: http://hdl.handle.net/11104/0223397File Download Size Commentary Version Access 0395361.pdf 18 819.2 KB Author´s preprint open-access - 3.0361600 - ÚI 2012 FR eng A - Abstract
Cintula, Petr - Noguera, C.
Almost (MP)-based Substructural Logics.
Topology, Algebra and Categories in Logic. Marseille, 2011. s. 107-110.
[TACL 2011. Topology, Algebra and Categories in Logic /5./. 26.07.2011-30.07.2011, Marseilles]
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : nonassociative full Lambek calculus * deduction theorem
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0198882File Download Size Commentary Version Access 0361600.pdf 0 634.9 KB Author´s preprint open-access - 4.0360267 - ÚI 2012 IT eng A - Abstract
Cintula, Petr - Noguera, C.
(Non-associative) Substructural Fuzzy logics.
Algebraic Semantics for Uncertainty and Vagueness. Salerno: University of Salerno, 2011. s. 31-37.
[Algebraic Semantics for Uncertainty and Vagueness. 18.05.2011-20.05.2011, Salerno]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : nonassociative full Lambek calculus * deduction theorem * standard completeness
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0197860