Intensional mathematics
From MaRDI portal
Publication:798616
zbMATH Open0547.00010MaRDI QIDQ798616FDOQ798616
Authors:
Publication date: 1985
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx)
Cited In (18)
- Intuitionistic modal logic and set theory
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
- Self-referential theories
- A guide to truth predicates in the modern era
- CAN MODALITIES SAVE NAIVE SET THEORY?
- European Summer Meeting of the Association for Symbolic Logic
- Reflecting in epistemic arithmetic
- Mathematical modality: an investigation in higher-order logic
- A new “feasible” arithmetic
- Some properties of epistemic set theory with collection
- Explicit provability and constructive semantics
- Topological models of epistemic set theory
- Bibliography of John Myhill
- Maximality in modal logic
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
- Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
- Oskar Becker and the modal translation of intuitionistic logic
- Epistemic set theory is a conservative extension of intuitionistic 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)
