Extensionalizing intensional second-order logic

DOI10.1215/00294527-2835092MaRDI QIDQ2345400zbMATH OpenOpenAlexFDO

Authors Jonathan Payne

Publication date 22 May 2015

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1427202982

zbMATH Keywords

abstractionmodal set theoryplural logicsecond-order logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70)

Recommendations

• Logic and sets
• scientific article; zbMATH DE number 2070194
• Two -extensions of the theory of homogeneous simple types as a second-order logic
• Where do sets come from?
• Second-Order Logic and Foundations of Mathematics

Cites work

• Abstraction and set theory
• First-Order Modal Theories I--Sets
• scientific article; zbMATH DE number 1764654 (Why is no real title available?)
• Mathematics and Bleak House
• Modalising plurals
• On modal logics which enrich first-order S5
• Prolegomenon To Any Future Neo‐Logicist Set Theory: Abstraction And Indefinite Extensibility

Cited in

(6)

• On some non-classical extensions of second-order intuitionistic propositional calculus
• Extensional Logic of Hyperintensions
• Second-Order Equational Logic (Extended Abstract)
• Extendible formulas in two variables in intuitionistic logic
• Base-extension semantics for intuitionistic sentential logic
• Logic and sets

This page was built for publication: Extensionalizing intensional second-order logic

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