Results 41 to 50 of about 168 (90)
Univocity of Intuitionistic and Classical Connectives [PDF]
In this paper, we show (among other things) that the conditional in Frege's Begriffsschrift is ...
Ertola-Biraben, Rodolfo C. +1 more
core
Mathematics is an activity—something we do—not just something inert that we study. This rich collection begins from that premise to explore the various social influences, institutional forces and lived realities that shape and mould the study and ...
core +1 more source
The Peano School: Logic, Epistemology and Didactics [PDF]
, 2021 Cantù, Luciano, Erika
core +1 more source
Non-classical propositional calculi [PDF]
, 1964 There exist well-known varieties of implication, such as strict, intuitionist, three-valued and rigorous, which are non-classical in the sense of being more restrictive than material implication.
McCall, Storrs, McCall, Storrs.
core +1 more source
About Logically Probable Sentences [PDF]
The starting point of this paper is the empirically determined ability to reason in natural language by employing probable sentences. A sentence is understood to be logically probable if its schema, expressed as a formula in the language of classical ...
Adam Olszewski
core +2 more sources
An Algorithmic Interpretation of Quantum Probability [PDF]
, 2014 The Everett (or relative-state, or many-worlds) interpretation of quantum mechanics has come under fire for inadequately dealing with the Born rule (the formula for calculating quantum probabilities).
Randall, Allan Frederick
core
Artificial intelligence : a heuristic search for commercial and management science applications [PDF]
, 1984 Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1984.MICROFICHE COPY AVAILABLE IN ARCHIVES AND DEWEY.Bibliography: leaves 185-188.by Philip A.
Cooper, Philip A
core
Neutrosophic N −structures on strong Sheffer stroke non-associative MV-algebras [PDF]
, 2021 Katican, Tugce +2 more
core +1 more source
Relations between logic and mathematics in the work of Benjamin and Charles S. Peirce. [PDF]
, 1999 Charles Peirce (1839-1914) was one of the most important logicians of the nineteenth century. This thesis traces the development of his algebraic logic from his early papers, with especial attention paid to the mathematical aspects.
Walsh, A., Walsh, A.
core