Pages that link to "Item:Q3958441"

The following pages link to Interpolation, compactness and JEP in soft model theory (Q3958441):

Displaying 3 items.

• Positive results in abstract model theory: a theory of compact logics (Q796519) (← links)
• Definability and automorphisms in abstract logics (Q1762731) (← links)
• A lower bound for the complexity of Craig's interpolants in sentential logic (Q4749821) (← links)