A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation (Q5434488)
From MaRDI portal
scientific article; zbMATH DE number 5223553
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation |
scientific article; zbMATH DE number 5223553 |
Statements
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation (English)
0 references
4 January 2008
0 references
