Pages that link to "Item:Q3455182"

The following pages link to Admissibility and Unifiability in Contact Logics (Q3455182):

Displaying 2 items.

• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
• Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)