The following pages link to Compactness=JEP in any logic (Q3677753):
Displaying 6 items.
- Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems (Q1327488) (← links)
- Compactness of fuzzy logics. (Q1428674) (← links)
- Natural limitations of decision procedures for arithmetic with bounded quantifiers (Q3674633) (← links)
- Embeddings, amalgamation and elementary equivalence: the representation of compact logics (Q3734379) (← links)
- A lower bound for the complexity of Craig's interpolants in sentential logic (Q4749821) (← links)
- Elementary Amalgamation and Joint Embedding Property for Intermediate Logics (Q5504121) (← links)