Results 221 to 230 of about 785,300 (287)

An MADM approach for the assessment of eye lenses with fuzziness of using prioritized weighted operators. [PDF]

open access: yesSci Rep
Hu C   +8 more
europepmc   +1 more source

Categorical and algebraic aspects of the intuitionistic modal logic IEL - and its predicate extensions

Journal of Logic and Computation, 2021
The system of intuitionistic modal logic $\textbf{IEL}^{-}$ was proposed by S. Artemov and T. Protopopescu as the intuitionistic version of belief logic (S. Artemov and T. Protopopescu. Intuitionistic epistemic logic.
D. Rogozin
semanticscholar   +1 more source

On an Intuitionistic Modal Logic [PDF]

open access: possibleStudia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Valeria de Paiva, Gavin Bierman
openaire   +2 more sources

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   +2 more
openaire   +3 more sources

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.
A. S. Troelstra, J. Diller
openaire   +3 more sources

Intuitionistic Logic As Epistemic Logic [PDF]

open access: possibleSynthese, 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

Home - About - Disclaimer - Privacy