Number of the records: 1
Almost (MP)-based Substructural Logics
- 1.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/0198882
File Download Size Commentary Version Access 0361600.pdf 0 634.9 KB Author´s preprint open-access
Number of the records: 1