scientific article; zbMATH DE number 3496106
From MaRDI portal
Publication:4077987
zbMath0317.02023MaRDI QIDQ4077987
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Computations in fragments of intuitionistic propositional logic ⋮ Free equivalential algebras ⋮ FORMULAS IN MODAL LOGIC S4 ⋮ Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic ⋮ Semiconic idempotent residuated structures ⋮ Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
This page was built for publication: