Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic
Taro Sekiyama +2 more
openalex +2 more sources
Subintuitionistic logics and their modal companions: a nested approach. [PDF]
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]
Xie X, Sathasivam S, Ma H.
europepmc +1 more source
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic
Petr Cintula, George Metcalfe
openalex +2 more sources
Reliability evaluation of a medical oxygen supply system by FTA based on intuitionistic fuzzy sets. [PDF]
Yousofnejad Y, Es'haghi M.
europepmc +1 more source
Editorial: Neuro-detection: advancements in pattern detection and segmentation techniques in neuroscience. [PDF]
Ben Aoun N, Ahmad S, Ejbali R.
europepmc +1 more source
Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover
Paul Tarau
openalex +2 more sources
Evaluation of influencing factors of China university teaching quality based on fuzzy logic and deep learning technology. [PDF]
Yu J.
europepmc +1 more source
A Linear-logical Reconstruction of Intuitionistic Modal Logic S4
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]
Ullah N +5 more
europepmc +1 more source

