RUDN Journal of Philosophy, 2013 We prove that the strong uniformization does not depend on Church thesis with choice in the set theory with intuitionistic logic and with axiom of extensionality.
Valery Khristoforovich Khakhanian
doaj
Completeness and interpolation for intuitionistic infinitary predicate\n logic, in connection to finitizing the class of representable Heyting\n polyadic algebras [PDF]
, 2013 Tarek Sayed Ahmed
openalex +1 more source
Satisfiability in intuitionistic fuzzy logic with realistic tautology
Kuwait Journal of Science, 2018 Any variable in Intuitionistic Fuzzy Logic (IFL) is either a Realistic Fuzzy Tautology (RFT) with a Truth exceeding one half, or a non-Realistic Fuzzy Tautology (nRFT) with a Truth less than or equal to one half.
Ali Muhammad Rushdi +3 more
doaj
Remark on intuitionistic fuzzy logic and intuitionistic logic
Mathware & soft computing, 1995 It is shown that the axioms of the intuitionistic logic can be proved as theorems in the frames of the intuitionistic fuzzy logic.
openaire +3 more sources
On the complexity of propositional quantification in intuitionistic logic [PDF]
, 1997 Philip Kremer
openalex +1 more source
A low light video enhancement using interval valued intuitionistic fuzzy set with HVI space. [PDF]
Sci RepManivasagan M, Jagatheswari S.
europepmc +1 more source
Decision theoretic fuzzy modelling for product quality and design evaluation of basketballs using deck of cards strategy. [PDF]
Sci RepZhu A.
europepmc +1 more source
A study on intuitionistic fuzzy generating function using T-Norm, T-Conorm operators to enhance night-time images for autonomous driving system. [PDF]
Sci RepRagavendirane MS, Dhanasekar S.
europepmc +1 more source
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents [PDF]
Tim S. Lyon, Ian Shillito, Alwen Tiu
openalex +1 more source
On the admissible rules of intuitionistic propositional logic [PDF]
, 2001 Rosalie Iemhoff
openalex +1 more source