Zero-place operations and functional completeness, and the definition of new connectives

DOI10.1080/01445349308837209zbMath0788.03036OpenAlexW2100108638WikidataQ58524333 ScholiaQ58524333MaRDI QIDQ3141184

I. L. Humberstone

Publication date: 5 June 1994

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349308837209

zbMATH Keywords

sentential logicfunctional completenessdefinitionally equivalent classes of algebraszero-place functions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Development of contemporary mathematics (01A65) History of mathematical logic and foundations (03-03) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

Classes of valuations closed under operations Galois-dual to Boolean sentence connectives ⋮ Choice of primitives: A note on axiomatizing intuitionistic logic

Cites Work

• Almost equational classes of algebras
• On defining sentential connectives
• Congruences in Lemmon's SO.5
• Creative definitions in propositional calculi
• The minimal modal logic: A cautionary tale about primitives and definitions
• Extensionality in sentence position
• On the vicious circle in definitions
• A warning about the choice of primitive operators in modal logic
• Another variant of natural deduction
• Derived Operations and Congruences
• Two Definability Results in the Equational Context
• The independence of connectives
• On η-valued functionally complete truth functions
• Heterogeneous algebras
• On the Many-Valued Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Zero-place operations and functional completeness, and the definition of new connectives