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