Sequent and hypersequent calculi for abelian and Lukasiewicz logics - Aix-Marseille Université Access content directly
Journal Articles ACM Transactions on Computational Logic Year : 2005

Sequent and hypersequent calculi for abelian and Lukasiewicz logics

Metcalfe G.
  • Function : Author
D. M. Gabbay
  • Function : Author

Abstract

no abstract
No file

Dates and versions

hal-01479577 , version 1 (28-02-2017)

Identifiers

  • HAL Id : hal-01479577 , version 1

Cite

Metcalfe G., Nicola Olivetti, D. M. Gabbay. Sequent and hypersequent calculi for abelian and Lukasiewicz logics. ACM Transactions on Computational Logic, 2005, 6 (3), pp.578--613. ⟨hal-01479577⟩
109 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More