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 (18)
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
This page was built for publication: Intensional mathematics
