Intuitionistic Linear Logic

Back to List
method ID: intuitionisticlinearlogic

Entity Details

Basic Information

Entity ID

intuitionisticlinearlogic

Entity Type

Method

English Label

Intuitionistic Linear Logic

Russian Label

Интуиционистская линейная логика

Kazakh Label

Интуициялық сызықтық логика

Frequency

1

Description

English Description

A formalism that derives from current type logical grammars, handling both syntax and semantics with the same set of primitives.

Russian Description

-

Kazakh Description

-