Results 71 to 80 of about 454 (145)

A Logical Modeling of Severe Ignorance. [PDF]

J Philos Logic, 2023
Bonzio S, Fano V, Graziani P, Pra Baldi M.   +3 more
europepmc   +1 more source

THE PROBLEM OF NEW PROPERTIES OF NUMBERS

Надежность и качество сложных систем
Background. The proposed work is devoted to research to clarify the axiomatization of arithmetic in connection with the presence of special assumptions in it.
L.G. Sushkov
doaj   +1 more source

Ramsey theory and thermodynamics. [PDF]

Heliyon, 2023
Shvalb N, Frenkel M, Shoval S, Bormashenko E.   +3 more
europepmc   +1 more source

Axiomatization of the counting rule for cost-sharing with possibly redundant items. [PDF]

Soc Choice Welfare, 2022
Fopa GS, Moyouwou I, Siani J.
europepmc   +1 more source

Axiomatizing Origami Planes

32 pages.
Beklemishev, Lev, Dmitrieva, Anna, Makowsky, Johann A.   +2 more
openaire   +3 more sources

Steps Toward a Philosophy for Mathematicians. [PDF]

Math Intell, 2023
Fenstad JE.
europepmc   +1 more source

Free quantum computing. [PDF]

Proc Natl Acad Sci U S A
Carette J, Heunen C, Kaarsgaard R, Ross NJ, Sabry A.   +4 more
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

New Challenges for Classical and Quantum Probability. [PDF]

Entropy (Basel), 2022
Accardi L.
europepmc   +1 more source

Towards Representing Change in the BFO. [PDF]

Form Ontol Inf Syst
Ceusters W, Ruttenberg A.
europepmc   +1 more source