Results 121 to 130 of about 28,310 (224)

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

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

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

Deflationism, explanation and "because". [PDF]

Philos Stud
De Rizzo J.
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

Supervaluations and Tarski.

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

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 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

Subintuitionistic logics and their modal companions: a nested approach. [PDF]

J Appl Non Class Log
Tesi M.
europepmc   +1 more source