On defining sentential connectives

DOI10.1305/NDJFL/1093636938MaRDI QIDQ1103601zbMATH OpenOpenAlexFDO

Authors 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

predicate and function symbolsrule for defining connectivestwo-way inference rulesLeśniewski style rules of definition

Mathematics Subject Classification ID

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

Recommendations

• On Representing Sentential Connectives of Lesniewski's Elementary Protothetic
• Leśniewski on metalogic and definitions
• Intelim rules for classical connectives
• \(Cn\)-definitions of propositional connectives
• Zero-place operations and functional completeness, and the definition of new connectives

Cited in

(7)

• The logic of lexical connectives
• \(Cn\)-definitions of propositional connectives
• Extensionality in sentence position
• Busting a Myth about Leśniewski and Definitions
• Zero-place operations and functional completeness, and the definition of new connectives
• On Representing Sentential Connectives of Lesniewski's Elementary Protothetic
• Conservativeness and eliminability for anti-realistic definitions. Towards a global view of the meaning of logical constants

This page was built for publication: On defining sentential connectives

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