Results 71 to 80 of about 1,151,417 (307)
The extension of the taxon cycle model to island plants: insights from the Canarian vascular flora
Biological Reviews, EarlyView.ABSTRACT Taxon cycle models describe eco‐evolutionary patterns of lineage colonization, diversification, and decline across archipelagos, inferring an important role for competition amongst ecologically similar taxa in driving concurrent niche changes.
José María Fernández‐Palacios +2 more
wiley +1 more source
The ILLTP Library for Intuitionistic Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited.
Carlos Olarte +3 more
doaj +1 more source
ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
Manuscrito, 2023 In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems.
JOSÉ RENATO SALATIEL
doaj +1 more source
Platform Business Model Innovation for Sustainability: A Framework for Industry 5.0 Integration
Business Strategy and the Environment, EarlyView.ABSTRACT A comprehensive framework is developed for adopting Platform Business Model Innovation (PBMI) to enhance sustainable performance in the Industry 5.0 (I5.0) era. While PBMI plays a growing role in corporate transformation, tensions persist between profit‐driven objectives and broader sustainability imperatives.
Mohamed Ashmel Mohamed Hashim +3 more
wiley +1 more source
Validity and Entailment in Modal and Propositional Dependence Logics [PDF]
Logical Methods in Computer Science, 2019 The computational properties of modal and propositional dependence logics have been extensively studied over the past few years, starting from a result by Sevenster showing NEXPTIME-completeness of the satisfiability problem for modal dependence logic ...
Miika Hannula
doaj +1 more source
An algebraic generalization of Kripke structures
, 2007 The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantales.
Emerson +8 more
core +1 more source
Impact Measuring in Sustainable Ventures: A Process Perspective
Business Strategy and the Environment, EarlyView.ABSTRACT Impact measurement is crucial for sustainable ventures to quantify their contribution to sustainable development. Although research has highly focused on impact measurement as a static activity, we conduct a qualitative study to explore how impact measuring as a process unfolds over time.
Jan Moellmann +2 more
wiley +1 more source
Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
Manuscrito, 2011 The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974).
Paul Weingartner
doaj +1 more source
Propositional Dynamic Logic for Message-Passing Systems [PDF]
Logical Methods in Computer Science, 2010 We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event.
Benedikt Bollig +2 more
doaj +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT The transition to a circular economy (CE) remains hindered by the lack of practical strategies that simultaneously secure competitiveness and deliver sustainability outcomes for manufacturing organisations. While circular design is often cited as a cornerstone of CE, its concrete role in driving competitive advantage and organisational ...
Shamaila Ishaq +3 more
wiley +1 more source