Intensional mathematics

MaRDI QIDQ798616zbMATH OpenFDO

Authors

Publication date 1985

Published in Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

Intensional mathematics

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Review text

The articles of this volume will be reviewed individually under the abbreviation Intensional mathematics, Stud. Logic Found. Math. 113.

Cited in

(19)

• Maximality in modal logic
• Bibliography of John Myhill
• Oskar Becker and the modal translation of intuitionistic logic
• Explicit provability and constructive semantics
• Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
• European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
• Epistemic set theory is a conservative extension of intuitionistic set theory
• Some properties of epistemic set theory with collection
• Intuitionistic modal logic and set theory
• A guide to truth predicates in the modern era
• A new “feasible” arithmetic
• CAN MODALITIES SAVE NAIVE SET THEORY?
• European Summer Meeting of the Association for Symbolic Logic
• Reflecting in epistemic arithmetic
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Self-referential theories
• Mathematical modality: an investigation in higher-order logic
• A potentialist perspective on intuitionistic analysis
• Topological models of epistemic set theory

This page was built for publication: Intensional mathematics

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