Self-dual primitives for modal logic

DOI10.1007/BF01343122zbMath0053.19902MaRDI QIDQ2651239

Alan Rose

Publication date: 1953

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (1)

Some self-dual primitive functions for propositional calculi

Cites Work

• Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus

This page was built for publication: Self-dual primitives for modal logic