Results 31 to 40 of about 545,179 (279)

Formalizing Sense Relations in Sentence Level from Logical Point of View: A Study of Mathematical Linguistics [PDF]

̒Ilm-i Zabān, 2019
The present paper studies the possibility of translating “sense relations” in the level of sentences into formal expressions. In so doing, it applies the mathematical logic, especially the logic of propositions within the constraints of sufficient Farsi ...
Maryam Ramezankhani
doaj   +1 more source

Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism [PDF]

, 2019
This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras.
A Baltag, A Kanamori, A Kanamori, A Kanamori, A Kanamori, A Kurz, A Wilson, C Chihara, C Rittberg, C Wright, C Wright, C Wright, C Wright, C Wright, D Deutsch, D Deutsch, D Lewis, D Wallace, F Arntzenius, G Frege, G Marcus, G Uzquiano, H Putnam, H Rasiowa, J Hawthorne, J McKinsey, K Fine, L Henkin, M Dummett, M Takeuchi, Michael Rescorla, P Koellner, P Lewis, P Maddy, P Maddy, S Saunders, S Shapiro, S Shapiro, T Jech, T Lando, V Halbach, W Reinhardt, WH Woodin, WV Quine, Y Venema, Y Venema   +45 more
core   +9 more sources

Formal logic: Classical problems and proofs [PDF]

, 2019
Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective.
Augusto, Luis M.
core  

The Informal Logic of Mathematical Proof

, 2003
Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form.
Brockriede Wayne, Churchill Winston, Doron, Eemeren Frans van, Eemeren Frans van, Hamblin Charles, Hoffman Paul, Jaffe Arthur, Kempe Alfred, MacKenzie Donald, Rav Yehuda, Rota Gian-Carlo, Swart Edward, Thurston William, Toulmin Stephen, Toulmin Stephen, Tymoczko Thomas, Walton Douglas, Walton Douglas, Walton Douglas, Willard Charles, Wilson Robin, Wittgenstein Ludwig   +22 more
core   +1 more source

Variations on the Theme of Conning in Mathematical Economics [PDF]

, 2007
The mathematization of economics is almost exclusively in terms of the mathematics of real analysis which, in turn, is founded on set theory (and the axiom of choice) and orthodox mathematical logic.
Velupillai, Kumaraswamy
core   +1 more source

Digital twins to accelerate target identification and drug development for immune‐mediated disorders

FEBS Open Bio, EarlyView.
Digital twins integrate patient‐derived molecular and clinical data into personalised computational models that simulate disease mechanisms. They enable rapid identification and validation of therapeutic targets, prediction of drug responses, and prioritisation of candidate interventions.
Anna Niarakis, Philippe Moingeon
wiley   +1 more source

$L^p-L^q$ estimates for non-local heat and wave type equations on locally compact groups

Comptes Rendus. Mathématique
We prove the $L^p-L^q ...
Gómez Cobos, Santiago, Restrepo, Joel E., Ruzhansky, Michael   +2 more
doaj   +1 more source

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

La LÓGICA MATEMÁTICA DESDE LAS DISCIPLINAS CIENTÍFICAS DE INFORMÁTICA

Revista Ingeniería, Matemáticas y Ciencias de la Información, 2019
In this era where social evolution has led humanity to the Information and Knowledge Society, the job of computerengineers is mainly to detect, recognize and solve problems by finding more and more effective computer solutions.
YUDELKIS VALDERRAMA GARRIDO, WALFREDO GONZÁLEZ HERNÁNDEZ   +1 more
doaj   +1 more source

Kriesel and Wittgenstein [PDF]

, 2019
Georg Kreisel (15 September 1923 - 1 March 2015) was a formidable mathematical logician during a formative period when the subject was becoming a sophisticated field at the crossing of mathematics and logic.
Kanamori, Akihiro
core