Sciweavers

CORR
2011
Springer
210views Education» more  CORR 2011»
13 years 4 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
IADIS
2008
14 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