A note on bases of admissible rules of proper axiomatic extensions of Lukasiewicz logic
Gispert, Joan
Original · EN
In this note we prove that single-conclusion admissible rules of any proper axiomatic extension of the infnite valued Lukasiewicz logic are finitely based.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.