Maximality of bi-intuitionistic propositional logic (Q5028301)
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 7471448
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Maximality of bi-intuitionistic propositional logic |
scientific article; zbMATH DE number 7471448 |
Statements
Maximality of bi-intuitionistic propositional logic (English)
0 references
8 February 2022
0 references
Lindström theorem
0 references
bi-intuitionistic logic
0 references
abstract model theory
0 references
bi-asimulations
0 references
0.8502284288406372
0 references
0.8059992790222168
0 references
0.7848426103591919
0 references
0.7798008322715759
0 references
0.7615972757339478
0 references
