Pages that link to "Item:Q1577480"
From MaRDI portal
The following pages link to Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480):
Displaying 5 items.
- Computations in fragments of intuitionistic propositional logic (Q1181713) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Computing interpolants in implicational logics (Q2503400) (← links)
- Automatic recognition of the interpolation property in some superintuitionistic propositional logics (Q2882965) (← links)
- Interpolation in fragments of intuitionistic propositional logic (Q3486539) (← links)