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.
2013
2013
The influence of 6-n-propylthiouracil bitterness, fungiform papilla count and saliva flow on the perception of pressure and fat
2008
2008
On intuitionistic fuzzy clustering for its application to privacy
Motivated by our research on specific information loss measures (in privacy preserving data mining) and our need to compare fuzzy… 
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… 
2006
2006
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq
The use of higher-order abstract syntax is an important approach for the representation of binding constructs in encodings of… 
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… 
1997
1997
Finite Family Developments
Associate to a rewrite system R having rules l → r, its labelled version Rω having rules , for any natural number m e ω. These… 
1989
1989
Expressing Database Queries with Intuitionistic Logic
This paper develops a declarative language with intuitionistic semantics which expresses exactly the generic database queries… 
1971
1971
Logical connectives for intuitionistic propositional logic
In classical propositional logic it is well known that {7, ⊃ } is a functionally complete set with respect to a two-valued truth… 
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)