Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion (Q3299517)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion |
scientific article |
Statements
Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion (English)
0 references
23 July 2020
0 references
atomic formula
0 references
first order logic
0 references
propositional variable
0 references
natural deduction
0 references
logical constant
0 references
