No label defined (Q4639910)
From MaRDI portal
scientific article; zbMATH DE number 6868323
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6868323 |
Statements
14 May 2018
0 references
conservative extension
0 references
identity
0 references
Leibniz's law
0 references
non-classical logics
0 references
restricted universal quantification
0 references
Skolem functions
0 references
unique existential quantifiers
0 references