Part of the Trends in Logic book series (TREN, volume 22)
An axiomatization of OL and OQL
QL is an axiomatizable logic. Many axiomatizations are known: both in the Hilbert-Bernays style and in the Gentzen-style (natural deduction and sequent-calculi).1
Unable to display preview. Download preview PDF.
© Springer Science+Business Media Dordrecht 2004