Results 21 to 30 of about 145 (89)
Vector field processing on triangle meshes [PDF]
, 2015 While scalar fields on surfaces have been staples of geometry processing, the use of tangent vector fields has steadily grown in geometry processing over the last two decades: they are crucial to encoding directions and sizing on surfaces as commonly ...
Desbrun M. +4 more
core +2 more sources
, 2022 Originally published in 1962. The central aim of this book is to discuss the development of Alfred North Whitehead's thought and to underscore how it is unique.
Lowe, Victor
core +1 more source
The Algebra of Logic Tradition [PDF]
, 2015 The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815-1864) in his book The Mathematical Analysis of Logic (1847).
Burris, Stanley, Legris, Javier
core
Collected Papers (on Neutrosophic Theory and Its Applications in Algebra), Volume IX [PDF]
, 2022 This ninth volume of Collected Papers includes 87 papers comprising 982 pages on Neutrosophic Theory and its applications in Algebra, written between 2014-2022 by the author alone or in collaboration with the following 81 co-authors (alphabetically ...
Smarandache, Florentin
core
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