Pages that link to "Item:Q1970916"
From MaRDI portal
The following pages link to Proof-theoretic modal PA-completeness. III: The syntactic proof (Q1970916):
Displayed 4 items.
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- Abstract deduction and inferential models for type theory (Q988551) (← links)
- Paraconsistent informational logic (Q1775866) (← links)
- Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework (Q3647231) (← links)