Results 131 to 140 of about 1,320,893 (348)

Unifying Splitting. [PDF]

J Autom Reason, 2023
Ebner G, Blanchette J, Tourret S.
europepmc   +1 more source

On the complexity of solving propositional formulas

Beweiskomplexität ist ein Forschungsgebiet an der Schnittstelle von Logik und Komplexitätstheorie, welches die Ressourcen untersucht, die benötigt werden, um Aussagen zu beweisen. Konkret werden nicht-deterministische Berechnungsmodelle, sogenannte Beweissysteme, untersucht, die verschiedene Schlussfolgerungsmethoden erfassen. Die Hauptfrage dreht sich
openaire   +2 more sources

Analyzing the Effect of Lean Six Sigma Practices and Green Culture on Circular Manufacturing Capabilities in Achieving 3P Performance

Business Strategy and the Environment, EarlyView.
ABSTRACT The investigation intends to contribute to the growing interest among academics and practitioners worldwide by advancing knowledge of how manufacturers can improve their 3P (planet, profit, and people) performance through systemic mechanisms.
Saumyaranjan Sahoo, V. G. Venkatesh, Yangyan Shi, V. Raja Sreedharan, Martin Schleper   +4 more
wiley   +1 more source

Logics and admissible rules of constructive set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source

A Proposed Circular Economy Readiness Framework for the Rail Sector, A Literature Review and Conceptual Framework

Business Strategy and the Environment, EarlyView.
ABSTRACT The circular economy (CE) offers a transformative approach to addressing global sustainability challenges, yet few frameworks integrate it with business strategy, systems thinking (ST) and asset management (AM), especially within critical infrastructure sectors like rail. This paper conducts a comprehensive literature review to assess existing
Carl Waring, Kapila Liyanage
wiley   +1 more source

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]

Sensors (Basel), 2022
Zbrzezny AM, Zbrzezny A.
europepmc   +1 more source

Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)

, 2011
This paper relates the well-known Linear Temporal Logic with the logic of propositional schemata introduced by the authors. We prove that LTL is equivalent to a class of schemata in the sense that polynomial-time reductions exist from one logic to the ...
Aravantinos, Vincent, Caferra, Ricardo, Peltier, Nicolas   +2 more
core   +1 more source

The Fatal Flaw: Unraveling Combinations of Barriers to Corporate Sustainability

Business Strategy and the Environment, EarlyView.
ABSTRACT The paper deepens understanding of barriers to corporate sustainability by examining internal and external barriers in the food and beverage sector. Drawing on institutional theory, the study highlights how macro‐level pressures interact with meso‐level organizational dynamics.
Patricia Milić, Mitja Hafner‐Fink, Tomaž Čater   +2 more
wiley   +1 more source

Conceptualizing Circular Ecosystems: An Analysis of 45 Definitions

Business Strategy and the Environment, EarlyView.
ABSTRACT The circular ecosystem concept is gaining prominence among academics and practitioners. However, critics claim the concept is used and understood differently by different actors. While conceptual plurality offers possibilities for broad interpretations and engagement, it can undermine the relevance of the concept as an analytical lens due to ...
Martin Geissdoerfer, Wisdom Kanda, Julian Kirchherr   +2 more
wiley   +1 more source

On a property of certain propositional formulae. [PDF]

Notre Dame Journal of Formal Logic, 1973
openaire   +4 more sources