Completeness of intermediate logics with doubly negated axioms (Q5404158)
From MaRDI portal
scientific article; zbMATH DE number 6272249
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness of intermediate logics with doubly negated axioms |
scientific article; zbMATH DE number 6272249 |
Statements
Completeness of intermediate logics with doubly negated axioms (English)
0 references
21 March 2014
0 references
intermediate first-order logics
0 references
doubly negated axioms
0 references
