Pages that link to "Item:Q3028980"
From MaRDI portal
The following pages link to An interpolation theorem in many-valued logic (Q3028980):
Displaying 8 items.
- Consequence and interpolation in Łukasiewicz logic (Q647417) (← links)
- Interpolation theorem in many-valued logics with designated values (Q911578) (← links)
- Interpolation theorem of Hao Wang's partial predicate calculus (Q2751822) (← links)
- Coinductive formulas and a many-sorted interpolation theorem (Q3822150) (← links)
- (Q4392088) (← links)
- Interpolation theorems for some variants of LTL (Q4596923) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308386) (← links)
- (Q5556404) (← links)