Pages that link to "Item:Q2503400"
From MaRDI portal
The following pages link to Computing interpolants in implicational logics (Q2503400):
Displaying 5 items.
- On the existence of polynomial time algorithms for interpolation problems in propositional logic (Q1118581) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- On the recognizing power of the Lambek calculus with brackets (Q1630945) (← links)
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- A Logical Calculus for Modelling Interferences (Q3525086) (← links)