scientific article; zbMATH DE number 3496106

MaRDI QIDQ4077987zbMATH OpenFDO

Authors N. G. de Bruijn

Publication date 1975

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited in

(6)

• Computations in fragments of intuitionistic propositional logic
• Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
• Semiconic idempotent residuated structures
• Free equivalential algebras
• Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
• Formulas in modal logic S4

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4077987)