Contrapositionally Complemented Pseudo-Boolean Algebras and\n Intuitionistic Logic with Minimal Negation [PDF]
, 2020 Anuj Kumar More, Mohua Banerjee
openalex +1 more source
Intelligent data driven assessment of physical education programs using circular intuitionistic fuzzy MAIRCA CRITIC model. [PDF]
Sci RepShi X, Li F.
europepmc +1 more source
Adaptive low-light image enhancement using Interval-Valued Intuitionistic Fuzzy Set optimized by Reptile Search Algorithm. [PDF]
Front Artif IntellYogambaram H +2 more
europepmc +1 more source
Investigation of physical education classroom teaching using AHP with IV-CIFS-based aggregation operators. [PDF]
Sci RepZhang W.
europepmc +1 more source
Uniform provability realization of intuitionistic logic, modality and λ-terms
, 1999 Sergei Artëmov
openalex +1 more source
Intuitionistic three-valued logic and logic programming [PDF]
, 1991 Jacqueline Vauzeilles, A. Strauss
openalex +1 more source
A complex circular intuitionistic fuzzy decision framework for evaluating sustainable agriculture strategies under uncertainty. [PDF]
Sci RepYu Y.
europepmc +1 more source
Inquisitive Intuitionistic Logic
, 2020 Inquisitive logic is a research program seeking to expand the purview of logic beyond declarative sentences to include the logic of questions. To this end, inquisitive propositional logic extends classical propositional logic for declarative sentences with principles governing a new binary connective of inquisitive disjunction, which allows the ...
openaire +1 more source
An integrated neutrosophic Z-numbers based CRITIC-EDAS decision model for smart solar panel evaluation in sustainable energy planning. [PDF]
Sci RepAbbas MZ +4 more
europepmc +1 more source
Quantales as completions of ordered monoids: Revised semantics for Intuitionistic Linear Logic
, 2000 Dominique Larchey-Wendling +1 more
openalex +1 more source