intuitionistic logic
PP 2016 20: Universal models for the positive fragment of intuitionistic logic
... in intuitionistic propositional calculus IPC, ...of intuitionistic logic have been thoroughly investigated in the ...minimal logic [12], the fragment of intuitionistic logic ...
19
PP 2006 25: Intuitionistic Logic
... classical logic can be interpreted in intuitionistic logic by G¨odels’s negative translation and how in its turn intuitionistic logic can be interpreted by another translation due to ...
57
PP 2008 37: The Information in Intuitionistic Logic
... But the immediate impetus for this short note comes from Sebastian Sequoiah-Grayson, who observed the same diversity within my own mind! Over the years, I have written about information in different frameworks, without ...
26
PP 2017 03: Tarski's theorem on intuitionistic logic, for polyhedra
... particular, intuitionistic logic cannot detect topological dimension in the frame of all open sets of a Euclidean ...that intuitionistic logic is able to capture the topological dimension of P ...
17
The Friedman-Sheard programme in intuitionistic logic
... some subsets the arguments presented in [3] are valid intuitionistically and so no further work is required to deduce their inconsistency. However, many of the derivations do make use of the classical principles inherent ...
38
X 2006 03: Student Papers from an Intuitionistic Logic Project
... mathematical logic, proved by William Craig (see [2]), that the classical predicate calculus (with identity) has the interpolation property (with the condition that Var(χ) ⊆Var(ϕ)∩Var(ψ) be replaced by similar ...
79
PP 2011 34: Extendible formulas in two variables in intuitionistic logic
... Exactly provable formulas (exact formulas for short) were introduced in [14] for Heyting arithmetic. These are the formulas that axiomatize propositional theories of substitutions. The definition of exact formulas ...
30
PP 2014 19: Stable formulas in intuitionistic logic
... Zakharyaschev’s method was model-theoretic. In [6] an algebraic ap- proach to subframe and cofinal subframe logics was developed and in [2] extended to a full algebraic treatment of canonical formulas. This approach is ...
22
A Hybrid Intuitionistic Logic: Semantics and Decidability
... Surprisingly, the soundness of the birelational models was not straightforward. The problematic cases are the inference rules for introduction of and the elimination of ♦ . In Kripke semantics, soundness is usually ...
35
PP 2014 06: Positive Formulas in Intuitionistic and Minimal Logic
... propositional logic MPC and minimal predicate logic MQC are obtained from the positive fragment, ...of intuitionistic proposi- tional logic IPC and intuitionistic predicate logic ...
15
Intuitionistic Fuzzy Multigroups
... of Intuitionistic Fuzzy sets. The same time a theory called `Intuitionistic Fuzzy set theory' was independently introduced by Takeuti and Titani [8] as a theory developed in (a kind of) ...
13
Tableau development for a bi-intuitionistic tense logic
... bi-intuitionistic logic with two modal operators and their tense ...The logic we present is decidable and has the effective finite model ...the logic which is sound, complete and ...
19
Ordering Of Intuitionistic Fuzzy Numbers Using Centroid Of Centroids Of Intuitionistic Fuzzy Number
... of Intuitionistic fuzzy numbers based on centroid of centroids point of the trapezoidal intuitionistic fuzzy numbers and triangular intuitionistic fuzzy numbers using membership and non membership ...
10
INTUITIONISTIC COFUZZY GRAPHS
... an intuitionistic cofuzzy graphs and study some methods of construction of new intuitionistic cofuzzy ...strong intuitionistic cofuzzy graphs and complete intuitionistic cofuzzy ...regular ...
6
An Intuitionistic Fuzzy Inventory Backorder Problem using Triangular Intuitionistic Fuzzy Numbers
... triangular intuitionistic fuzzy ...that intuitionistic fuzzy quantity and cost are similar to that of a fuzzy model justifying the fact that intuitionistic fuzzy sets with a non-membership degree ...
10
Intuitionistic semantics and the revision of logic
... th e model o f incom plete e x p r e ssio n s, as failin g to stan d for a n y th in g . But h is m eans for a ch iev in g th is sim ilar end d iffe r s in eith er case. E xploitation of th e tech n ica l d ev ice of ...
309
Intuitionistic Fuzzy Wgrα-Closed Sets And Intuitionistic Fuzzy Wgrα-Continuity
... of intuitionistic fuzzy sets was introduced by Atanassov[1] as a generalization of fuzzy ...of intuitionistic fuzzy topological ...of intuitionistic fuzzy wgrα-closed sets, intuitionistic ...
10
Intuitionistic Fuzzy Hyperhomomorphism and Intuitionistic Fuzzy Normal Subhypergroups
... are intuitionistic fuzzy subhypergroups of ( , , ), H I I F , in particular, when X,Y and Z are intuitionistic fuzzy cosets of U, so that the hyperoperation on H U / is ...The intuitionistic fuzzy ...
6
Intuitionistic fuzzy alpha continuity and intuitionistic fuzzy precontinuity
... of intuitionistic fuzzy sets introduced by Atanassov is one among ...of intuitionistic fuzzy sets, C¸oker [5] in- troduced the notion of intuitionistic fuzzy topological ...of intuitionistic ...
11
Intuitionistic filter
... and Intuitionistic points are introduced by ...introduced Intuitionistic fuzzy set in the year ...of Intuitionistic fuzzy set and it is also one of several ways of introducing vagueness in ...
6