Results 201 to 210 of about 785,300 (287)

Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic

, 2017
Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga   +2 more
openalex   +2 more sources

Subintuitionistic logics and their modal companions: a nested approach. [PDF]

J Appl Non Class Log
Tesi M.
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

Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic

, 2018
Petr Cintula, George Metcalfe
openalex   +2 more sources

Reliability evaluation of a medical oxygen supply system by FTA based on intuitionistic fuzzy sets. [PDF]

Heliyon
Yousofnejad Y, Es'haghi M.
europepmc   +1 more source

Editorial: Neuro-detection: advancements in pattern detection and segmentation techniques in neuroscience. [PDF]

Front Comput Neurosci
Ben Aoun N, Ahmad S, Ejbali R.
europepmc   +1 more source

Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover

, 2019
Paul Tarau
openalex   +2 more sources

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

A Linear-logical Reconstruction of Intuitionistic Modal Logic S4

, 2019
Y Fukuda, Akira Yoshimizu
openalex   +2 more sources

A novel decision-making approach for the selection of best deep learning techniques under logarithmic fractional fuzzy set information. [PDF]

Sci Rep
Ullah N, Azam M, Abbas M, Hussain W, Birhanu A, Gepreel KA.   +5 more
europepmc   +1 more source