scientific article; zbMATH DE number 2196607
From MaRDI portal
Publication:5311054
zbMath1082.03040MaRDI QIDQ5311054
Jouko Väänänen, Marta García-Matos
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
A Lindström theorem for intuitionistic propositional logic ⋮ A Lindström theorem for intuitionistic first-order logic ⋮ Positive logics ⋮ Omitting uncountable types and the strength of \([0,1\)-valued logics] ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Chain logic and Shelah's infinitary logic
This page was built for publication:
