Pages that link to "Item:Q1300007"
From MaRDI portal
The following pages link to A translation of intuitionistic predicate logic into basic predicate logic (Q1300007):
Displaying 8 items.
- A system of predicate logic with trans-atomic units (Q1094409) (← links)
- A Gentzen-style axiomatization for basic predicate calculus (Q1407590) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- Arithmetical realizability and primitive recursive realizability (Q2362860) (← links)
- Binary modal companions for subintuitionistic logics (Q2658275) (← links)
- (Q3491525) (← links)
- (Q4438110) (← links)
- A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic (Q4487246) (← links)