<--- Back to Details
First PageDocument Content
Algebra / Mathematics / Boolean algebra / Abstract algebra / Boolean ring / Distributive property / Boolean / Negation / Logical connective / Propositional calculus / Boolean algebras canonically defined / Zhegalkin polynomial
Date: 2012-06-05 05:37:34
Algebra
Mathematics
Boolean algebra
Abstract algebra
Boolean ring
Distributive property
Boolean
Negation
Logical connective
Propositional calculus
Boolean algebras canonically defined
Zhegalkin polynomial

CS:APP Web Aside DATA:BOOL: More on Boolean Algebra and Boolean Rings∗ Randal E. Bryant David R. O’Hallaron June 5, 2012

Add to Reading List

Source URL: csapp.cs.cmu.edu

Download Document from Source Website

File Size: 51,09 KB

Share Document on Facebook

Similar Documents

There is no logical negation: true, false, both and neither Jc Beall entailments.net University of Connecticut University of Tasmania

There is no logical negation: true, false, both and neither Jc Beall entailments.net University of Connecticut University of Tasmania

DocID: 1v4xL - View Document

GRAMMAIRE ET DISCOURS Cours 2 : les présuppositions 1. Caractérisation intuitive Des inférences qui résistent à la négation, à l’interrogation, à l’enchâssement sous une modalité. Les énoncés (1b-d) conse

GRAMMAIRE ET DISCOURS Cours 2 : les présuppositions 1. Caractérisation intuitive Des inférences qui résistent à la négation, à l’interrogation, à l’enchâssement sous une modalité. Les énoncés (1b-d) conse

DocID: 1uYXu - View Document

Abstract Presuppositions are capable of projecting from under the scope of operators such as negation, but do not obligatorily do so. This creates a potential difficulty for the hearer of presupposition-bearing utterance

Abstract Presuppositions are capable of projecting from under the scope of operators such as negation, but do not obligatorily do so. This creates a potential difficulty for the hearer of presupposition-bearing utterance

DocID: 1uIjP - View Document

Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014

Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014

DocID: 1uAtc - View Document

Université Paris Sorbonne – Sémantique Avancée Négation méta-linguistique [Horn, 1989, Carston, 1998, Geurts, 1998] (≈ négation polémique [Ducrot, 1972, Muller, 1991])

Université Paris Sorbonne – Sémantique Avancée Négation méta-linguistique [Horn, 1989, Carston, 1998, Geurts, 1998] (≈ négation polémique [Ducrot, 1972, Muller, 1991])

DocID: 1uxLO - View Document