The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1 (Q4598506)
From MaRDI portal
scientific article; zbMATH DE number 6820822
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1 |
scientific article; zbMATH DE number 6820822 |
Statements
The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1 (English)
0 references
21 December 2017
0 references
Belnap logic
0 references
modality
0 references
lattice
0 references
distributivity of a deduction system
0 references
modularity
0 references
