scientific article; zbMATH DE number 3230245

zbMath0143.01102MaRDI QIDQ5518356

A. S. Troelstra

Publication date: 1965

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

zbMATH Keywords

mathematical logic

Related Items (21)

V. Yankov’s Contributions to Propositional Logic ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ Remark on a finite axiomatization of finite intermediate propositional logics ⋮ Constructing a continuum of predicate extensions of each intermediate propositional logic ⋮ Intermediate logics with the same disjunctionless fragment as intuitionistic logic ⋮ Intuitionistic logic and Muchnik degrees ⋮ Gluing residuated lattices ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Not every splitting Heyting or interior algebra is finitely presentable ⋮ On fragments of Medvedev's logic ⋮ A semantic hierarchy for intuitionistic logic ⋮ Constructing denumerable matrices strongly adequate for pre-finite logics ⋮ On Jaskowski-type semantics for the intuitionistic propositional logic ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Equational axioms for classes of Heyting algebras ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ Beth's tableau-method ⋮ Explicating logical independence ⋮ Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra ⋮ An application of Rieger-Nishimura formulas to the intuitionistic modal logics

This page was built for publication: