A first-order logic with no logical constants

DOI10.1305/NDJFL/1093637561zbMath0688.03007OpenAlexW2021775342MaRDI QIDQ1263571

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

semanticsnatural deduction rulesfirst-order language LQfirst-order logic without logical constants

Mathematics Subject Classification ID

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

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