Results 11 to 20 of about 391,075 (200)
The Principle Of Excluded Middle Then And Now: Aristotle And Principia Mathematica [PDF]
, 1996 The prevailing truth-functional logic of the twentieth century, it is argued, is incapable of expressing the subtlety and richness of Aristotle's Principle of Excluded Middle, and hence cannot but misinterpret it.
Andrews Doull, Floy
core
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems
, 2017 We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant. In particular, in order to obtain the belief-completeness in a
Guarino, Pierfrancesco
core +1 more source
Quotient completion for the foundation of constructive mathematics [PDF]
, 2013 We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory.
Maietti, Maria Emilia +1 more
core +2 more sources
Annals of the Japan Association for Philosophy of Science, 1963 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library [PDF]
, 2011 The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see http://mizar.org). Owing to its large size (it contains more than 1100 "articles" summing to nearly 2.5 million lines of text, expressing more than 50000 ...
A. Grabowski, I. Lakatos, S.G. Simpson
core +1 more source
Economic-mathematical model for complex risk assessment of the enterprise investment project using fuzzy logic [PDF]
, 2021 Inna Chaikovska +2 more
openalex +1 more source
, 2019 There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing.
Aberdein, Andrew, Inglis, Matthew
core
Synthesis of Fuzzy Logic Mathematical Model for Adaptive Control of the Mig/Mag Surfacing [PDF]
, 2021 V.V. Dolinenko +3 more
openalex +1 more source
Process categories: the metaphysics, methodology & mathematics, philosophy of nature and process philosophy [PDF]
, 2009 To apply the metaphysical methodology of mathematics to the logic and form of process in natural philosophy requires a metaphysics above modelling, a methodology more than method and a mathematics beyond the set based topics of arithmetic, algebra ...
Heather, Michael, Rossiter, Nick
core
Phase-Tunable Thermal Logic: Computation with Heat
, 2017 Boolean algebra, the branch of mathematics where variables can assume only true or false value, is the theoretical basis of classical computation. The analogy between Boolean operations and electronic switching circuits, highlighted by Shannon in 1938 ...
Giazotto, Francesco +3 more
core +1 more source