• Study Resource
  • Explore
    • Arts & Humanities
    • Business
    • Engineering & Technology
    • Foreign Language
    • History
    • Math
    • Science
    • Social Science

    Top subcategories

    • Advanced Math
    • Algebra
    • Basic Math
    • Calculus
    • Geometry
    • Linear Algebra
    • Pre-Algebra
    • Pre-Calculus
    • Statistics And Probability
    • Trigonometry
    • other →

    Top subcategories

    • Astronomy
    • Astrophysics
    • Biology
    • Chemistry
    • Earth Science
    • Environmental Science
    • Health Science
    • Physics
    • other →

    Top subcategories

    • Anthropology
    • Law
    • Political Science
    • Psychology
    • Sociology
    • other →

    Top subcategories

    • Accounting
    • Economics
    • Finance
    • Management
    • other →

    Top subcategories

    • Aerospace Engineering
    • Bioengineering
    • Chemical Engineering
    • Civil Engineering
    • Computer Science
    • Electrical Engineering
    • Industrial Engineering
    • Mechanical Engineering
    • Web Design
    • other →

    Top subcategories

    • Architecture
    • Communications
    • English
    • Gender Studies
    • Music
    • Performing Arts
    • Philosophy
    • Religious Studies
    • Writing
    • other →

    Top subcategories

    • Ancient History
    • European History
    • US History
    • World History
    • other →

    Top subcategories

    • Croatian
    • Czech
    • Finnish
    • Greek
    • Hindi
    • Japanese
    • Korean
    • Persian
    • Swedish
    • Turkish
    • other →
 
Profile Documents Logout
Upload
Homomorphisms and Topological Semigroups.
Homomorphisms and Topological Semigroups.

... tive topological semigroups and an extension of the theorem from groups which states that continuous homomorphisms are open mappings under suitable topological conditions. The second section is on the character semigroup (continuous complex valued homomorphisms) of compact topo­ logical semigroups. ...
Logical theory of the additive monoid of subsets of natural integers
Logical theory of the additive monoid of subsets of natural integers

doc
doc

Holt McDougal Algebra 1 2-3 Solving Inequalities by
Holt McDougal Algebra 1 2-3 Solving Inequalities by

... 2-3 Multiplying or Dividing Remember, solving inequalities is similar to solving equations. To solve an inequality that contains multiplication or division, undo the operation by dividing or multiplying both sides of the inequality by the same number. The following rules show the properties of inequ ...
MATHEMATICAL STATEMENTS AND PROOFS In this note we
MATHEMATICAL STATEMENTS AND PROOFS In this note we

... We will assume that the reader is familiar with the basic notation connected with sets. Thus if A, B are sets then “a ∈ A” means that a is an element in A; “A ∪ B” is the union of A and B; “A ∩ B” is the intersection of A and B; and “A − B” is the difference set A minus B (i.e. the set containing al ...
Computability theoretic classifications for classes of structures
Computability theoretic classifications for classes of structures

REVERSE MATHEMATICS, WELL-QUASI
REVERSE MATHEMATICS, WELL-QUASI

Document
Document

... conjunction operator ∧ (binary) and the disjunction operator ∨ (binary), each of them being used to connect formulae (the variables themselves are atomic formulae). Insofar as a propositional formula is built in an inductive way (since the connectives apply on formulae), it can be seen as a rooted, ...
SIMPLE AND SEMISIMPLE FINITE DIMENSIONAL ALGEBRAS Let
SIMPLE AND SEMISIMPLE FINITE DIMENSIONAL ALGEBRAS Let

Year 7 Unit Plan 2016
Year 7 Unit Plan 2016

...  Express one quantity as a fraction of another with and without the use of digital technologies. ACMNA155  Find percentages of quantities and express one quantity as a percentage of another, with and without digital technologies. ACMNA158  Establish the formulas for areas of rectangles, triangles ...
Eigentheory of Cayley-Dickson algebras
Eigentheory of Cayley-Dickson algebras

... Lemma 2.13 (DDD, Lem. 4.4). Standard basis elements are alternative. 2.14. Subalgebras. A subalgebra of An is an R-linear subspace containing 1 that is closed under both multiplication and conjugation. Definition 2.15. For any elements a1 , a2 , . . . , ak in An , let !!a1 , a2 , . . . , ak "" denot ...
Section 1.2
Section 1.2

MATHLINKS: GRADE 6 STUDENT PACKET 9 EXPRESSIONS AND
MATHLINKS: GRADE 6 STUDENT PACKET 9 EXPRESSIONS AND

... Find a menu item with a cost that makes the following equations true. Within the same problem, the refers to the same item. In different problems, the need not represent the same menu item. ...
Towards an Epistemic Logic of Grounded Belief
Towards an Epistemic Logic of Grounded Belief

An argumentation framework in default logic
An argumentation framework in default logic

Annals of Pure and Applied Logic Commutative integral bounded
Annals of Pure and Applied Logic Commutative integral bounded

Chiron: A Set Theory with Types, Undefinedness, Quotation, and
Chiron: A Set Theory with Types, Undefinedness, Quotation, and

Dialectica Interpretations A Categorical Analysis
Dialectica Interpretations A Categorical Analysis

Some Basic Techniques of Group Theory
Some Basic Techniques of Group Theory

Modal fixpoint logic: some model theoretic questions
Modal fixpoint logic: some model theoretic questions

On Dummett`s Pragmatist Justification Procedure
On Dummett`s Pragmatist Justification Procedure

... the definitions are stated irrespective of the particular constants or rules provided. Dummett’s approach is thus more general and can, in principle, be applied to any logic. For our particular case, the self-justifying rules are the standard elimination rules of propositional intuitionistic logic: ...
A Logical Framework for Default Reasoning
A Logical Framework for Default Reasoning

Standard Monomial Theory and applications
Standard Monomial Theory and applications

On the Equivalence of Certain Consequences of the Proper Forcing
On the Equivalence of Certain Consequences of the Proper Forcing

Truth-Functional Logic
Truth-Functional Logic

< 1 ... 16 17 18 19 20 21 22 23 24 ... 163 >

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. LoF describes three distinct logical systems: The primary arithmetic (described in Chapter 4 of LoF), whose models include Boolean arithmetic; The primary algebra (Chapter 6 of LoF), whose models include the two-element Boolean algebra (hereinafter abbreviated 2), Boolean logic, and the classical propositional calculus; Equations of the second degree (Chapter 11), whose interpretations include finite automata and Alonzo Church's Restricted Recursive Arithmetic (RRA).Boundary algebra is Dr Philip Meguire's (2011) term for the union of the primary algebra (hereinafter abbreviated pa) and the primary arithmetic. ""Laws of Form"" sometimes loosely refers to the pa as well as to LoF.
  • studyres.com © 2025
  • DMCA
  • Privacy
  • Terms
  • Report