A system of implicit quantification

DOI10.2307/2270176MaRDI QIDQ5565077zbMATH OpenOpenAlexFDO

Authors J. Jay Zeman

Publication date 1967

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

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

zbMATH Keywords

general logic

Cites work

• Primitive recursive functions

Cited in

(5)

• Semantics for existential graphs
• Predicate logic with flexibly binding operators and natural language semantics
• Prior's grappling with Peirce's existential graphs
• The semiotics of spider diagrams
• Gamma graph calculi for modal logics

This page was built for publication: A system of implicit quantification

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