Pages that link to "Item:Q2503325"
From MaRDI portal
The following pages link to Eigenvariables, bracketing and the decidability of positive minimal predicate logic (Q2503325):
Displaying 10 items.
- Inhabitation of polymorphic and existential types (Q636375) (← links)
- On the expressive power of schemes (Q719245) (← links)
- A decidable fragment of predicate calculus (Q1066880) (← links)
- A unified procedure for provability and counter-model generation in minimal implicational logic (Q2397231) (← links)
- How many times do we need an assumption to prove a tautology in minimal logic? Examples on the compression power of classical reasoning (Q2520659) (← links)
- Decidability of the Class E by Maslov’s Inverse Method (Q3586019) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic (Q4924544) (← links)
- How Hard Is Positive Quantification? (Q5278190) (← links)
- Proof Search and Counter Model of Positive Minimal Predicate Logic (Q5415611) (← links)
- On the Mints Hierarchy in First-Order Intuitionistic Logic (Q5892381) (← links)
