A note on bases of admissible rules of proper axiomatic extensions of Lukasiewicz logic

Abstract

In this note we prove that single-conclusion admissible rules of any proper axiomatic extension of the infnite valued Lukasiewicz logic are finitely based.