Intensional mathematics
From MaRDI portal
Publication:798616
zbMath0547.00010MaRDI QIDQ798616
No author found.
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)
Related Items
A new “feasible” arithmetic, Maximality in modal logic, European Summer Meeting of the Association for Symbolic Logic, Intuitionistic modal logic and set theory, Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics, Epistemic set theory is a conservative extension of intuitionistic set theory, A guide to truth predicates in the modern era, Mathematical modality: an investigation in higher-order logic, Some properties of epistemic set theory with collection, Topological models of epistemic set theory, Reflecting in epistemic arithmetic, CAN MODALITIES SAVE NAIVE SET THEORY?, Explicit Provability and Constructive Semantics, Bibliography of John Myhill, 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, SELF-REFERENTIAL THEORIES
