Searching for "Interpolation and Joint Consistency." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Preservation of interpolation by fibring
- … of model theory as exemplified by the correspondence between Craig interpolation and joint consistency…
- Cited by 1 (1 self) – Add To MetaCart
-
Fibring logics: Past, present and future
- … by the correspondence between Craig interpolation and joint consistency properties for classical propositional logic…
- Cited by 2 (1 self) – Add To MetaCart
-
Preservation of interpolation features by fibring
- … by the correspondence between Craig interpolation and joint consistency properties for classical propositional logic…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 3.
