Počet záznamov: 1

Sequent and hypersequent calculi for Abelian and Łukasiewicz logics

Údaje o názve	Sequent and hypersequent calculi for Abelian and Łukasiewicz logics
Záhlavie-meno	Metcalfe, George (Autor)
Ďal.zodpovednosť	Olivetti, Nikola (Autor)
	Gabbay, Dov M. (Autor)
In	ACM Transactions on Computational Logic. -- Vol. 6, No. 3 (2005), s.578-613
Jazyk dok.	angličtina
Druh dok.	RBX - článok z periodika
Odkazy	(1) - monografia

článok

citace PRO

Počet záznamov: 1