We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests. The system is designed to reflect the natural style of reasoning with KAT that one finds in the literature. One can also use the system to reason about properties of simple imperative programs using schematic KAT. We explain how the system works and illustrate its use with some examples, including an extensive scheme equivalence proof.

This chapter discusses the complex conditions for the emergence of 19th-century symbolic logic. The main scope will be on the mathematical motives leading to the interest in logic; the philosophical context will be dealt with only in passing. The main object of study will be the algebra of logic in its British and German versions. Special emphasis will be laid on the systems of George Boole and above all of his German follower Ernst Schröder.

Important study focuses on the revival and assimilation of ancient Greek mathematics in the 13th–16th centuries, via Arabic science, and the 16th-century development of symbolic algebra. This brought about the crucial change in the concept of number that made possible modern science — in which the symbolic "form" of a mathematical statement is completely inseparable from its "content" of physical meaning. Includes a translation of Vieta's Introduction to the Analytical Art. 1968 edition. Bibliography.

This is the fth and last installment in series dealing with the Wittgen- steinian notion of a situation . All proofs and most lemmas have been omitted. They are contained in a comprehensive paper on the ontol- ogy of situations to be submitted to Studia Logica.

Daniel Sutherland - Kant on Arithmetic, Algebra, and the Theory of Proportions - Journal of the History of Philosophy 44:4 Journal of the History of Philosophy 44.4 533-558 Muse Search Journals This Journal Contents Kant on Arithmetic, Algebra, and the Theory of Proportions Daniel Sutherland Kant's philosophy of mathematics has both enthralled and exercised philosophers since the appearance of the Critique of Pure Reason. Neither the Critique nor any other work provides a sustained and focused account of his mature views (...) on mathematical cognition, forcing readers to glean what they can from disparate contexts. Despite these hurdles, Kant's views have been of great interest to philosophers of mathematics. They have also been of interest to philosophers wishing to understand Kant's philosophy more generally, since Kant maintains that mathematical judgments are synthetic a priori and that the type of synthesis underlying mathematics is the same as that underlying the perception of objects . Our understanding of Kant's views has been greatly improved during the last four decades by work on Kant's philosophy of mathematics. Despite these advances, however, I think the recent work has largely neglected the importance of Kant's theory of magnitudes and the extent to which that theory is influenced by the Eudoxian theory of proportions presented in Euclid's Elements. As a consequence, an important feature of Kant's.. (shrink)

In this article, the concepts of Nth Power Set of a Set, Super-Hyper-Oper-Operation, Super-Hyper-Axiom, SuperHyper-Algebra, and their corresponding Neutrosophic Super-Hyper-Oper-Operation, Neutrosophic Super-Hyper-Axiom and Neutrosophic Super-Hyper-Algebra are reviewed. In general, in any field of knowledge, really what are found are Super-HyperStructures (or more specifically Super-Hyper-Structures (m, n)).

This main aim of this paper is to prove that in a direct commutative BCK-algebra an ideal I is nitely generated if and only if I is a principal ideal. This result generalizes the result obtained by E. Y. Deeba in [2]. We also give an answer to the question posed by E. Y. Deeba in [1]: for what class of BCK-algebras is every Noetherian algebra a principal ideal algebra ?

The paper is an introduction to geometric algebra and geometric calculus for those with a knowledge of undergraduate mathematics. No knowledge of physics is required. The section Further Study lists many papers available on the web.

“If the tower is any taller than 320 ms, it may collapse,” Eiffel thinks out loud. Although understanding this counterfactual poses no trouble, the most successful interventionist semantics struggle to model it because the antecedent can come about in infinitely many ways. My aim is to provide a semantics that will make modeling such counterfactuals easy for philosophers, computer scientists, and cognitive scientists who work on causation and causal reasoning. I first propose three desiderata that will guide my theory: it (...) should be general, yet conservative, yet useful. Next, I develop a formalization of events in the form of an algebra. I identify an event with all the ways in which it can be brought about and provide rules for determining the referent of an arbitrary event description. I apply this algebra to counterfactuals expressed using underdeterministic causal models-models that encode non-probabilistic causal indeterminacies. Specifically, I develop semaphore interventions, which represent how the target system may be modified from without in a coordinated fashion. This, in turn, allows me to bring about any event within a single model. Finally, I explain the advantages of this semantics over other interventionist competitors. (shrink)

For each integer n≥0, we provide an explicit functional characterization of the free n-generated BL-algebra, together with an explicit construction of the corresponding normal forms.

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a Łukasiewicz–Moisil (...) Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

