Results 21 to 30 of about 2,218 (230)
Formal Semantics: Origins, Issues, Early Impact
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments ...
Barbara H. Partee
doaj +1 more source
First-Order Logic Foundation of Relativity Theories [PDF]
, 2006 Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper.
X. Madarasz, Judit +5 more
core +1 more source
A neglected resolution of Russell's paradox of propositions [PDF]
, 2015 Bertrand Russell offered an influential paradox of propositions in Appendix B of "The Principles of Mathematics", but there is little agreement as to what to conclude from it.
GABRIEL UZQUIANO, Uzquiano, Gabriel
core +1 more source
Geometrisation of first-order logic
, 2015 That every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well-known nor ...
Dyckhoff R. +3 more
core +1 more source
Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School
, 2022 The foundations of mathematics cover mathematical as well as philosophical problems. At the turn of the 20th century logicism, formalism and intuitionism, main foundational schools were developed.
Woleński, Jan
core +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 +2 more
wiley +1 more source
ISSUES IN THE FOUNDATIONS OF SCIENCE, I: LANGUAGES, STRUCTURES, AND MODELS [PDF]
, 2010 In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies.
Krause, Décio +2 more
core
Karl Popper and the Mechanisms of Hydrogen Embrittlement
Advanced Engineering Materials, EarlyView.Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley +1 more source
Advanced Functional Materials, EarlyView.Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg +6 more
wiley +1 more source
Logic, Geometry And Probability Theory [PDF]
, 2013 We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T.
Federico Holik, Holik, Federico
core