Logic is Algebra

04/01/2023
by   Steven Obua, et al.
0

Logic really is just algebra, given one uses the right kind of algebra, and the right kind of logic. The right kind of algebra is abstraction algebra, and the right kind of logic is abstraction logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/11/2019

Using Hoare logic in a process algebra setting

This paper concerns the relation between process algebra and Hoare logic...
research
03/14/2021

Imperative process algebra with abstraction

This paper introduces an imperative process algebra based on ACP (Algebr...
research
03/13/2018

On the Algebra in Boole's Laws of Thought

This article explores the ideas that went into George Boole's developmen...
research
02/25/2013

Phoneme discrimination using KS algebra I

In our work we define a new algebra of operators as a substitute for fuz...
research
08/31/2020

A process algebra with global variables

In standard process algebra, parallel components do not share a common s...
research
05/27/2021

Algebras of Sets and Coherent Sets of Gambles

In a recent work we have shown how to construct an information algebra o...
research
06/17/2023

Old and New Minimalism: a Hopf algebra comparison

In this paper we compare some old formulations of Minimalism, in particu...

Please sign up or login with your details

Forgot password? Click here to reset