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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

This paper presents quality Clay-Brick selection process based on intuitionistic fuzzy multi criteria group decision making…

2012

Decision makers sometimes tend to express their preferences in intuitionistic fuzzy form. Based on evidence theory and grey…

2012

The purpose of this paper is to introduce different types of intuitionistic fuzzy soft matrices along with some new operations in…

2011

Both Fuzzy set theory and rough set theory are effective tools in dealing with uncertainty problems. However, these theories have…

2009

We study anoutput-based encoding of the λ-calculus with explicit substitution into the synchronous π-calculus – enriched with…

2006

This invention relates to a method of forming a metallic thin film on a plastic substrate by electroless plating, which comprises…

1998

We present a framework for eliminating redundancies during the reconstruction of sequent proofs from matrix proofs. We show that…

1997

In this paper we address the problem of combining a logic Λ with nonmonotonic modal logic. In particular we study the…

1994

This paper addresses a limitation of most deductive database systems: They cannot reason hypothetically. Although they reason…

1990

The conventional formalization of logic programming in classical logic explains very convincingly the basic principles of this…