Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics (Q4903811)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6130990
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics |
scientific article; zbMATH DE number 6130990 |
Statements
27 January 2013
0 references
0.8092583417892456
0 references
0.759012758731842
0 references
0.7431610226631165
0 references
0.7361516952514648
0 references
0.7311809062957764
0 references
