Pages that link to "Item:Q818926"

The following pages link to A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926):

Displaying 3 items.

• Many-place sequent calculi for finitely-valued logics (Q1931344) (← links)
• Subquasivarieties of implicative locally-finite quasivarieties (Q3066295) (← links)
• Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations (Q4999460) (← links)