On defining sentential connectives

DOI10.1305/NDJFL/1093636938zbMath0646.03003OpenAlexW2034335483MaRDI QIDQ1103601

Joseph Jurcic

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/1093636938

zbMATH Keywords

Leśniewski style rules of definitionpredicate and function symbolsrule for defining connectivestwo-way inference rules

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03B99)

Related Items (2)

Busting a Myth about Leśniewski and Definitions ⋮ Zero-place operations and functional completeness, and the definition of new connectives

This page was built for publication: On defining sentential connectives