Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms (Q3600569)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms |
scientific article; zbMATH DE number 5502960
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms |
scientific article; zbMATH DE number 5502960 |
Statements
Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms (English)
0 references
5 February 2009
0 references
Lambek calculus
0 references
implicational logics
0 references
finite axiomatizability
0 references
0 references
0.8458730578422546
0 references
0.8286638259887695
0 references
0.8221166729927063
0 references
0.8193777799606323
0 references
