A system of implicit quantification

DOI10.2307/2270176zbMath0175.26102OpenAlexW2066841178MaRDI QIDQ5565077

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

Related Items (5)

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

Cites Work

• Primitive recursive functions

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