Bunched Logic: Substructural Logic, Linear Affine Logic

Name: Bunched Logic: Substructural Logic, Linear Affine Logic
Brand: OmniScriptum
SKU: f8f241ee052685f372598a5c5dd4d74e

1/1

Prices from

145.79

Featured

Description

Bunched Logic: Substructural Logic, Linear Affine Logic

Compare webshops (2)

Shop

Price

€ 145.79

To Shop

€ 145.79

To Shop

Description (0)

Bunched Logic: Substructural Logic, Linear Affine Logic

Brand	OmniScriptum
EAN	9786133221789

OmniScriptum

Affine Logic: Substructural logic, Structural rule, Idempotency of entailment, Linear Monotonicity entailment

OmniScriptum

Linear Logic: Substructural logic, Jean-Yves Girard, Classical Intuitionistic Duality (mathematics), Constructivism Programming...

OmniScriptum

Computability Logic: Giorgi Japaridze, theory, Classical logic, Church-Turing thesis, Conservative extension, Intuitionistic Linear Logic

OmniScriptum

Duration Calculus: Interval Logic, Temporal Logic