scientific article
From MaRDI portal
Publication:3686710
zbMath0569.03025MaRDI QIDQ3686710
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)
Related Items (3)
Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator ⋮ Maximal elements with minimal logic ⋮ Topological models of epistemic set theory
This page was built for publication:
