Double negation - PDFSEARCH.IO - Document Search Engine

Double negation
Results: 26

#	Item
1	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50
2	Teaching Them What NOT to Do: The Nuances of Negation in the Greek New Testament Add to Reading List Source URL: www.logos.com Language: English - Date: 2008-01-16 13:48:49 Grammar Semantics Negation Adverbial Auxiliary verb Yes and no Clause Grammatical particle Linguistics Syntax Double negative
3	Negative Concord in Georgian Aurore González Harvard University Negative Concord (NC) is a phenomenon refering to cases where multiple occurrences of morphologically negative constituents express semantically a single n Add to Reading List Source URL: eastcoastfive.files.wordpress.com Language: English - Date: 2015-03-24 10:40:03 Mathematics Negation Rhetoric Boolean algebra Double negative Language Logic programming Yes and no Grammar Semantics Linguistics
4	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50 Propositional calculus Boolean algebra Non-classical logic Logic in computer science Cut-elimination theorem Intuitionistic logic Sequent calculus Sequent First-order logic Mathematical logic Logic Proof theory
5	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.webhotel26.webhosting.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
6	Double Negation Translations as Morphisms Fr´ed´eric Gilbert1 and Olivier Hermant2 1 2 Ecole des Ponts ParisTech, Inria Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 11:05:12 Deduction Logic in computer science Propositional calculus Entailment Metalogic Sequent calculus Intuitionistic logic Symbol Natural deduction Logic Mathematical logic Proof theory
7	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
8	[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
9	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
10	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