scientific article; zbMATH DE number 1045389
From MaRDI portal
Publication:4347145
zbMath0870.03011MaRDI QIDQ4347145
Publication date: 7 August 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicderivabilitymodel checkingintuitionistic logicexact modelsfinite fragments of propositional logicsfinite Lindenbaum algebravalidity of formulas
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Model theory of finite structures (03C13) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (7)
Duality and Universal Models for the Meet-Implication Fragment of IPC ⋮ Intermediate logics and factors of the Medvedev lattice ⋮ Free equivalential algebras ⋮ Algebras defined from ordered sets and the varieties they generate ⋮ The many faces of interpolation ⋮ Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
This page was built for publication:
