A first-order logic with no logical constants

DOI10.1305/NDJFL/1093637561MaRDI QIDQ1263571zbMATH OpenOpenAlexFDO

Authors Charles B. Daniels

Publication date 1987

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093637561

zbMATH Keywords

first-order language LQfirst-order logic without logical constantsnatural deduction rulessemantics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Review text

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.

Recommendations

• First order logic with empty structures
• First order logic without equality on relativized semantics
• A consistent prepositional logic without any finite models
• scientific article; zbMATH DE number 7592011
• scientific article; zbMATH DE number 1028229
• scientific article; zbMATH DE number 3274715
• scientific article; zbMATH DE number 31602
• scientific article; zbMATH DE number 1163924
• scientific article; zbMATH DE number 3251384
• A mathematical logic without variables. I

Cited in

(4)

• First-Order Formulas in Conjunctive Quantificational Form
• scientific article; zbMATH DE number 1163924 (Why is no real title available?)
• scientific article; zbMATH DE number 2152692 (Why is no real title available?)
• First-order logic without bound variables: compositional semantics

This page was built for publication: A first-order logic with no logical constants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1263571)