Introduction, elimination rules for ¬ and ⊃: a study from graded context

Authors:
Soma Dutta
Affiliations:
Indian Institute of Bio-Social Research and Development, Kestopur, Kolkata
Venue:
PReMI'11 Proceedings of the 4th international conference on Pattern recognition and machine intelligence
Year:
2011

Citing 3
Cited 0

Graded consequence and some metalogical notions generalized

Fundamenta Informaticae
An Approach to Handle Partially Sound Rules of Inference

IPMU'94 Selected papers from the 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Advances in Intelligent Computing
Graded consequence revisited

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is aimed to study the algebraic background of some proof theoretic rules in a set up where distinct levels of logic activity have been maintained carefully. In this regard, Introduction, Elimination rules for ¬, and ⊃ have been considered as specific cases whose necessary and sufficient conditions from the perspective of graded consequence will reveal a new analysis.