Advertisement

An axiomatization of OL and OQL

  • M. Dalla Chiara
  • R. Giuntini
  • R. Greechie
Part of the Trends in Logic book series (TREN, volume 22)

Abstract

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2004

Authors and Affiliations

  • M. Dalla Chiara
    • 1
  • R. Giuntini
    • 2
  • R. Greechie
    • 3
  1. 1.University of FlorenceItaly
  2. 2.University of CagliariItaly
  3. 3.Louisiana Tech UniversityRustonUSA

Personalised recommendations