scientific article; zbMATH DE number 1916522

zbMath1031.03050arXiv1808.06284MaRDI QIDQ4807691

Tadeusz Litak

Publication date: 1 March 2004

Full work available at URL: https://arxiv.org/abs/1808.06284

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

continuumframeintermediate logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (5)

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ B-frame duality ⋮ A semantic hierarchy for intuitionistic logic ⋮ Semiconic idempotent residuated structures

This page was built for publication: