Browsing by Subject "logic, many-valued logic, soundness, completeness"
Now showing items 1-1 of 1
-
Inferences Over Fields: A Preliminary Investigation into the Deductive Capabilities of Field-Theoretically Defined Logical Connectives
(East Carolina University, 2023-05-03)In this paper, we will be concerned with developing an inferential structure over the field with four elements in characteristic $2$. We begin by discussing the historical context in which this research occurs. In subsequent ...