scientific article; zbMATH DE number 724628

From MaRDI portal

Revision as of 21:07, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4323644

Jump to:navigation, search

zbMath0817.03009MaRDI QIDQ4323644

Vladimir L. Vasyukov

Publication date: 27 July 1995

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

zbMATH Keywords

relevant logic semantics pairs of possible worlds reciprocal embedding weakly recursive equivalence

Mathematics Subject Classification ID

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

Related Items (2)

Image of Soviet and Russian logic in the West. Latter Half of the XXth Century ⋮ Inter-Model Connectives and Substructural Logics

This page was built for publication:

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