scientific article; zbMATH DE number 2015295

From MaRDI portal

Publication:4438126

Jump to:navigation, search

zbMath1040.03507MaRDI QIDQ4438126

Kentaro Kikuchi

Publication date: 9 December 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

substructural logic Basic Propositional Calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4438126&oldid=18481609"