Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2009, Number 2, Pages 62–65 (Mi vmumm863)  

Short notes

Lambek calculus with one division and one primitive type permitting empty antecedents

S. L. Kuznetsov

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract: The following assertion is proved: a deduction rule given by a scheme is admissible in the Lambek calculus with one division $\mathrm{L}^*(\backslash)$ permitting empty antecedents if and only if it is admissible in the fragment of $\mathrm{L}^*(\backslash)$ with one primitive type $\mathrm{L}^*(\backslash; p_1)$. To do that, a type substitution is used which reduces the derivability in $\mathrm{L}^*(\backslash)$ to the derivability in $\mathrm{L}^*(\backslash;p_1)$.
Key words: Lambek calculus, admissible rules, proof nets.
Received: 28.04.2008
Bibliographic databases:
Document Type: Article
UDC: 510.649
Language: Russian
Citation: S. L. Kuznetsov, “Lambek calculus with one division and one primitive type permitting empty antecedents”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2009, no. 2, 62–65
Citation in format AMSBIB
\Bibitem{Kuz09}
\by S.~L.~Kuznetsov
\paper Lambek calculus with one division and one primitive type permitting empty antecedents
\jour Vestnik Moskov. Univ. Ser.~1. Mat. Mekh.
\yr 2009
\issue 2
\pages 62--65
\mathnet{http://mi.mathnet.ru/vmumm863}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2543175}
\zmath{https://zbmath.org/?q=an:1304.03054}
Linking options:
  • https://www.mathnet.ru/eng/vmumm863
  • https://www.mathnet.ru/eng/vmumm/y2009/i2/p62
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Statistics & downloads:
    Abstract page:83
    Full-text PDF :36
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025