Back to Results
First PageMeta Content
Model theory / Non-classical logic / Propositional calculus / Philosophical logic / Boolean algebra / Interpretation / Modal logic / First-order logic / Function / Logic / Mathematical logic / Mathematics


Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗
Add to Reading List

Document Date: 2012-02-03 09:26:04

Open Document

File Size: 170,17 KB

Share Result on Facebook

City

Computer Science Olsztyn / /

Country

Poland / Sweden / /

Currency

pence / /

/

Facility

Link¨oping University / Information Science Link¨oping University / University of Economics / /

IndustryTerm

chemical plant / quantifier elimination algorithm / proper inference machinery / online implementation / chemicals / chemical spills / inference machinery / /

Organization

University of Economics / Link¨oping University / Computer and Information Science Link¨oping University / Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Department of Computer / Department of Computer and Information Science / Wallenberg Foundation / Department of Computer / /

Technology

CAN algorithm / quantifier elimination algorithm / LS algorithm / /

SocialTag