Pages that link to "Item:Q3669393"
From MaRDI portal
The following pages link to Robinson's Consistency Theorem in Soft Model Theory (Q3669393):
Displaying 5 items.
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Natural limitations of decision procedures for arithmetic with bounded quantifiers (Q3674633) (← links)
- Duality Between Logics and Equivalence Relations (Q3960670) (← links)
- A lower bound for the complexity of Craig's interpolants in sentential logic (Q4749821) (← links)
