A Tableau Calculus for Hajek's Logic BL

Bibliographic Details
Authors and Corporations: Montagna, F.
Title: A Tableau Calculus for Hajek's Logic BL
In: Journal of Logic and Computation, 13, 2003, 2, p. 241-259
published:
Oxford University Press (OUP)
Physical Description:241-259
ISSN/ISBN: 0955-792X
1465-363X
Type of Resource:E-Article
Source:Oxford University Press (OUP) (CrossRef)
Language: Undetermined