Results 41 to 50 of about 722,619 (215)
Monadic Fragments of Intuitionistic Control Logic [PDF]
, 2016 We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants.
Glenszczyk, Anna, Anna Glenszczyk
core +2 more sources
Intersection Logic in sequent calculus style [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus.
Simona Ronchi Della Rocca +3 more
doaj +1 more source
Annals of Pure and Applied Logic, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
David M. Cerna +3 more
openaire +3 more sources
Business Strategy and the Environment, EarlyView.ABSTRACT Given the critical role that banks play in sustainable development through their financial intermediation and capital allocation functions, assessing their sustainability performance has become an increasingly important research issue.
Özcan Işık +3 more
wiley +1 more source
Classical propositional logic and decidability of variables in intuitionistic propositional logic [PDF]
Logical Methods in Computer Science, 2014 We improve the answer to the question: what set of excluded middles for propositional variables in a formula suffices to prove the formula in intuitionistic propositional logic whenever it is provable in classical propositional logic.
Hajime Ishihara
doaj +1 more source
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT Assessing the sustainability performance of life insurers has become increasingly important, as long‐term competitiveness depends not only on financial soundness but also on environmental, social, organizational, and governance‐related capabilities.
Özcan Işık, İbrahim Adalar
wiley +1 more source
On density of truth of the intuitionistic logic in one variable [PDF]
Discrete Mathematics & Theoretical Computer Science, 2008 In this paper we focus on the intuitionistic propositional logic with one propositional variable. More precisely we consider the standard fragment $\{ \to ,\vee ,\bot \}$ of this logic and compute the proportion of tautologies among all formulas.
Zofia Kostrzycka
doaj +1 more source
Strategic Change, EarlyView.ABSTRACT Traditional reward systems, which are largely salary‐centered and structurally rigid, are no longer sufficient in an era defined by digital transformation. Building on this premise, this study examines how emerging technologies reshape integrated compensation systems by uncovering their causal, mediating, and outcome‐oriented roles.
Seyed Hossein Razavi Hajiagha +5 more
wiley +1 more source
On Combining Intuitionistic and S4 Modal Logic
Bulletin of the Section of LogicWe address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj +1 more source
Sustainable Development, EarlyView.ABSTRACT Eco‐Industrial Parks (EIPs) are critical infrastructure for transitioning to sustainable production and consumption patterns, enabling resource efficiency through industrial symbiosis. However, the success of these circular ecosystems depends heavily on strategic location planning that balances conflicting economic, environmental, and social ...
Ertugrul Ayyildiz, Betul Sasmazturk
wiley +1 more source