OPERANDS AND INSTANCES

DOI10.1017/S175502032100040XOpenAlexW3197615978MaRDI QIDQ5880426

Peter Fritz

Publication date: 2 March 2023

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

Full work available at URL: https://doi.org/10.1017/s175502032100040x

zbMATH Keywords

higher-order logicpropositional quantifierslogical structurestructured propositions

Mathematics Subject Classification ID

Higher-order logic (03B16)

Cites Work

• Unnamed Item
• Unnamed Item
• Predicativity, the Russell-Myhill paradox, and Church's intensional logic
• Closed structure
• Propositional quantifiers in modal logic1
• Grounding generalizations

This page was built for publication: OPERANDS AND INSTANCES