Results 41 to 50 of about 5,025 (226)
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
'Unless' is 'Or', Unless '¬A Unless A' is Invalid
Dialectica, 2022 The proper translation of "unless" into intuitionistic formalisms is examined. After a brief examination of intuitionistic writings on "unless", and on translation in general, and a close examination of Dummett's use of "unless" in Elements of ...
Roy Cook
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
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 +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
European Management Review, EarlyView.Abstract This paper aims to encounter the scholarly demand for comprehensive identification and investigation of the factors that highlight the sense of the “workplace of the future.” Besides, this study sheds in‐depth qualitative and quantitative insights into analysing such drivers in international entrepreneurial small and medium enterprises of ...
Hannan Amoozad Mahdiraji +3 more
wiley +1 more source
A random set and prototype theory interpretation of intuitionistic fuzzy sets
, 2010 An interpretation of intuitionistic fuzzy sets is proposed based on random set theory and prototype theory. The extension of fuzzy labels are modelled by lower and upper random set neighbourhoods, identifying those element of the universe within an ...
Lawry, Jonathan, Jonathan Lawry
core +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
Business Ethics, the Environment &Responsibility, Volume 35, Issue 3, Page 1907-1930, July 2026.ABSTRACT The study explores the costs of disclosing sustainable practices within the decision‐making process. We identify various sustainable development goal (SDG) disclosure costs, including litigation, regulatory, reputational, operational, and proprietary costs.
Hasan Dinçer +4 more
wiley +1 more source
A Generalized Realizability and Intuitionistic Logic
ACM Transactions on Computational Logic, 2023 Let V be a set of number-theoretical functions. We define a notion of V -realizability for predicate formulas in such a way that the indices of functions in V are used for interpreting the implication and the universal quantifier.
openaire +2 more sources