Results 121 to 130 of about 2,771 (212)

Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic. [PDF]

Soft comput, 2019
Badia G, Costa V, Dellunde P, Noguera C.
europepmc   +1 more source

Systems of Precision: Coherent Probabilities on Pre-Dynkin Systems and Coherent Previsions on Linear Subspaces. [PDF]

Entropy (Basel), 2023
Derr R, Williamson RC.
europepmc   +1 more source

Banach-Tarski paradox and group theory

, 2019
El propósito de este trabajo de grado será dar una introducción a la teoría de grupos amenables. En el primer capítulo se estudiará la paradoja de Banach-Tarski, que más adelante se volvería en el ejemplo pionero de lo que un grupo amenable no debe ...
Ariza Sánchez, David Leonardo
core  

Deflationism, explanation and "because". [PDF]

Philos Stud
De Rizzo J.
europepmc   +1 more source

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. [PDF]

J Formaliz Reason, 2018
Narkawicz A, Munoz C, Dutle A.
europepmc   +1 more source

The Complex Plank Problem, Revisited. [PDF]

Discrete Comput Geom
Ortega-Moreno O.
europepmc   +1 more source

Improved (DFT) Generalized k-nearest information systems on Molecular QSAR-QMMM Cryptographic Mining and Chern-Simons Weighted ℓneuron(ι):=φ∘D∘R2∘S∘R1 Topologies for the generation of the Roccustyrna Ligand Targeting SARS-COV-2 D614G Binding Sites.

, 2021
Grigoriadis I.
europepmc   +1 more source

Human verifications: Computable with truth values outside logic. [PDF]

Proc Natl Acad Sci U S A, 2023
Johnson-Laird PN, Byrne RMJ, Khemlani SS.   +2 more
europepmc   +1 more source