• Science • People
Non User
 • Locations • Timeline
Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > Intuitionistic linear logic

 
A variant of linear logic that allows a single, or no more than one, conclusion.

Continues in discussion.



Read more »

Topics: Intuitionistic Linear Logic, Intuitionistic Logic,...

Intuitionistic logicLogic Logic in computer science Mathematical logic Intuitionistic logic or constructivist logic is the logic used in mathematical intuitionism and other forms of mathematical constructivism. Roughly speaking, "intuitionism" holds that logic and mathematicIntuitionistic type theoryIntroduced by the Swedish mathematician and philosopher Per Martin-Lof in 1972 as a constructive foundation of mathematics in the tradition of intuitionism, intuitionistic type theory is at the same time a mathematical language and a programming language.Intuitionistic linear logicA variant of linear logic that allows a single, or no more than one, conclusion. Continues in discussion.
Non User