Results 81 to 90 of about 1,151,417 (307)
A Criticism of Kripke’s Semantic for Intuitionistic Logic
O Que Nos Faz Pensar, 2016 This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the
Wagner de Campos Sanz
doaj
Business Strategy and the Environment, EarlyView.ABSTRACT The transition to a circular economy (CE) in the textile and clothing (TC) industry is frequently attributed to sustainability‐oriented innovation (SOI), yet empirical understanding of the systemic conditions under which SOI enables CE remains underdeveloped.
Krishnendu Saha +3 more
wiley +1 more source
The Nature of Propositional Deduction—a Piagetian Perspective
Studia Semiotyczne, 2022 Logic was once thought to describe the laws of thought; however, a plurality of logics has now replaced classical logic, obscuring rather than clarifying the nature of deduction with an embarrassment of riches.
M. A. Winstanley
doaj
A Business Framework for Product Take‐Back—A Structured Multiple‐Case Analysis
Business Strategy and the Environment, EarlyView.ABSTRACT The potential of take‐back systems remains largely unrealized as initiatives have proven difficult to implement in practice. The question is why we do not see more take‐back systems given the substantial environmental benefits. We try to understand the challenges and stumbling blocks in setting up take‐back from a business perspective.
Rasmus Jørgensen, Torben Pedersen
wiley +1 more source
Partial cut elimination for combinations of propositional multi-modal logics with past time
Lietuvos Matematikos Rinkinys, 2011 We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
Local-search techniques for propositional logic extended with cardinality constraints
, 2003 We study local-search satisfiability solvers for propositional logic extended with cardinality atoms, that is, expressions that provide explicit ways to model constraints on cardinalities of sets. Adding cardinality atoms to the language of propositional
Liu, Lengning, Truszczynski, Miroslaw
core +3 more sources
Business Strategy and the Environment, EarlyView.ABSTRACT This study investigates how firms in emerging economies integrate artificial intelligence (AI) with environmental, social, and governance (ESG) practices to enhance biodiversity conservation and circular economy outcomes. It examines the mediating role of corporate social responsibility (CSR) governance and the moderating effect of ...
Suleman Bawa, Simplice A. Asongu
wiley +1 more source
Growth Strategy of Circular Startups
Business Strategy and the Environment, EarlyView.ABSTRACT Circular startups (CSUs) play a crucial role in the circular transition by developing circular business models (CBMs) that minimise resource use and narrow material and energy loops. However, empirical research on how CBMs shape growth strategies and how ecosystems enable or constrain scaling remains limited.
Gustavo Dalmarco +3 more
wiley +1 more source
The Degradation of Access‐Based Business Models: Customer Misbehavior and Shared Mobility
Business Strategy and the Environment, EarlyView.ABSTRACT Access‐based services are considered one of the strategies to embed sustainability in business models. Yet, because the evolution of these business models has been overlooked, we do not know whether their promise to create triple value is sustained.
Andres Camacho, Carmen Valor
wiley +1 more source
Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation
, 2007 Expectation is a central notion in probability theory. The notion of expectation also makes sense for other notions of uncertainty. We introduce a propositional logic for reasoning about expectation, where the semantics depends on the underlying ...
Halpern, Joseph Y., Pucella, Riccardo
core +3 more sources