OPERANDS AND INSTANCES

DOI10.1017/S175502032100040XMaRDI QIDQ5880426zbMATH OpenOpenAlexFDO

Authors Peter Fritz

Publication date 2 March 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

higher-order logiclogical structurepropositional quantifiersstructured propositions

Mathematics Subject Classification ID

Higher-order logic (03B16)

Recommendations

• Sentence, proposition and identity
• Identity and aboutness
• A theory of propositions
• What is the logic of propositional identity?
• A general argument against structured propositions

Cites work

• Closed structure
• Grounding generalizations
• scientific article; zbMATH DE number 3561276 (Why is no real title available?)
• scientific article; zbMATH DE number 957946 (Why is no real title available?)
• Predicativity, the Russell-Myhill paradox, and Church's intensional logic
• Propositional quantifiers in modal logic1

Cited in

(2)

• A hierarchy of classical and paraconsistent logics
• Operads and PROPs

This page was built for publication: OPERANDS AND INSTANCES

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