Results 31 to 40 of about 376,786 (202)
Category theory : definitions and examples [PDF]
, 1990 Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic.
Srinivas, Yellamraju V.
core
Counterfactual Logic and the Necessity of Mathematics [PDF]
This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is ...
Elgin, Samuel
core
On applications of mathematical logic to mathematics [PDF]
, 1951 Bronisłav Knaster
openalex +1 more source
Linear logic for constructive mathematics
, 2018 We show that numerous distinctive concepts of constructive mathematics arise automatically from an interpretation of "linear higher-order logic" into intuitionistic higher-order logic via a Chu construction.
Shulman, Michael
core
Some Interconnections Between Modern Algebra and Mathematical Logic [PDF]
, 1953 Leon Henkin
openalex +1 more source
Does Newtonian space provide identity to quantum systems? [PDF]
, 2018 Physics is not just mathematics. This seems trivial, but poses difficult and interesting questions. In this paper we analyse a particular discrepancy between non-relativistic quantum mechanics (QM) and `classical' (Newtonian) space and time (NST).
Krause, Decio
core +1 more source
J. T. Culbertson, Mathematics and Logic for Digital Devices, (D. van Nostrand Co., Ltd., London, 1958), 217 pp., 36s [PDF]
, 1959 D. Gilles
openalex +1 more source
A new process foundation for the applied topos [PDF]
, 2009 The world is in turmoil for want of sound reasoning. Economics and the environment are but two of many areas of human endeavour badly betrayed through a failed combination of physical and information science and the rule of law.
Heather, Michael, Rossiter, Nick
core
Notes on Logic, by Roger C. Lyndon. Van Nostrand Mathematical Studies No. 6. vi + 97 pages. New York, 1966. $2.50. [PDF]
, 1967 R. A. Staal
openalex +1 more source