Pages that link to "Item:Q1406443"
From MaRDI portal
The following pages link to Nonaxiomatizability of predicate logics of proofs (Q1406443):
Displaying 10 items.
- Intuitionistic hypothetical logic of proofs (Q276039) (← links)
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- A non-compactness phenomenon in logics with hyperintensional predication (Q1264134) (← links)
- Non-axiomatizable second order intuitionistic propositional logic (Q1361248) (← links)
- Not every ``tabular'' predicate logic is finitely axiomatizable (Q1378430) (← links)
- Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability (Q2113424) (← links)
- Undecidability of the Logic of Partial Quasiary Predicates (Q5092565) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- A constructive semantics for non‐deducibility (Q5448614) (← links)
