Sciweavers

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