Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 219,937,502 papers from all fields of science
Search
Sign In
Create Free Account
Intuitionistic logic
Known as:
Constructivist logic
, Constructive logic
, Intuitionistic Prop Calc
Expand
Intuitionistic logic, sometimes more generally called constructive logic, is a system of symbolic logic that differs from classical logic by…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Admissible rule
Agda
Artificial intuition
Boolean algebra
Expand
Broader (1)
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Fuzzy multiattribute group decision making based on intuitionistic fuzzy sets and evidential reasoning methodology
Shyi-Ming Chen
,
Shou-Hsiung Cheng
,
Chu-Han Chiou
Information Fusion
2016
Corpus ID: 33392222
Highly Cited
2015
Highly Cited
2015
Approaches to Interval Intuitionistic Trapezoidal Fuzzy Multiple Attribute Decision Making with Incomplete Weight Information
G. Wei
International Journal of Fuzzy Systems
2015
Corpus ID: 68247908
With respect to multiple attribute decision-making problems with interval intuitionistic trapezoidal fuzzy information, some…
Expand
Highly Cited
2014
Highly Cited
2014
Some intuitionistic uncertain linguistic Heronian mean operators and their application to group decision making
Peide Liu
,
Zhengmin Liu
,
Xin Zhang
Applied Mathematics and Computation
2014
Corpus ID: 30490767
Highly Cited
2014
Highly Cited
2014
An approach to intuitionistic fuzzy multiple attribute decision making based on Maclaurin symmetric mean operators
Jindong Qin
,
Xinwang Liu
Journal of Intelligent & Fuzzy Systems
2014
Corpus ID: 45735779
The Maclaurin symmetric mean (MSM) was originally introduced by Maclaurin and then generalized by Detemple and Robertson. The…
Expand
Highly Cited
2012
Highly Cited
2012
Some interval-valued intuitionistic fuzzy geometric aggregation operators based on einstein operations
Weize Wang
,
Xinwang Liu
International Conference on Fuzzy Systems and…
2012
Corpus ID: 11649899
The notion of interval-valued intuitionistic fuzzy set (IVIFS) is a generalization of that of Atanassov's intuitionistic fuzzy…
Expand
Highly Cited
2011
Highly Cited
2011
Ranking of interval-valued intuitionistic fuzzy sets
Lakshmana Gomathi Nayagama
,
Geetha Sivaramanb
Applied Soft Computing
2011
Corpus ID: 44117914
Review
2010
Review
2010
A New Ranking Method for Intuitionistic Fuzzy Numbers
H. M. Nehi
2010
Corpus ID: 18824373
In this paper I will introduce the trapezoidal intuitionistic fuzzy numbers (IF numbers) and will prove some operations for them…
Expand
Highly Cited
2000
Highly Cited
2000
Basic logic: reflection, symmetry, visibility
G. Sambin
,
Giulia Battilotti
,
C. Faggian
Journal of Symbolic Logic (JSL)
2000
Corpus ID: 14305427
Abstract We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in…
Expand
Highly Cited
1993
Highly Cited
1993
First order abduction via tableau and sequent calculi
M. C. Mayer
,
F. Pirri
Logic Journal of the IGPL
1993
Corpus ID: 16298027
The formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic…
Expand
1980
1980
Intuitionistic Logic: A Philosophical Challenge
D. Prawitz
1980
Corpus ID: 124981564
There is a tendency in recent discussions to try to reconciliate the differences between intuitionistic and classical logic by…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE