Pages that link to "Item:Q4679769"
From MaRDI portal
The following pages link to COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS (Q4679769):
Displayed 6 items.
- A new theory consistency index based on deduction theorems in several logic systems (Q812631) (← links)
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems (Q853469) (← links)
- Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) (Q855815) (← links)
- Quantitative logic (Q1007841) (← links)
- Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem (Q2267005) (← links)
- Randomization of classical inference patterns and its application (Q2465739) (← links)