On Prefacing (⊇ X) A ⊃ A (Y/X) WITH (⊇ Y) — A Free Quantification Theory Without Identity

DOI10.1002/MALQ.19700160808zbMath0225.02021OpenAlexW2084748596MaRDI QIDQ5631084

Hugues Leblanc, Robert K. Meyer

Publication date: 1970

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19700160808

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

The permutation principle in quantificational logic

This page was built for publication: On Prefacing (⊇ X) A ⊃ A (Y/X) WITH (⊇ Y) — A Free Quantification Theory Without Identity