All or none; A novel choice of primitives for elementary logic

DOI10.2307/2270776zbMath0174.01003OpenAlexW2093598557MaRDI QIDQ5561934

Richmond H. Thomason, Hugues Leblanc

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270776

zbMATH Keywords

general logic

Related Items (2)

Zolin and Pizzi: defining necessity from noncontingency ⋮ Supervenience, Dependence, Disjunction

Cites Work

• On proper quantifiers. I

This page was built for publication: All or none; A novel choice of primitives for elementary logic