Four-valued logic

Results: 4



#Item
1Science / Interpretation / First-order logic / Knowledge representation and reasoning / Logic / Model theory / Mathematical logic

From: AAAI-88 Proceedings. Copyright ©1988, AAAI (www.aaai.org). All rights reserved. Adding Number Restrictions to a Four-Valued Terminological

Add to Reading List

Source URL: aaai.org

Language: English - Date: 2006-01-09 19:35:30
2Theoretical computer science / Rough set / Function / Sheaf / Multivalued function / Many-valued logic / Forcing / Boolean-valued model / Dominance-based rough set approach / Mathematics / Functions and mappings / Mathematical logic

Four-valued Extension of Rough Sets? Aida Vit´oria1 , Andrzej Szałas2,3 , and Jan Małuszy´nski3 1 3

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-03 09:22:37
3Non-classical logic / Information science / Model theory / Propositional calculus / Semantics / Paraconsistent logic / Resolution / Description logic / Proj construction / Logic / Mathematical logic / Science

Paraconsistent Resolution for Four-valued Description Logics ? Yue Ma1,2 , Pascal Hitzler2 , and Zuoquan Lin1

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
4Mathematics / Algebraic logic / Many-valued logic / Null / Asynchronous circuit / Boolean data type / Logic gate / Four-valued logic / Truth table / Mathematical logic / Electronic engineering / Boolean algebra

NULL Convention Logic™ Karl M. Fant, Scott A. Brandt

Add to Reading List

Source URL: users.soe.ucsc.edu

Language: English - Date: 2006-10-18 16:55:14
UPDATE