A first-order logic with no logical constants (Q1263571)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A first-order logic with no logical constants |
scientific article |
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
