Results 141 to 150 of about 785,300 (287)
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables [PDF]
Roman Kontchakov +2 more
openalex +1 more source
On the complexity of the disjunction property in intuitionistic and modal logics [PDF]
Mauro Ferrari +2 more
openalex +1 more source
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
On strengthening intuitionistic logic. [PDF]
openaire +3 more sources
Studying provability in implicational intuitionistic logic
Sabine Broda, Luı́s Damas
openalex +1 more source
Satisfiability in intuitionistic fuzzy logic with realistic tautology
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
Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
Gilles Dowek, Ying Jiang
openalex +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]
Ragavendirane MS, Dhanasekar S.
europepmc +1 more source
Neutrosophic Logic - Generalization of the Intuitionistic Fuzzy Logic
Florentín Smarandache
openalex +2 more sources

