Schroder, F.W.K.E., Vorlesungen uber die Algebra der Logik (exacte Logik), Dritter Band, Algebra und Logik der Relative, Erste Abteilung, Leipzig, 1895. Reprinted Chelsea Publishing Co., N.Y., 1966.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Principia Mathematica (1910) have been three major milestones in the development of contemporary logic (cf. 3, 8, 15, 4] Only a few people are aware that very important pre Principia milestones were laid down by C.S. Peirce and E. Schroder and culminated in the monumental work [11, 12] on the Algebra der Logik . The rather capricious line of historical development of the algebraic form of logic the map calculus, as we will call it that Peirce and Schroder had contributed to create and which short after the appearance of the Principia fell into general oblivion, was ....

E. Schroder. Vorlesungen uber die Algebra der Logik (exakte Logik), volume 3, Algebra und Logik der Relative, part 1. B. Teubner, Leipzig, 1895. [Reprinted by Chelsea Publishing Co., New York, 1966.].

....Principia Mathematica (1910) have been three major milestones in the development of contemporary logic (cf. 3, 8, 15, 4] Only a few people are aware that very important pre Principia milestones were laid down by C.S. Peirce and E. Schroder and culminated in the monumental work [11, 12] on the Algebra der Logik . The rather capricious line of historical development of the algebraic form of logic the map calculus, as we will call it that Peirce and Schroder had contributed to create and which short after the appearance of the Principia fell into general oblivion, was ....

E. Schroder. Vorlesungen uber die Algebra der Logik (exakte Logik), volume 2, part 1. B. Teubner, Leipzig, 1891. [Reprinted by Chelsea Publishing Co., New York, 1966.].

....and an a of none but b s of, and asserting their sufficiency. Peirce [Pei33, 3. 242,1880] observed their interdefinability, notating them ab, a b , a b and adjoining a fourth connective for relative sum, which he subsequently notated ayb; the notation a b we use here is due to Schroder [Sch95], subsequently (1897) adopted in modified form (the scorpion tail ) by Peirce. For 0; 1; 0 ; 1 Peirce writes 0; 1;n; 1 respectively, and calls relations a 1 , a 0 , a 1 , and a 0 respectively concurrent, opponent, self relative, and alio relative. like a distinct binary relation, i.e. a ....

....a is reflexive, Tr) that it is transitive, and (Gr) that it is greater or equal to a. Cl) asserts that it is the least such. There can be at most one least such, whence a is uniquely defined. Star, ancestral, or reflexive transitive closure, is variously notated a [Kle56] a, and a 0 [Ded01, Sch95], while transitive closure has been written a , a [NT77] and a 00 [Sch95] The firstmentioned in each of these lists is the notation universally used in computer science and is adopted here. In any ordered monoid a is definable in terms of a via the equation a = a; a . In an ....

[Article contains additional citation context not shown here]

E. Schroder. Vorlesungen uber die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative. B.G. Teubner, Leipzig, 1895.

....of relation algebras, RA. The latter amounts to two copies of the logical connectives or, false, and, true, not, and implies, distinguished as the logical and relative (relational) forms of those connectives, due to Peirce but anticipated to some extent by by De Morgan [DM60] To these Schroder [Sch95] added reflexive transitive closure a 0 , nowadays a , and its De Morgan dual a 1 . Combining the separate involutory logical and relative duals, a Gamma and a, as a single involutory (a = a) dual a Gamma = a [Pra92a, p.252] weakens the Boolean structure of RA to that of a De ....

E. Schroder. Vorlesungen uber die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative. B.G. Teubner, Leipzig, 1895.

....Principia Mathematica (1910) have been three major milestones in the development of contemporary logic (cf. 3, 12, 25, 4] Only a few people are aware that very important pre Principia milestones were laid down by C.S. Peirce and E. Schroder and culminated in the monumental work [21, 22] on the Algebra der Logik . The rather capricious line of historical development of the algebraic form of logic the map calculus, as we will call it that Peirce and Schroder had contributed to create and which short after the appearance of the Principia fell into general oblivion, was ....

