Absorbing the structural rules in the sequent calculus with additional atomic rules (Q2309499): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q127024960, #quickstatements; #temporary_batch_1722343634948 |
||
(6 intermediate revisions by 6 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Pesca / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2982027353 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1810.11407 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039813 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cut Elimination in the Presence of Axioms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744125 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4716271 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4499084 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q127024960 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:53, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Absorbing the structural rules in the sequent calculus with additional atomic rules |
scientific article |
Statements
Absorbing the structural rules in the sequent calculus with additional atomic rules (English)
0 references
1 April 2020
0 references
sequent calculus
0 references
structural rules
0 references
atomic rules
0 references
admissibility
0 references
equality
0 references