FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

2020, VOLUME 23, NUMBER 2, PAGES 247-257

Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening

A. E. Pentus
M. R. Pentus

Abstract

Gif image of the abstract

Main page Contents of the journal News Search

Location: http://mech.math.msu.su/~fpm/eng/k20/k202/k20213g.htm
Last modified: March 26, 2021