Number of the records: 1

Sequent and hypersequent calculi for Abelian and Łukasiewicz logics

Title statement	Sequent and hypersequent calculi for Abelian and Łukasiewicz logics
Main entry-name	Metcalfe, George (Author)
Another responsib.	Olivetti, Nikola (Author)
	Gabbay, Dov M. (Author)
In	ACM Transactions on Computational Logic. -- Vol. 6, No. 3 (2005), s.578-613
Language	English
Document kind	RBX - článok z periodika
References	(1) - monografia

article

citace PRO

Number of the records: 1