Pages that link to "Item:Q812631"

The following pages link to A new theory consistency index based on deduction theorems in several logic systems (Q812631):

Displaying 8 items.

• Borel probabilistic and quantitative logic (Q350946) (← links)
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← 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)
• On the rough consistency measures of logic theories and approximate reasoning in rough logic (Q2353692) (← links)
• Linguistic information-based granular computing based on a tournament selection operator-guided PSO for supporting multi-attribute group decision-making with distributed linguistic preference relations (Q6122268) (← links)