Sciweavers

CORR
2011
Springer
210views Education» more  CORR 2011»
12 years 8 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
13 years 5 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