scientific article; zbMATH DE number 3885877

MaRDI QIDQ3220564zbMATH OpenFDO

Authors Branislav Boričić

Publication date 1983

Full work available at URL https://eudml.org/doc/117418

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

syntactic decision proceduredisjunction free fragmentHeyting's propositional calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 3898850
• On the separation theorem of intermediate propositional calculi
• A note on some intermediate propositional calculi
• The disjunction property of intermediate propositional logics
• scientific article; zbMATH DE number 4143949
• scientific article; zbMATH DE number 3999891
• A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic
• A decision procedure for alternation-free modal \(\mu\)-calculi
• scientific article; zbMATH DE number 1980925
• Decision problems of some intermediate logics and their fragments

Cited in

(2)

• Decision methods for linearly ordered Heyting algebras
• Intuitionistic Decision Procedures Since Gentzen

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