Pages that link to "Item:Q420832"
From MaRDI portal
The following pages link to Proof theory and mathematical meaning of paraconsistent C-systems (Q420832):
Displaying 4 items.
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic (Q3418085) (← links)
- Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework (Q3647231) (← links)
- The Interpretation Lifting Theorem for C-Systems (Q5025082) (← links)