Faster access than browser!
58 relations: Affine transformation, Alonzo Church, AND gate, Boolean algebra (structure), Boolean domain, Boolean function, Cambridge, Central processing unit, Charles Hartshorne, Charles Sanders Peirce, CMOS, D. Reidel, De Morgan's laws, Digital electronics, Dordrecht, Duality (mathematics), Duality (order theory), Edward Vermilye Huntington, Existential graph, Flash memory, Formal system, Functional completeness, Gate equivalent, Harvard University Press, Henry M. Sheffer, Inverter (logic gate), Józef Maria Bocheński, Jean Nicod, Laws of Form, List of logic symbols, Logic gate, Logical conjunction, Logical connective, Logical disjunction, Logical graph, Logical NOR, Monotonic function, NAND gate, NAND logic, Negation, NOR gate, OR gate, Paul Weiss (philosopher), Peirce's law, Polish notation, Princeton University Press, Princeton, New Jersey, Principia Mathematica, Proposition, Propositional calculus, ..., South Holland, Transactions of the American Mathematical Society, Truth table, Truth value, Well-formed formula, Willard Van Orman Quine, Wolfram axiom, XOR gate. Expand index (8 more) »
Affine transformation
In geometry, an affine transformation, affine mapBerger, Marcel (1987), p. 38.
New!!: Sheffer stroke and Affine transformation · See more »
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.
New!!: Sheffer stroke and Alonzo Church · See more »
AND gate
The AND gate is a basic digital logic gate that implements logical conjunction - it behaves according to the truth table to the right.
New!!: Sheffer stroke and AND gate · See more »
Boolean algebra (structure)
In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice.
New!!: Sheffer stroke and Boolean algebra (structure) · See more »
Boolean domain
In mathematics and abstract algebra, a Boolean domain is a set consisting of exactly two elements whose interpretations include false and true.
New!!: Sheffer stroke and Boolean domain · See more »
Boolean function
In mathematics and logic, a (finitary) Boolean function (or switching function) is a function of the form ƒ: Bk → B, where B.
New!!: Sheffer stroke and Boolean function · See more »
Cambridge
Cambridge is a university city and the county town of Cambridgeshire, England, on the River Cam approximately north of London.
New!!: Sheffer stroke and Cambridge · See more »
Central processing unit
A central processing unit (CPU) is the electronic circuitry within a computer that carries out the instructions of a computer program by performing the basic arithmetic, logical, control and input/output (I/O) operations specified by the instructions.
New!!: Sheffer stroke and Central processing unit · See more »
Charles Hartshorne
Charles Hartshorne (June 5, 1897 – October 9, 2000) was an American philosopher who concentrated primarily on the philosophy of religion and metaphysics.
New!!: Sheffer stroke and Charles Hartshorne · See more »
Charles Sanders Peirce
Charles Sanders Peirce ("purse"; 10 September 1839 – 19 April 1914) was an American philosopher, logician, mathematician, and scientist who is sometimes known as "the father of pragmatism".
New!!: Sheffer stroke and Charles Sanders Peirce · See more »
CMOS
Complementary metal–oxide–semiconductor, abbreviated as CMOS, is a technology for constructing integrated circuits.
New!!: Sheffer stroke and CMOS · See more »
D. Reidel
D.
New!!: Sheffer stroke and D. Reidel · See more »
De Morgan's laws
In propositional logic and boolean algebra, De Morgan's laws are a pair of transformation rules that are both valid rules of inference.
New!!: Sheffer stroke and De Morgan's laws · See more »
Digital electronics
Digital electronics or digital (electronic) circuits are electronics that operate on digital signals.
New!!: Sheffer stroke and Digital electronics · See more »
Dordrecht
Dordrecht, colloquially Dordt, historically in English named Dort, is a city and municipality in the Western Netherlands, located in the province of South Holland.
New!!: Sheffer stroke and Dordrecht · See more »
Duality (mathematics)
In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one-to-one fashion, often (but not always) by means of an involution operation: if the dual of A is B, then the dual of B is A. Such involutions sometimes have fixed points, so that the dual of A is A itself.
New!!: Sheffer stroke and Duality (mathematics) · See more »
Duality (order theory)
In the mathematical area of order theory, every partially ordered set P gives rise to a dual (or opposite) partially ordered set which is often denoted by Pop or Pd.
New!!: Sheffer stroke and Duality (order theory) · See more »
Edward Vermilye Huntington
Edward Vermilye Huntington (April 26, 1874, Clinton, New York, USANovember 25, 1952, Cambridge, Massachusetts, USA) was an American mathematician.
New!!: Sheffer stroke and Edward Vermilye Huntington · See more »
Existential graph
An existential graph is a type of diagrammatic or visual notation for logical expressions, proposed by Charles Sanders Peirce, who wrote on graphical logic as early as 1882, and continued to develop the method until his death in 1914.
New!!: Sheffer stroke and Existential graph · See more »
Flash memory
Flash memory is an electronic (solid-state) non-volatile computer storage medium that can be electrically erased and reprogrammed.
New!!: Sheffer stroke and Flash memory · See more »
Formal system
A formal system is the name of a logic system usually defined in the mathematical way.
New!!: Sheffer stroke and Formal system · See more »
Functional completeness
In logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables by combining members of the set into a Boolean expression.
New!!: Sheffer stroke and Functional completeness · See more »
Gate equivalent
A gate equivalent (GE) stands for a unit of measure which allows specifying manufacturing-technology-independent complexity of digital electronic circuits.
New!!: Sheffer stroke and Gate equivalent · See more »
Harvard University Press
Harvard University Press (HUP) is a publishing house established on January 13, 1913, as a division of Harvard University, and focused on academic publishing.
New!!: Sheffer stroke and Harvard University Press · See more »
Henry M. Sheffer
Henry Maurice Sheffer (September 1, 18821964) was an American logician.
New!!: Sheffer stroke and Henry M. Sheffer · See more »
Inverter (logic gate)
In digital logic, an inverter or NOT gate is a logic gate which implements logical negation.
New!!: Sheffer stroke and Inverter (logic gate) · See more »
Józef Maria Bocheński
Józef Maria Bocheński (Czuszów, Congress Poland, Russian Empire, 30 August 1902 – 8 February 1995, Fribourg, Switzerland) was a Polish Dominican, logician and philosopher.
New!!: Sheffer stroke and Józef Maria Bocheński · See more »
Jean Nicod
Jean George Pierre Nicod (1893, France – 16 February 1924, Geneva, Switzerland) was a French philosopher, mathematician and logician.
New!!: Sheffer stroke and Jean Nicod · See more »
Laws of Form
Laws of Form (hereinafter LoF) is a book by G. Spencer-Brown, published in 1969, that straddles the boundary between mathematics and philosophy.
New!!: Sheffer stroke and Laws of Form · See more »
List of logic symbols
In logic, a set of symbols is commonly used to express logical representation.
New!!: Sheffer stroke and List of logic symbols · See more »
Logic gate
In electronics, a logic gate is an idealized or physical device implementing a Boolean function; that is, it performs a logical operation on one or more binary inputs and produces a single binary output.
New!!: Sheffer stroke and Logic gate · See more »
Logical conjunction
In logic, mathematics and linguistics, And (∧) is the truth-functional operator of logical conjunction; the and of a set of operands is true if and only if all of its operands are true.
New!!: Sheffer stroke and Logical conjunction · See more »
Logical connective
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the value of the compound sentence produced depends only on that of the original sentences and on the meaning of the connective.
New!!: Sheffer stroke and Logical connective · See more »
Logical disjunction
In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true.
New!!: Sheffer stroke and Logical disjunction · See more »
Logical graph
A logical graph is a special type of diagramatic structure in any one of several systems of graphical syntax that Charles Sanders Peirce developed for logic.
New!!: Sheffer stroke and Logical graph · See more »
Logical NOR
In boolean logic, logical nor or joint denial is a truth-functional operator which produces a result that is the negation of logical or.
New!!: Sheffer stroke and Logical NOR · See more »
Monotonic function
In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order.
New!!: Sheffer stroke and Monotonic function · See more »
NAND gate
In digital electronics, a NAND gate (NOT-AND) is a logic gate which produces an output which is false only if all its inputs are true; thus its output is complement to that of an AND gate.
New!!: Sheffer stroke and NAND gate · See more »
NAND logic
Because the NAND function has functional completeness all logic systems can be converted into NAND gates.
New!!: Sheffer stroke and NAND logic · See more »
Negation
In logic, negation, also called the logical complement, is an operation that takes a proposition P to another proposition "not P", written \neg P (¬P), which is interpreted intuitively as being true when P is false, and false when P is true.
New!!: Sheffer stroke and Negation · See more »
NOR gate
The NOR gate is a digital logic gate that implements logical NOR - it behaves according to the truth table to the right.
New!!: Sheffer stroke and NOR gate · See more »
OR gate
The OR gate is a digital logic gate that implements logical disjunctionit behaves according to the truth table to the right.
New!!: Sheffer stroke and OR gate · See more »
Paul Weiss (philosopher)
Paul Weiss (May 19, 1901 – July 5, 2002) was an American philosopher.
New!!: Sheffer stroke and Paul Weiss (philosopher) · See more »
Peirce's law
In logic, Peirce's law is named after the philosopher and logician Charles Sanders Peirce.
New!!: Sheffer stroke and Peirce's law · See more »
Polish notation
Polish notation (PN), also known as normal Polish notation (NPN), Łukasiewicz notation, Warsaw notation, Polish prefix notation or simply prefix notation, is a mathematical notation in which operators precede their operands, in contrast to reverse Polish notation (RPN) in which operators follow their operands.
New!!: Sheffer stroke and Polish notation · See more »
Princeton University Press
Princeton University Press is an independent publisher with close connections to Princeton University.
New!!: Sheffer stroke and Princeton University Press · See more »
Princeton, New Jersey
Princeton is a municipality with a borough form of government in Mercer County, New Jersey, United States, that was established in its current form on January 1, 2013, through the consolidation of the Borough of Princeton and Princeton Township.
New!!: Sheffer stroke and Princeton, New Jersey · See more »
Principia Mathematica
The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913.
New!!: Sheffer stroke and Principia Mathematica · See more »
Proposition
The term proposition has a broad use in contemporary analytic philosophy.
New!!: Sheffer stroke and Proposition · See more »
Propositional calculus
Propositional calculus is a branch of logic.
New!!: Sheffer stroke and Propositional calculus · See more »
South Holland
South Holland (Zuid-Holland) is a province of the Netherlands with a population of just over 3.6 million as of 2015 and a population density of about, making it the country's most populous province and one of the world's most densely populated areas.
New!!: Sheffer stroke and South Holland · See more »
Transactions of the American Mathematical Society
The Transactions of the American Mathematical Society is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society.
New!!: Sheffer stroke and Transactions of the American Mathematical Society · See more »
Truth table
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables (Enderton, 2001).
New!!: Sheffer stroke and Truth table · See more »
Truth value
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.
New!!: Sheffer stroke and Truth value · See more »
Well-formed formula
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language.
New!!: Sheffer stroke and Well-formed formula · See more »
Willard Van Orman Quine
Willard Van Orman Quine (known to intimates as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor of philosophy and a teacher of logic and set theory, and finally as a professor emeritus who published or revised several books in retirement.
New!!: Sheffer stroke and Willard Van Orman Quine · See more »
Wolfram axiom
The Wolfram axiom is the result of a computer exploration undertaken by Stephen Wolfram in his A New Kind of Science looking for the shortest single axiom equivalent to the axioms of Boolean algebra (or propositional calculus).
New!!: Sheffer stroke and Wolfram axiom · See more »
XOR gate
The XOR gate (sometimes EOR gate, or EXOR gate and pronounced as Exclusive OR gate) is a digital logic gate that gives a true (1 or HIGH) output when the number of true inputs is odd.
New!!: Sheffer stroke and XOR gate · See more »
Redirects here:
Alternative denial, Inclusive nand, Logical NAND, Logical nand, NAND operator, Scheffers stroke, Sheffer Stroke, Sheffer connective, Sheffer's stroke, Sheffers stroke, ⊼.
References
[1] https://en.wikipedia.org/wiki/Sheffer_stroke
