Sciweavers

125
Voted
CORR
2011
Springer
210views Education» more  CORR 2011»
14 years 3 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic
80
Voted
IADIS
2008
15 years 1 months ago
On Facilitating Automated Evaluation
Very little has been done with respect to automated evaluation of quality and appropriativeness of such objects. To attain a higher level of certainty in the evaluation process we...
Sylvia B. Encheva, Sharil Tumin