Remarks on special lattices and related constructive logics with strong negation (Q757363)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Remarks on special lattices and related constructive logics with strong negation |
scientific article |
Statements
Remarks on special lattices and related constructive logics with strong negation (English)
0 references
1990
0 references
constructive logics with strong negation
0 references
relations between strong and nonconstructible negations
0 references
varieties of algebraic structures of ordered pairs
0 references
special N-lattices
0 references
algebraic models
0 references
propositional fragments
0 references
filters
0 references
