Skip to main content
Institute of Information Theory and Automation
cs
en
Breadcrumb
Home
Bibliography
I143-G15
Cintula Petr
,
Horčík Rostislav
,
Noguera Carles
:
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties
,
Review of Symbolic Logic vol.6, 3 (2013), p. 394-423
[2013]
DOI:
10.1017/S1755020313000099