Number of the records: 1
Almost (MP)-based Substructural Logics
- 1.
SYSNO ASEP 0361600 Document Type A - Abstract R&D Document Type The record was not marked in the RIV R&D Document Type Není vybrán druh dokumentu Title Almost (MP)-based Substructural Logics Author(s) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Noguera, C. (ES)Source Title Topology, Algebra and Categories in Logic. - Marseille, 2011
S. 107-110Number of pages 4 s. Action TACL 2011. Topology, Algebra and Categories in Logic /5./ Event date 26.07.2011-30.07.2011 VEvent location Marseilles Country FR - France Event type WRD Language eng - English Country FR - France Keywords nonassociative full Lambek calculus ; deduction theorem Subject RIV BA - General Mathematics R&D Projects 1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) CEZ AV0Z10300504 - UIVT-O (2005-2011) Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2012
Number of the records: 1