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

Bibliografické údaje

Autoři

• doc. Ing. Petr Cintula, Ph.D. DSc.
• Rostislav Horčík

Rok vydání

2013

Typ publikace

Článek v odborném periodiku

Periodikum

Review of Symbolic Logic

Projekty

• Centrum excelence - Institut teoretické informatiky (CE-ITI)

Bibliografická citace

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