Maximally multi-focused proofs for skew non-commutative \texttt{MILL} (Q6199592)
From MaRDI portal
scientific article; zbMATH DE number 7810577
Language | Label | Description | Also known as |
---|---|---|---|
English | Maximally multi-focused proofs for skew non-commutative \texttt{MILL} |
scientific article; zbMATH DE number 7810577 |
Statements
Maximally multi-focused proofs for skew non-commutative \texttt{MILL} (English)
0 references
28 February 2024
0 references
skew non-commutative MILL
0 references
maximal multi-focusing
0 references
skew monoidal closed categories
0 references
substructural logics
0 references
Agda
0 references
0 references