Results 141 to 150 of about 2,913,967 (326)

Second-Order Logic and Foundations of Mathematics

Bulletin of Symbolic Logic, 2001
J. Väänänen
semanticscholar   +1 more source

Where Tech Meets the SDGs: A Supply‐Chain Process Map for Sustainability Management

Corporate Social Responsibility and Environmental Management, EarlyView.
ABSTRACT This study investigates how advanced technologies support Sustainable Development Goals (SDGs) within supply chain management (SCM) through a structured analysis of 4448 sustainable practices. By integrating perspectives from sustainability‐oriented innovation (SOI) and contingent dynamic capabilities, the research conceptualizes technology ...
Vincenzo Varriale, Antonello Cammarano, Moacir Godinho‐Filho   +2 more
wiley   +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

Reflexion Principle on Second order Arithmetic(Logic and the Foundations of Mathematics)

, 1986
令二朗 倉田
openalex   +1 more source

A New Theory of Measurement: A Study in the Logic of Mathematics

N. Wiener
semanticscholar   +1 more source

Truth‐telling in the Australian Curriculum

The Curriculum Journal, EarlyView.
Abstract Unlike Canada and South Africa, Australia has not completed a national Truth‐telling of First Nations histories. As a consequence, the curriculum is at risk of excluding Truth‐telling, leading to indoctrination of past injustices as part of school learning.
Glenn Auld, Aleryk Fricker, A. Bryan Fricker, Jessamy Gleeson, Genée Marks, Jo Raphael, Roy Rozario, Peta J. White, Brezshia Ashcroft, Robin A. Bellingham, Alessandra D'Arbe, Brianna Damcevski, Jennie Darcy, Kim Davies, Claudia Filipic, Brandi Fox, Paul Garner, Amanda Hall, Shelley Hannigan, Amrita Kamath, Katie Lee, Eun‐ju Lee, Jing Leong, Catherine Milvain, Jonathan Newchurch, Alistair Noble, Joanne O'Mara, Jacqui Peters, Monika Wagner, Yinfeng Wang   +29 more
wiley   +1 more source

Inner synchronization of controlled multi-valued logical networks. [PDF]

PLoS One
Deng Y, Qi X, Liang Y.
europepmc   +1 more source

Mathematical logic

Advances in Mathematics, 1977
openaire   +1 more source

Inductive-deductive systems: a mathematical logic and statistical learning perspective

, 2007
Nicolas Baskiotis, Michèle Sébag, Olivier Teytaud   +2 more
openalex   +1 more source

Local realities, global discourses and decolonising the curriculum in a post‐92 UK context: Academic voices on enacting decolonial curriculum change

The Curriculum Journal, EarlyView.
Abstract This study explored how lecturers in a post‐92 UK university conceptualise and enact decolonial curriculum principles within their teaching and programme design. Drawing on semi‐structured interviews with academic staff across multiple disciplines, the research adopts a qualitative, phenomenologically informed approach to examine the interplay
Reece Sohdi
wiley   +1 more source