Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,543,876 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
2017
Highly Cited
2017
Maclaurin symmetric mean operators of linguistic intuitionistic fuzzy numbers and their application to multiple-attribute decision-making
Peide Liu
,
X. Qin
Journal of experimental and theoretical…
2017
Corpus ID: 32011775
Abstract Linguistic intuitionistic fuzzy number (LIFN) is a special intuitionistic fuzzy number which can more easily describe…
Expand
2011
2011
Extended TOPSIS with Correlation Coefficient of Triangular Intuitionistic Fuzzy Sets for Multiple Attribute Group Decision Making
John Robinson
,
Henry Amirtharaj
International Journal of Decision Support System…
2011
Corpus ID: 32105742
This paper extends the technique for order preference by similarity to ideal solution TOPSIS for solving multi-attribute group…
Expand
Highly Cited
2007
Highly Cited
2007
Intuitionistic nil radicals of intuitionistic fuzzy ideals and Euclidean intuitionistic fuzzy ideals in rings
Y. Jun
,
M. A. Öztürk
,
C. Park
Information Sciences
2007
Corpus ID: 22028967
Highly Cited
2007
Highly Cited
2007
Quotient structures of intuitionistic fuzzy finite state machines
Y. Jun
Information Sciences
2007
Corpus ID: 43381868
Highly Cited
2005
Highly Cited
2005
Intuitionistic fuzzy finite state machines
Y. Jun
2005
Corpus ID: 16790924
Using the notion of intuitionistic fuzzy sets, the concepts of intuitionistic fuzzy finite state machines (iffsm), intuitionistic…
Expand
Highly Cited
2003
Highly Cited
2003
Classes Of Intuitionistic Fuzzy T-Norms Satisfying The Residuation Principle
Glad Deschrijver
,
E. Kerre
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
2003
Corpus ID: 7299655
Intuitionistic fuzzy sets constitute an extension of fuzzy sets: while fuzzy sets give a degree to which an element belongs to a…
Expand
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
Expand
2001
2001
Intuitionistic Logic As Epistemic Logic
J. Hintikka
Synthese
2001
Corpus ID: 40779453
L'A. refute l'identification contemporaine de la philosophie constructionniste des mathematiques avec la logique intuitionniste…
Expand
1994
1994
NNIL, A study in intuitionistic propositional logic
A. Visser
,
J. Benthem
,
D. D. Jongh
,
G. D. Lavalette
1994
Corpus ID: 122869400
In this paper we study NNIL, the class of formulas of the Intuitionistic Propositional Calculus. IPC with no nestings of…
Expand
Review
1977
Review
1977
An Intuitionistically Plausible Interpretation of Intuitionistic Logic
H. Swart
Journal of Symbolic Logic (JSL)
1977
Corpus ID: 22538728
Let IPC be the intuitionistic first-order predicate calculus. From the definition of derivability in IPC the following is clear…
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