scientific article; zbMATH DE number 3885877

zbMATH Open0556.03025MaRDI QIDQ3220564FDOQ3220564

Authors: Branislav Boričić 

Publication date: 1983

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

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

Title of this publication is not available (Why is that?)

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

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)

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)