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
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