In Plato's Parmenides we find on the one hand that the One is denied every property , and on the other hand that the One is attributed every property . In the course of the history of Platonism , these assertions - probably meant by Plato as ontological statements of an entirely formal nature - were repeatedly made the starting points of metaphysical speculations. In the Mystical Theology of the Pseudo-Dionysius they became principles of Christian mysticism and negative theology. I (...) shall show that the two assertions can each be interpreted within the ontological framework of ancient and medieval logic in such a manner that it becomes true, and I shall make plausible that they were understood, with regard to their logical core, by pagan and Christian Platonic metaphysicians just as is indicated by that interpretation. The mentioned ontological framework is basically the Boolean algebra of first-order properties. The main points of the interpretation are on the one hand the identification of the One with the maximal element of the algebra of properties, and on the other hand two alternative intuitively prominent mereological definitions of ontic predication. (shrink)

We give a general method for producing various effective Null and Positivstellensätze, and getting new Positivstellensätze in algebraically closed valued fields and ordered groups. These various effective Nullstellensätze produce algebraic identities certifying that some geometric conditions cannot be simultaneously satisfied. We produce also constructive versions of abstract classical results of algebra based on Zorn's lemma in several cases where such constructive version did not exist. For example, the fact that a real field can be totally ordered, or the fact that (...) a field can be embedded in an algebraically closed field. Our results are based on the concepts we develop of dynamical proofs and simultaneous collapse. (shrink)

It is shown in this article that the two sides of an equation in the medieval Arabic algebra are aggregations of the algebraic “numbers” (powers) with no operations present. Unlike an expression such as our 3x + 4, the Arabic polynomial “three things and four dirhams” is merely a collection of seven objects of two different types. Ideally, the two sides of an equation were polynomials so the Arabic algebraists preferred to work out all operations of the enunciation to a (...) problem before stating an equation. Some difficult problems which involve square roots and divisions cannot be handled nicely by this basic method, so we do find square roots of polynomials and expressions of the form “A divided by B” in some equations. But rather than initiate a reconsideration of the notion of equation, these developments were used only for particularly complex problems. Also, the algebraic notation practiced in the Maghreb in the later middle ages was developed with the “aggregations” interpretation in mind, so it had no noticeable impact on the concept of polynomial. Arabic algebraists continued to solve problems by working operations before setting up an equation to the end of the medieval period. (shrink)

In this paper, we present a version of Fraïssé theory for categories of metric structures. Using this version, we show that every UHF algebra can be recognized as a Fraïssé limit of a class of C*-algebras of matrix-valued continuous functions on cubes with distinguished traces. We also give an alternative proof of the fact that the Jiang–Su algebra is the unique simple monotracial C*-algebra among all the inductive limits of prime dimension drop algebras.

In this paper we give an axiom system of a logic which we call an approximation logic (AL), whose Lindenbaum-Tarski algebra is a strong Bunge algebra (or simply s-Bunge algebra), and show thatFor every s-Bunge algebra , a quotient algebra by a maximal filter is isomorphic to the simplest nontrivial s-Bunge algebra ;The Lindenbaum algebra of AL is an s-Bunge algebra;AL is complete;AL is decidable.

In this paper, I define and study an abstract algebraic structure, the dimensive algebra, which embodies the most general features of the algebra of dimensional physical quantities. I prove some elementary results about dimensive algebras and suggest some directions for future work.

This paper argues that Noether's axiomatic method in algebra cannot be assimilated to Weyl's late view on axiomatics, for his acquiescence to a phenomenological epistemology of correctness led Weyl to resist Noether's principle of detachment.

We interpret the algebra of finite rank operators as imaginaries inside a Hilbert space. We prove that the Hilbert space enlarged with these imaginaries has built-in canonical bases.

In the second chapter of his book Kant and the Exact Sciences Michael Friedman deals with two different interpretations of the relation or the difference between algebra and arithmetic in Kant's thought. According to the first interpretation algebra can be described as general arithmetic because it generalizes over all numbers by the use of variables, whereas arithmetic only deals with particular numbers. The alternative suggestion is that algebra is more general than arithmetic because it considers a more general class of (...) magnitudes. This means that arithmetic is concerned only with rational magnitudes, whereas algebra is also concerned with irrational magnitudes. In this article, I will discuss which of the two aforementioned approaches is to be considered the most plausible interpretation of Kant's theory of algebra and arithmetic. According to Friedman, the first interpretation cannot be reconciled with certain statements made by Kant on various occasions. The second interpretation is developed by Friedman himself. It is meant to be an attempt to avoid such inconsistencies. By a detailed analysis of the texts Friedman himself cites I shall examine the soundness of his arguments against the first interpretation and the compatibility of his own interpretation of the difference between algebra and arithmetic with the relevant passages in Kant's texts. It will turn out that the reasons that make Friedman reject the first interpretation are invalid as they are based on misunderstandings and that his own interpretation does not expound Kant's notions on that subject correctly, whereas the first interpretation is compatible with these passages. Thus, I conclude that the interpretation rejected by Friedman, unlike his own approach, is actually the more adequate interpretation of Kant. (shrink)

A synaptic algebra is a generalization of the self-adjoint part of a von Neumann algebra. In this article we extend to synaptic algebras the type-I/II/III decomposition of von Neumann algebras, AW∗-algebras, and JW-algebras.