E. Schroder. Vorlesungen uber die Algebra der Logik (exakte Logik), volume 3, Algebra und Logik der Relative, part 1. B. Teubner, Leipzig, 1895. [Reprinted by Chelsea Publishing Co., New York, 1966.].

....Principia Mathematica (1910) have been three major milestones in the development of contemporary logic (cf. 3, 12, 25, 4] Only a few people are aware that very important pre Principia milestones were laid down by C.S. Peirce and E. Schroder and culminated in the monumental work [21, 22] on the Algebra der Logik . The rather capricious line of historical development of the algebraic form of logic the map calculus, as we will call it that Peirce and Schroder had contributed to create and which short after the appearance of the Principia fell into general oblivion, was ....

E. Schroder. Vorlesungen uber die Algebra der Logik (exakte Logik), volume 2, part 1. B. Teubner, Leipzig, 1891. [Reprinted by Chelsea Publishing Co., New York, 1966.].

....and 1860s (reprinted in [76] Peirce in the 1870s continued this work, with several papers concerning The Logic of Relatives (collected and reprinted in [79] Peirce made mathematically precise some of the fundamental ideas about relations, and laid down some laws about them. Schroder in 1895 [87] extended Peirce s work, and listed many additional laws about relations. Work on relations lay dormant for several decades, until Tarski in 1941 [95] thought that relations deserved to be better known and studied. He proposed two approaches to binary relations, a set theoretic approach and a ....

E. Schroder. Vorlesungen uber die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative. Teubner, Leipzig, 1895.

....up from variables with the operations of composition a; b, converse a, and complement a Gamma . In 1870 C.S. Peirce [Pei33] extended De Morgan s calculus with Boolean connectives a b and ab, Boolean constants 0 and 1, and an identity 1 0 for composition. In 1895 E. Schroder devoted a book [Sch95] to the calculus, and further extended it with the operations of reflexive transitive closure, a , and its De Morgan dual a 1 . In full this should be called the De Morgan Peirce Schroder Tarski J onsson calculus, taking into account the further model theoretic contributions of Tarski [Tar41] ....

....this paper. 2 The Peirce and Chu Calculi of Binary Relations 2.1 The Common Language The Peirce calculus amounts to two copies of the logical connectives or, false, and, true, not, and implies, distinguished as the logical and relative (relational) forms of those connectives. To these Schroder [Sch95] added reflexive transitive closure a 0 , nowadays a , and its De Morgan dual a 1 . Combining the separate involutory logical and relative complements, a Gamma and a, as a single involutory (a = a) complement a Gamma = a [Pra92c, p.252] weakens the Boolean structure of the Peirce ....

E. Schroder. Vorlesungen uber die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative. B.G. Teubner, Leipzig, 1895.

....distribute over binary disjunction; however zeroary disjunction suffices for the point. Peirce [Pei33] subsequently developed the main details of the calculus of binary relations, identifying the full set of its operations, giving it its modern notation, and writing extensively about it. Schroder [Sch95] took up where Peirce left off, producing a substantial book on the calculus of binary relations. Aristotle s modal logic was revived in 1918 by Lewis. Fourteen years later Lewis and Langford [LL32] defined strict or necessary implication A ) B as :3(A:B) which for classical modal logic ....

E. Schroder. Vorlesungen uber die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative. B.G. Teubner, Leipzig, 1895.

....parallel or sequential, must take quadratic time. Specific relation algebras arising from interval constraint problems are also studied: the Interval Algebra, the Point Algebra, and the Containment Algebra. 1 Introduction The logical study of binary relations is classical [8] 9] 51] 52] [56], 53] 54] Following this tradition, Tarski formulated the theory of binary relations as an algebraic theory called relation algebra [59] 1 . Constraint satisfaction problems (CSP s) are a class of logical problems concerning relations. Traditional constraint problems have been concerned ....

