Compositional reasoning using intervals and time reversal
Compositional reasoning using intervals and time reversal

Basic Arithmetic Geometry Lucien Szpiro
Basic Arithmetic Geometry Lucien Szpiro

PRESERVING NEAR UNANIMITY TERMS UNDER PRODUCTS 1
PRESERVING NEAR UNANIMITY TERMS UNDER PRODUCTS 1

New Perspectives of Quantum Analogues - UKnowledge
New Perspectives of Quantum Analogues - UKnowledge

A Coherence Criterion for Fréchet Modules
A Coherence Criterion for Fréchet Modules

Weyl`s Predicative Classical Mathematics as a Logic
Weyl`s Predicative Classical Mathematics as a Logic

Intuitionistic Type Theory
Intuitionistic Type Theory

Intuitionistic Type Theory - The collected works of Per Martin-Löf
Intuitionistic Type Theory - The collected works of Per Martin-Löf

Étale groupoids and their morphisms
Étale groupoids and their morphisms

PhD Thesis First-Order Logic Investigation of Relativity Theory with
PhD Thesis First-Order Logic Investigation of Relativity Theory with

Cichon`s diagram, regularity properties and ∆ sets of reals.
Cichon`s diagram, regularity properties and ∆ sets of reals.

Goal-directed Proof Theory
Goal-directed Proof Theory

Automatic Continuity from a personal perspective Krzysztof Jarosz www.siue.edu/~kjarosz
Automatic Continuity from a personal perspective Krzysztof Jarosz www.siue.edu/~kjarosz

Constructive Complete Distributivity II
Constructive Complete Distributivity II

QUASI-MINIMAL DEGREES FOR DEGREE SPECTRA 1
QUASI-MINIMAL DEGREES FOR DEGREE SPECTRA 1

Ideals
Ideals

Inference in First
Inference in First

Q - GROU.PS
Q - GROU.PS

Computability and Incompleteness
Computability and Incompleteness

Syllogistic Analysis and Cunning of Reason in
Syllogistic Analysis and Cunning of Reason in

... The cunning of reason, in this essay and as a category, is more mathematical and psychological than philosophical. A skillful use of it depends heavily on a piece of mathematics to be taught and on the background of the student. The dependence can be three-folds. The first is the dependence on mathe ...
Preservation and destruction in simple refinements
Preservation and destruction in simple refinements

... remain submaximal under refinement. In fact, this is true of all submaximal spaces by a result of Arhangel’skiı̆ and Collins (see [2], Corollary 2.9; see also the stronger Theorem 2.13). There is a class of submaximal spaces that is easy to describe: every scattered space of rank 1 or 2 is submaxima ...
Numerical and Algebraic Expressions and Equations
Numerical and Algebraic Expressions and Equations

A Deduction Method Complete for Refutation and Finite Satis ability
A Deduction Method Complete for Refutation and Finite Satis ability

On the Question of Absolute Undecidability
On the Question of Absolute Undecidability

On different notions of tameness in arithmetic geometry
On different notions of tameness in arithmetic geometry

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.