Short circuit evaluations in Gödel type logic

field_of_study

Blank

university

Al-Quds Open University

authors

Basbous R.; Nagy B.; Tajti T.

authors_full_names

Basbous, Raed (56528461100); Nagy, Benedek (7102003683); Tajti, Tibor (55834551600)

authors_id

56528461100; 7102003683; 55834551600

year

2015

source_title

Advances in Intelligent Systems and Computing

article_title

Short circuit evaluations in Gödel type logic

volume

415

page_start

119

page_end

138

editors

Suganthan P.N.; Ravi V.; Das S.; Panigrahi B.K.

publisher

Springer Verlag

affiliations

Department of Administrative Affairs, Al-Quds Open University, Jerusalem, Palestine; Department of Applied Mathematics and Computer Science, Eastern Mediterranean University, North Cyprus via Mersin 10, Famagusta, Turkey; Department of Computer Science, University of Debrecen, Debrecen, Hungary; Eszterhazy Karoly University of Applied Sciences, Eger, Hungary

authors_with_affiliations

Basbous R., Department of Administrative Affairs, Al-Quds Open University, Jerusalem, Palestine, Department of Applied Mathematics and Computer Science, Eastern Mediterranean University, North Cyprus via Mersin 10, Famagusta, Turkey; Nagy B., Department of Applied Mathematics and Computer Science, Eastern Mediterranean University, North Cyprus via Mersin 10, Famagusta, Turkey, Department of Computer Science, University of Debrecen, Debrecen, Hungary; Tajti T., Eszterhazy Karoly University of Applied Sciences, Eger, Hungary

corresponding_author

R. Basbous; Department of Administrative Affairs, Al-Quds Open University, Jerusalem, Israel; email: rbasbous@qou.edu

cited_by

7

doi

10.1007/978-3-319-27212-2_10

author_keywords

Fast evaluation; Formula trees; Fuzzy logic; Many valued logic; Pruning techniques

index_keywords

Computation theory; Computer hardware; Computer programming; Fuzzy inference; Fuzzy logic; Logic circuits; Many valued logics; Reconfigurable hardware; Circuit evaluation; Fast evaluation; Formula trees; Fuzzy logic system; Hardware design; Logical formulas; Pruning algorithms; Pruning techniques; Computer circuits