Results 51 to 60 of about 785,300 (287)
Negational Fragment of Intuitionistic Control Logic [PDF]
, 2014 We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic (ICL). This logic arises from Intuitionistic Propositional Logic (IPL) by extending language of IPL by additional new constant for falsum.
Glenszczyk, Anna
core +3 more sources
The information in intuitionistic logic [PDF]
Synthese, 2008 Issues about information spring up wherever one scratches the surface of logic. Here is a case that raises delicate issues of ‘factual’ versus ‘procedural’ information, or ‘statics’ versus ‘dynamics’. What does intuitionistic logic, perhaps the earliest source of informational and procedural thinking in contemporary logic, really tell us about ...
openaire +3 more sources
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
IEEE transactions on fuzzy systems, 2018 This paper presents a novel application of a hybrid learning approach to the optimisation of membership and nonmembership functions of a newly developed interval type-2 intuitionistic fuzzy logic system (IT2 IFLS) of a Takagi–Sugeno–Kang (TSK) fuzzy ...
Imo J. Eyoh +3 more
semanticscholar +1 more source
The intuitionistic temporal logic of dynamical systems [PDF]
Log. Methods Comput. Sci., 2016 A dynamical system is a pair $(X,f)$, where $X$ is a topological space and $f\colon X\to X$ is continuous. Kremer observed that the language of propositional linear temporal logic can be interpreted over the class of dynamical systems, giving rise to a ...
D. Fernández-Duque
semanticscholar +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
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