Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
From MaRDI portal
Publication:3019970
DOI10.1007/978-3-642-22303-7_5zbMath1341.03036OpenAlexW1806221906MaRDI QIDQ3019970
Publication date: 29 July 2011
Published in: Logic, Language, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22303-7_5
Related Items (5)
Positive Formulas in Intuitionistic and Minimal Logic ⋮ COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Extendible formulas in two variables in intuitionistic logic ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
This page was built for publication: Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models