A deduction rule for vbto (\;)^n_i=1

DOI10.1305/NDJFL/1093888029MaRDI QIDQ1234288zbMATH OpenOpenAlexFDO

Authors Richard Butrick

Publication date 1977

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093888029

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

This page was built for publication: A deduction rule for vbto \((\;)^n_{i=1}\)

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