The Logic of Partitions: Introduction to the Dual of the Logic of Subsets [PDF]
, 2009 Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary "propositional" logic should in general be the logic of subsets of a given universe set.
Ellerman, David
core +5 more sources
Chains of Life: Turing, Lebensform, and the Emergence of Wittgenstein’s Later Style [PDF]
, 2016 This essay accounts for the notion of Lebensform by assigning it a logical role in Wittgenstein’s later philosophy. Wittgenstein’s additions of the notion to his manuscripts of the PI occurred during the initial drafting of the book 1936-7, after he ...
Floyd, Juliet
core +5 more sources
ProverX: rewriting and extending prover9 [PDF]
, 2020 O propósito principal deste projecto é tornar o demonstrador automático de teoremas Prover9 programável e, por conseguinte, extensível. Este propósito foi conseguido acrescentando um interpretador de Python, uma linha de comandos e uma biblioteca de ...
Robert, Ivo
core
From mathematics in logic to logic in mathematics : Boole and Frege [PDF]
, 2002 This project proceeds from the premise that the historical and logical value of Boole's logical calculus and its connection with Frege's logic remain to be recognised.
Tall, Aliou
core
Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence [PDF]
, 2016 In the present paper, various features of the class of propositional literal paralogics are considered. Literal paralogics are logics in which the paraproperties such as paraconsistence, paracompleteness and paranormality, occur only at the level of ...
Karpenko, Alexander, Tomova, Natalya
core +1 more source
A Spectrum of Applications of Automated Reasoning
, 2002 The likelihood of an automated reasoning program being of substantial assistance for a wide spectrum of applications rests with the nature of the options and parameters it offers on which to base needed strategies and methodologies.
Wos, Larry
core +2 more sources
Boundary Algebra: A Simple Notation for Boolean Algebra and the Truth Functors [PDF]
Boundary algebra [BA] is a simpler notation for Spencer-Brown’s (1969) primary algebra [pa], the Boolean algebra 2, and the truth functors. The primary arithmetic [PA] consists of the atoms ‘()’ and the blank page, concatenation, and enclosure between ‘(‘
Philip Meguire
core
Boundary Algebra: A Simpler Approach to Boolean Algebra and the Sentential Connectives [PDF]
Boundary algebra [BA] is a algebra of type , and a simplified notation for Spencer-Brown’s (1969) primary algebra. The syntax of the primary arithmetic [PA] consists of two atoms, () and the blank page, concatenation, and enclosure between ‘(‘ and ...
Philip Meguire
core
The foundations of inference and its application to fundamental physics [PDF]
, 2021 This thesis concerns the foundations of inference – probability theory,entropic inference, information geometry, etc. – and its application to the Entropic Dynamics (ED) approach to Quantum Mechanics (QM) [21, 22, 41, 53, 56–61, 150–153, 165, 195, 196 ...
Carrara, Nicholas Matthew
core +1 more source
Sets, Logic, Computation: An Open Introduction to Metalogic [PDF]
, 2021 An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and
Zach, Richard
core