Results 201 to 210 of about 20,888 (254)

Complex nth power root fuzzy sets: Theory, and applications for multi-attribute decision making in uncertain environments. [PDF]

PLoS One
Ibrahim HZ, Al-Shami TM, Arar M, Hosny M.   +3 more
europepmc   +1 more source

An Interval-valued intuitionistic Fuzzy group decision-making approach based on projection measurement extended VIKOR for patent quality evaluation. [PDF]

PLoS One
Xie X, Sathasivam S, Ma H.
europepmc   +1 more source

Evaluation of influencing factors of China university teaching quality based on fuzzy logic and deep learning technology. [PDF]

PLoS One
Yu J.
europepmc   +1 more source

Fifteen Simple Exercises in Higher-Order Intuitionistic Logic ; CU-CS-307-85

, 1985
Jon Shultis
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Intuitionistic Autoepistemic Logic

Studia Logica, 1997
Intuitionistic propositional logic with an S5-type possibility operator is proposed as a logic of intuitionistically stable sets.
GIANNI AMATI, CARLUCCI, Luigia, PIRRI ARDIZZONE, Maria Fiora   +2 more
openaire   +2 more sources

Intuitionistic Conditional Logics

Journal of Philosophical Logic, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ciardelli I, Liu X
openaire   +2 more sources

Intuitionistic propositional probability logic

Mathematical Logic Quarterly, 2022
AbstractWe give a sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators is also intuitionistic (in contradistinction to other works on this topic), i.e., measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our
Ilić-Stepić, Angelina, Knežević, Mateja, Ognjanović, Zoran   +2 more
openaire   +2 more sources

Intuitionistic Logic As Epistemic Logic

Synthese, 2001
Is intuitionism a variant of constructivism? If intuitionism is not constructivism, what is it? What do the intuitions of the genuine intuitionists add up to? Are their intentions reflected faithfully in Heyting's intuitionistic logic? What is the epistemic logic like, in which the distinction can be made and in which the correctly understood claims of
openaire   +1 more source

Intuitionistic Light Affine Logic

ACM Transactions on Computational Logic, 2002
This article is a structured introduction to Intuitionistic Light Affine Logic ( ILAL ). ILAL has a polynomially costing normalization, and it is expressive enough to encode, and simulate, all PolyTime Turing machines.
ASPERTI, ROVERSI, Luca
openaire   +1 more source

Realizability and Intuitionistic Logic

Synthese, 1984
The paper is largely expository and attempts to clarity the relationship between the well-known proof-interpretation of intuitionistic logical operators on the one hand and realizability interpretations on the other hand, in particular in connection with the theory of types as formulated by \textit{P.
Diller, J., Troelstra, A. S.
openaire   +2 more sources