A first-order logic with no logical constants (Q1263571)
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 4127171
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A first-order logic with no logical constants |
scientific article; zbMATH DE number 4127171 |
Statements
A first-order logic with no logical constants (English)
0 references
1987
0 references
The author considers a first-order language LQ consisting of a denumerable set of individual variables, for each \(n\geq 1\) a set of n- place predicates, and a denumerable set of atomic wffs. For this language he gives natural deduction rules and obtains semantical results.
0 references
first-order logic without logical constants
0 references
semantics
0 references
first-order language LQ
0 references
natural deduction rules
0 references
0.8850192
0 references
0.8839409
0 references
0.88073885
0 references
0.8738291
0 references
