A system of implicit quantification

DOI10.2307/2270176zbMATH Open0175.26102OpenAlexW2066841178MaRDI QIDQ5565077FDOQ5565077

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)