Predicate functors revisited

DOI10.2307/2273763zbMath0472.03007OpenAlexW2144325908MaRDI QIDQ3926546

W. V. Quine

Publication date: 1981

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

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

zbMATH Keywords

combinatory functorstruth oriented functors

Mathematics Subject Classification ID

Classical first-order logic (03B10) Combinatory logic and lambda calculus (03B40)

Related Items

Decidability of fluted logic with identity ⋮ Fred Sommers’ Contributions to Formal Logic ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Coherence in linear predicate logic