Pages that link to "Item:Q4982118"
From MaRDI portal
The following pages link to Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118):
Displaying 2 items.
The following pages link to Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118):
Displaying 2 items.