.... ha; bi 2 R or ha; bi 2 Sg; R ; S = fha; bi : for some c, ha; ci 2 R and hc; bi 2 Sg; R = fha; bi : hb; ai 2 Rg: Composition ( and conversion ( of binary relations were introduced by De Morgan [8] 9, p55f, p208ff] Composition was called relative multiplication by Peirce [52] and Schroder [56]. In expressions written without full parentheses, unary operators should be computed first, followed by relative multiplication, intersection, and union, in that order. Since we shall use at least one non associative operation (matrix relative multiplication, defined in 2.4 below, and not to be ....

Schroder, F.W.K.E., Vorlesungen uber die Algebra der Logik (exacte Logik), Dritter Band, Algebra und Logik der Relative, Erste Abteilung, Leipzig, 1895. Reprinted Chelsea Publishing Co., N.Y., 1966.

....logic is a close cousin to classical logic, intuitionistic logic, relevance logic, linear logic, relation algebras, regular expressions, and dynamic logic. Of these, perhaps its closest cousin is relation algebra, begun in 1860 by De Morgan [DM64] and further developed by Peirce [Pei33] Schroder [Sch95], Tarski [Tar41] and J onsson [JT51] and many others since. Classical and intuitionistic logics are pure static logics, while regular expressions constitute a pure action logic 6 . Relevance logic, linear logic, relation algebras, and dynamic logic are all hybrid static dynamic logics, with ....

E. Schroder. Vorlesungen uber die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative. B.G. Teubner, Leipzig, 1895.

....Principia Mathematica (1910) have been three major milestones in the development of contemporary logic (cf. 3, 10, 21, 4] Only a few people are aware that very important pre Principia milestones were laid down by C.S. Peirce and E. Schroder and culminated in the monumental work [16] on the Algebra der Logik . The rather capricious line of historical development of the algebraic form of logic the map calculus, as we will call it that Peirce and Schroder had contributed to create and which short after the appearance of the Principia fell into general oblivion, was ....

E. Schroder. Vorlesungen uber die Algebra der Logik (exakte Logik). B. Teubner, Leipzig, 1891-1895. [Reprinted by Chelsea Publishing Co., New York, 1966.]

....such. This is necessarily an equivalence relation on X 2 but need not be the complete relation. during the next twenty years [Pei33] Peirce found most of the interesting equational laws of relation algebra. The third volume of Schroder s series of books on algebraic logic, an 800 page tome [Sch95], was devoted to the calculus. Schroder added to it the operations of transitive closure, reflexive transitive closure, and their De Morgan duals. Bertrand Russell took up the subject in one of his earliest papers [Rus00] with the explanation the logic of Peano is hardly complete without an ....

....Peirce began his studies of the calculus only a decade after De Morgan s paper, with a warm acknowledgement of De Morgan as the founder of the subject, and proceeded to write vigorously about it for more than a decade. Then Schroder took up the refrain and wrote an entire book about the calculus [Sch95], volume 3 in his series on algebraic logic. It was only in the 20th century that the subject fell asleep for forty years. But a more direct vindication of the importance of De Morgan s first and only paper on the calculus is in De Morgan s observation of a certain facet of the calculus that has ....

E. Schroder. Vorlesungen uber die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative. B.G. Teubner, Leipzig, 1895.

No context found.

Schroder, F.W.K.E., Vorlesungen uber die Algebra der Logik (exacte Logik), Dritter Band, Algebra und Logik der Relative, Erste Abteilung, Leipzig, 1895. Reprinted Chelsea Publishing Co., N.Y., 1966.

No context found.

Schroder, E. (1895). Vorlesungen uber die Algebra der logik (exakte logik). Dritter band: Algebra und logik der relative. Teubner, Leipzig. Tarski, A. (1941). On the calculus of relations. Journal of symbolic logic, 6(3), 73--89.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC