Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties

Bibliographic details

Authors

Petr Cintula, Rostislav Horčík, Carles Noguera

Publication year

2013

Publication type

Článek v odborném periodiku

Periodical

Review of Symbolic Logic

Projects

• Center of excellence - Institute for theoretical computer science (CE-ITI)

Bibliographic citation

CINTULA, Petr, HORČÍK, Rostislav, NOGUERA, Carles. Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties. Review of Symbolic Logic. 2013, 6(3), 394-423. ISSN 1755-0203. E-ISSN 1755-0211
Dostupné z: doi:10.1017/S1755020313000099

DOI

10.1017/S1755020313000099

ID

395361