Results 61 to 70 of about 97,467 (324)
Stone-Type Dualities for Separation Logics [PDF]
Logical Methods in Computer Science, 2019 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Simon Docherty, David Pym
doaj +1 more source
Categoricity and Negation. A Note on Kripke’s Affirmativism [PDF]
, 2019 We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not ...
Brîncuș, Constantin C. +1 more
core
, 2004 Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the
Panti, Giovanni
core +3 more sources
Business Strategy and the Environment, EarlyView.ABSTRACT Sustainable business models (SBMs) inherently involve tensions, which are contradictory or misaligned demands that companies must consider simultaneously. However, there is a gap in the literature regarding the relevance and linkage of these tensions to strategic marketing considerations, including positioning, competitiveness, differentiation,
Päivi Petänen
wiley +1 more source
The validity degree vectors of formulae in two-valued predicate logic [PDF]
International Journal of Computational Intelligence Systems, 2015 By means of infinite product of uniformly distributed probability spaces of cardinal , the concept of -validity degrees and validity degree vectors of formulae in two-valued predicate logic are introduced. It is proved that the validity degree vectors of
Xiaoyan Qin, Yang Xu, Yi Liu
doaj +1 more source
Modal logic S4 as a paraconsistent logic with a topological semantics [PDF]
, 2017 In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models.
E. Coniglio, Marcelo +1 more
core
Business Strategy and the Environment, EarlyView.ABSTRACT Manufacturing's transition to sustainable development depends on integrating green with lean under credible environmental policy and stakeholder engagement. Although benefits are well established, the literature underspecifies implementation barriers and their prioritisation. This study identifies, structures, and prioritises barriers to green–
Jose Arturo Garza‐Reyes +4 more
wiley +1 more source
Classical Logic and Quantum Logic with Multiple and Common Lattice Models
Advances in Mathematical Physics, 2016 We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra) underlying Hilbert (quantum) space.
Mladen Pavičić
doaj +1 more source
, 2017 This work proposes a formulation of propositional logic, named Eigenlogic, using quantum observables as propositions. The eigenvalues of these operators are the truth-values and the associated eigenvectors the interpretations of the propositional system.
Dubois, François, Toffano, Zeno
core +2 more sources
Sensegiving, ESG, and Firm Value: Mitigating Interpretive Uncertainty in South Korea
Business Strategy and the Environment, EarlyView.ABSTRACT As environmental, social, and governance (ESG) becomes central to corporate strategy, firms must navigate the tension between meeting stakeholder expectations and avoiding overinvestment. This study examines how interpretive uncertainty—arising from stakeholders' divergent cognitive frames—produces a nonlinear relationship between ESG ...
Yanghee Kim +3 more
wiley +1 more source