Results 41 to 50 of about 20,888 (254)
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
, 2011 This is an investigation of M. Dummett's claim that a theory of meaning based on verification conditions should lead to the abandonment of classical logic in favor of intuitionistic logic. I especially concentrate on his suggestion that, in order to give
Pietz, Andreas
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
Decidability of quantified propositional intuitionistic logic and S4 on trees
, 2002 Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions.
D. Gabbay +9 more
core +1 more source
On Equivalence of Infinitary Formulas under the Stable Model Semantics [PDF]
, 2014 Propositional formulas that are equivalent in intuitionistic logic, or in its extension known as the logic of here-and-there, have the same stable models. We extend this theorem to propositional formulas with infinitely long conjunctions and disjunctions
Harrison, Amelia +2 more
core +1 more source
Business Ethics, the Environment &Responsibility, EarlyView.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
On Affine Logic and {\L}ukasiewicz Logic [PDF]
, 2014 The multi-valued logic of {\L}ukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of {\L}
Arthan, Rob, Oliva, Paulo
core
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
The Expressive Power of Modal Dependence Logic [PDF]
, 2014 We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with ...
Hella, Lauri +3 more
core
Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic [PDF]
, 2013 International audienceWe combine intuitionistic logic and classical logic into a new, first-order logic called Polarized Intuitionistic Logic. This logic is based on a distinction between two dual polarities which we call red and green to distinguish ...
Andreoli +22 more
core +3 more sources