Results 91 to 100 of about 506 (185)

THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION

Вестник Донского государственного технического университета, 2018
The article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects).
S.I. MASALOVA
doaj  

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 Environmental Conditions, Treatments, and Exposures Ontology (ECTO): connecting toxicology and exposure to human health and beyond. [PDF]

J Biomed Semantics, 2023
Chan LE, Thessen AE, Duncan WD, Matentzoglu N, Schmitt C, Grondin CJ, Vasilevsky N, McMurry JA, Robinson PN, Mungall CJ, Haendel MA.   +10 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

Axiomatizing SNOMED CT Disorders: Should There Be Room for Interpretation? [PDF]

Form Ontol Inf Syst, 2023
Ceusters W, Pengput A.
europepmc   +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

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

Axiomatics for implication.

Notre Dame Journal of Formal Logic, 1979
openaire   +3 more sources

Inquisitive Neighborhood Logic. [PDF]

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