Negation - PDFSEARCH.IO - Document Search Engine

Negation
Results: 484

#	Item
151	We transfer information using sentences. How should we model this? Some aspects of the logical structure of conversation Daniel Rothschild Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Propositional calculus Grammar Semantics Philosophy of language Boolean algebra Proposition Negation Formal language Logic Linguistics Science
152	Chapter 1: Origin of Computer Science Quotation from Preface Algorithmic Adventures From Knowledge to Magic Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Logical consequence Semantics Predicate logic Propositional calculus Mathematical proof Algorithm Mereology Negation Continuum hypothesis Logic Mathematics Mathematical logic
153	Chapter 1: Origin of Computer Science Algorithmic Adventures From Knowledge to Magic Book by Juraj Hromkoviˇ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Boolean algebra Semantics Mathematical logic Logical connectives Mathematical proof Truth table Negation Equals sign Mathematics Propositional calculus Logic
154	Cristina Martínez (Gettysburg College) A Comparative Study of Negation in Santome and Vernacular Brazilian Portuguese This paper compares negation patterns in the Santome (ST), a Portuguese-lexified creole spoken in the Add to Reading List Source URL: creolistics9.dk Language: English - Date: 2012-11-14 09:56:05 Mathematics Logic Double negative Negation Double negation Negative Brazilian Portuguese Auxiliary verb Grammar Linguistics Semantics
155	Elimination of Negation in a Logical Framework Alberto Momigliano December 15, 2000 CMU-CSSchool of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2000-12-15 10:34:26 Propositional calculus Semantics Type theory Model theory Logic programming Negation Prolog Entailment Logical framework Logic Mathematical logic Logic in computer science
156	[hal, v2] Polarizing Double Negation Translations Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:15:20 Sequent calculus Sequent Entailment Intuitionistic logic Gödel–Gentzen negative translation Natural deduction Curry–Howard correspondence Logic Mathematical logic Proof theory
157	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 12, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:42:55 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
158	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 1, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:45:32 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
159	[hal, v1] Semantic A-translation and Super-consistency entail Classical Cut Elimination Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 09:59:08 Proof theory Propositional calculus Deduction Boolean algebra Algebraic logic Natural deduction Heyting algebra Sequent calculus Negation Logic Mathematical logic Mathematics
160	Logic Formulae Tanya Khovanova December 9, 2013 Student: Teacher, would you punish me for something I didn’t do? Teacher: No, why? Student: I didn’t do my homework. Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2013-12-20 11:45:43 Mathematics Philosophical logic Boolean algebra Semantics If and only if Negation Universal quantification Truth table Truth Logic Propositional calculus Philosophy

UPDATE