Some self-dual primitive functions for propositional calculi

DOI10.1007/BF01343157zbMATH Open0053.19903OpenAlexW2015273168MaRDI QIDQ2651240

Alan Rose

Publication date: 1953

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160337

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus
• Self-dual primitives for modal logic

Related Items (1)

An alternative generalisation of the concept of duality

This page was built for publication: Some self-dual primitive functions for propositional calculi

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