Pages that link to "Item:Q3455187"
From MaRDI portal
The following pages link to Positive Formulas in Intuitionistic and Minimal Logic (Q3455187):
Displaying 9 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)
- Positive Arithmetic Without Exchange Is a Subclassical Logic (Q3498443) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic (Q4924544) (← links)
- On Positive Relational Calculi (Q5436993) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473749) (← links)
