The following pages link to Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726):
Displayed 1 item.