scientific article; zbMATH DE number 3933037

MaRDI QIDQ3707995zbMATH OpenFDO

Authors Piotr Wojtylak

Publication date 1984

zbMATH Keywords

axiomatizabilitydecidabilityinterpolationmonadic operator

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Recommendations

• Interpolation in fragments of intuitionistic propositional logic
• Monadic fragments of intuitionistic control logic
• On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains
• Gödel logics with monotone operators
• Propositional quantification in the monadic fragment of intuitionistic logic

Cited in

(1)

• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).

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 Q3707995)