scientific article; zbMATH DE number 4143949

MaRDI QIDQ3475248zbMATH OpenFDO

Authors Tomasz Skura

Publication date 1990

zbMATH Keywords

computable algebracomputable Heyting algebrascomputable model propertyfinite axiomatizabilityrecursive axiomatizabilityrefutation formulation

Mathematics Subject Classification ID

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

Recommendations

• Decision problems of some intermediate logics and their fragments
• Some results on intermediate constructive logics
• scientific article; zbMATH DE number 5227710
• A general method for proving decidability of intuitionistic modal logics
• scientific article; zbMATH DE number 3999891
• scientific article; zbMATH DE number 4120150
• scientific article; zbMATH DE number 1980925
• scientific article; zbMATH DE number 3873298
• On the rules of intermediate logics
• scientific article; zbMATH DE number 5896226

Cited in

(8)

• On decidable consequence operators
• scientific article; zbMATH DE number 5896226 (Why is no real title available?)
• scientific article; zbMATH DE number 5997435 (Why is no real title available?)
• scientific article; zbMATH DE number 3885877 (Why is no real title available?)
• scientific article; zbMATH DE number 4063066 (Why is no real title available?)
• A generalisation of a refutation-related method in paraconsistent logics
• Admissibility and refutation: some characterisations of intermediate logics
• Decidable variables for constructive logics

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