Pages that link to "Item:Q1407590"
From MaRDI portal
The following pages link to A Gentzen-style axiomatization for basic predicate calculus (Q1407590):
Displaying 11 items.
- A translation of intuitionistic predicate logic into basic predicate logic (Q1300007) (← links)
- A cut-free Gentzen formulation of basic propositional calculus (Q1868483) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability (Q2113424) (← links)
- (Q4133596) (← links)
- (Q4208935) (← links)
- (Q4438110) (← links)
- (Q4965820) (← links)
- BCI-Algebras and Related Logics (Q5039833) (← links)
- Automata, Languages and Programming (Q5466518) (← links)
- Basic predicate calculus (Q5937805) (← links)