Skip to search formSkip to main contentSkip to account menu

Intuitionistic logic

Known as: Constructivist logic, Constructive logic, Intuitionistic Prop Calc 
Intuitionistic logic, sometimes more generally called constructive logic, is a system of symbolic logic that differs from classical logic by… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Admissible ruleAgdaArtificial intuitionBoolean algebra

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Induced Intuitionistic Fuzzy Ordered Weighted Averaging Operator and Its Application to Multiple Attribute Group Decision Making
With respect to multiple attribute group decision making (MAGDM) problems in which both the attribute weights and the expert… 
Highly Cited
2007
Highly Cited
2007
Quotient structures of intuitionistic fuzzy finite state machines
2006
2006
What proof do we prefer? Variants of verifiability in voting
This invention relates to a method of forming a metallic thin film on a plastic substrate by electroless plating, which comprises… 
Highly Cited
2005
Highly Cited
2005
Intuitionistic fuzzy finite state machines
Using the notion of intuitionistic fuzzy sets, the concepts of intuitionistic fuzzy finite state machines (iffsm), intuitionistic… 
Highly Cited
2003
Highly Cited
2003
Classes Of Intuitionistic Fuzzy T-Norms Satisfying The Residuation Principle
Intuitionistic fuzzy sets constitute an extension of fuzzy sets: while fuzzy sets give a degree to which an element belongs to a… 
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
2001
2001
The Girard-Reynolds isomorphism
2001
2001
Intuitionistic Logic As Epistemic Logic
L'A. refute l'identification contemporaine de la philosophie constructionniste des mathematiques avec la logique intuitionniste… 
1989
1989
Expressing Database Queries with Intuitionistic Logic
This paper develops a declarative language with intuitionistic semantics which expresses exactly the generic database queries… 
1959
1959
On logics intermediate between intuitionistic and classical predicate logic
In [1] and [2] I investigated logics intermediate between intuitionistic and classical propositional logic. In the present paper… 
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)