Results 51 to 60 of about 751,168 (306)
Semantic pollution and syntactic purity [PDF]
, 2015 Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus.
Read, Stephen
core +1 more source
The Logics of Strict-Tolerant Logic
Journal of Philosophical Logic, 2014 A predicate \(T\) in a language is a transparent truth predicate if, for every valuation \(v\), for the language and every sentence \(A\), \(v(T\langle A\rangle) = v(A)\), where \(\langle A\rangle\) is a name of \(A\). Because of the semantic paradoxes, like the Liar and especially Curry's, it is well known that a suitably expressive language cannot ...
Eduardo Alejandro Barrio +2 more
openaire +3 more sources
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Mental well‐being is central to adult learner success, yet many adult education institutions lack capacity to provide timely and accessible support. This article examines how artificial intelligence (AI) can strengthen mental health–adjacent supports in adult and continuing higher education, with attention to professional practice and ...
Adam L. McClain, Thomas Wade
wiley +1 more source
, 2010 This paper investigates a generalized version of inquisitive semantics. A complete axiomatization of the associated logic is established, the connection with intuitionistic logic and several intermediate logics is explored, and the generalized version of
Ciardelli I +6 more
core +1 more source
Possibilistic logic as interpretability logic [PDF]
, 1995 It is shown that a variant of qualitative (comparative) possibilistic logic is closely related to modal interpretability logic, as studied in the metamathematics of first-order arithmetic. This contributes to our knowledge on the relations of logics of uncertainty to classical systems of modal logic.
openaire +2 more sources
Logic of change, change of logic [PDF]
Synthese, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
van Ditmarsch, Hans +2 more
openaire +2 more sources
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT This article examines the evolving role of organizational leadership amidst the rapid advancements in artificial intelligence (AI). It explores a broadly experienced and documented crisis in leadership, due in part to the disruptive nature of AI and emerging technology.
Rachel Wlodarsky, Davin Carr Chellman
wiley +1 more source
From Logic to Functional Logic Programs [PDF]
, 2022 Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into ...
Hanus, Michael
core +2 more sources
A Multi-Bit Neuromorphic Weight Cell Using Ferroelectric FETs, suitable for SoC Integration
IEEE Journal of the Electron Devices Society, 2018 A multi-bit digital weight cell for high-performance, inference-only non-GPU-like neuromorphic accelerators is presented. The cell is designed with simplicity of peripheral circuitry in mind.
Borna Obradovic +6 more
doaj +1 more source