Pages that link to "Item:Q3455187"
From MaRDI portal
The following pages link to Positive Formulas in Intuitionistic and Minimal Logic (Q3455187):
Displaying 5 items.
- Proof complexity of intuitionistic implicational formulas (Q331054) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal predicate logic (Q2503325) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
