Week 1: Some Testing Challenges Languages Overview Some Boolean Logic

Abstract

You have 27 coins and a balance. All coins have the same weight, except for one coin, which is counterfeit: it is lighter than the other coins

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Week 1: Propositional Logic, or Boolean Logic.Jan van Eijck - unknown
Incompactness in infinitary languages with respect to Boolean-valued interpretations.Attila Máté - 1971 - Szeged,: University of Szeged Bolyai Mathematical Institute.
Extension of relatively |sigma-additive probabilities on Boolean algebras of logic.Mohamed A. Amer - 1985 - Journal of Symbolic Logic 50 (3):589 - 596.
How much logic is built into natural language?Ed Keenan - unknown
About Testing and Specification . . . and about First Order Logic.Jan van Eijck - unknown
Haskell Programming With Tests, and Some Alloy.Jan van Eijck - unknown
Boolean sentence algebras: Isomorphism constructions.William P. Hanf & Dale Myers - 1983 - Journal of Symbolic Logic 48 (2):329-338.
Definable sets in Boolean-ordered o-minimal structures. I.Ludomir Newelski & Roman Wencel - 2001 - Journal of Symbolic Logic 66 (4):1821-1836.
A modal perspective on the computational complexity of attribute value grammar.Patrick Blackburn & Edith Spaan - 1993 - Journal of Logic, Language and Information 2 (2):129-169.
Alchemy, NK Boolean style.William Dembski - manuscript
Entailment, with nods to Lewy and Smiley.Peter Smith - unknown
Probabilities over rich languages, testing and randomness.Haim Gaifman & Marc Snir - 1982 - Journal of Symbolic Logic 47 (3):495-548.
Augustus De Morgan's Boolean Algebra.Daniel D. Merrill - 2005 - History and Philosophy of Logic 26 (2):75-91.
Note about the Boolean parts of the extended Boolean algebras.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (3):419-422.

Analytics

Added to PP
2010-11-21

Downloads
28 (#555,203)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Van Eijck
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references