Publications

Hilbert-style calculi for BPL and FPL

Publication Type:

Conference Paper

Authors:

Fèlix Bou

Source:

1st North American Summer School in Logic, Language and Information. Student Session. Stanford 2002., p.20--30 (2002)