Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models

DOI10.1007/978-3-642-22303-7_5zbMath1341.03036OpenAlexW1806221906MaRDI QIDQ3019970

Fan Yang, Dick H. J. de Jongh

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

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