Results 91 to 100 of about 503 (185)

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

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

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

Inquisitive Neighborhood Logic. [PDF]

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

Axiomatics for implication.

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

Towards Representing Change in the BFO. [PDF]

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