Computing Publications

Publications Home » Labelled natural deduction for fi...

Labelled natural deduction for first order conditional logic

Luis Lamb, Krysia Broda, Dov Gabbay

Conference or Workshop Paper
Proceedings of logic colloquim 2001, Vienna
March, 2002
Volume 8
Issue 8
pp.167–168
Association for Symbolic Logic
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.