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

Joan Gispert

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