Three-valued logic - PDFSEARCH.IO - Document Search Engine

Three-valued logic
Results: 9

#	Item
1	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
2	The lattice of all clones of self-dual functions in three-valued logic D MITRIY Z HUK? Department of Mathematics and Mechanics, Moscow State University, Russia Received 30 September 2011; In final form 15 August 2012 Add to Reading List Source URL: intsys.msu.ru - Date: 2014-08-12 16:59:39
3	Three-Valued Logics Notation: p, q, r atomic formulas; A, B, C arbitrary formulas Values = {T, F, N} Valuation = assignment of a value from Values to each atomic formula Can be extended to an assignment of values to each Add to Reading List Source URL: johnmacfarlane.net Language: English Propositional calculus Semantics Boolean algebra Logical connective Truth table Valuation If and only if Tautology Natural deduction Abstract algebra Logic Mathematics
4	SQL’s Three-Valued Logic and Certain Answers Leonid Libkin School of Informatics, University of Edinburgh Abstract SQL uses three-valued logic for evaluating queries on databases with nulls. The standard theoretical ap Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2015-01-10 06:40:54 Relational model Null Relational algebra Conjunctive query FO SQL Function Symbol Data management Mathematics Computing
5	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
6	Nulls, Three-Valued Logic, and Ambiguity in SQL: Critiquing Date’s Critique Claude Rubinson∗ Add to Reading List Source URL: www.u.arizona.edu Language: English - Date: 2008-05-09 00:19:18 Null SQL Relational model Three-valued logic Where Select Join Logic Unique key SQL keywords Data management Computing
7	IAENG International Journal of Computer Science, 35:3, IJCS_35_3_08 ______________________________________________________________________________________ Add to Reading List Source URL: www.iaeng.org Language: English - Date: 2008-08-20 02:45:56 Null SQL Where Relational model Join Three-valued logic Statistical hypothesis testing Foreign key Relational algebra Data management SQL keywords Computing
8	PDF Document Add to Reading List Source URL: www09.sigmod.org Language: English - Date: 2009-03-12 16:12:24 Data modeling Database theory Query languages Relational database management systems Null SQL Relational model Three-valued logic Relational algebra Data management SQL keywords Computing
9	PDF Document Add to Reading List Source URL: mpref2012.lip6.fr Language: English - Date: 2012-08-14 12:59:05 Null SQL Insert Hierarchical query Where Unique key Three-valued logic Order by Join SQL keywords Data management Computing

UPDATE