scientific article; zbMATH DE number 4041873

MaRDI QIDQ3781072zbMATH OpenFDO

Authors Mefodie Raţă

Publication date 1987

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

zbMATH Keywords

completenessDual intuitionistic logicfinite matrices

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 4081513
• scientific article; zbMATH DE number 781275
• Completeness theory for propositional logics
• Completeness of Proof Systems for Equational Specifications
• Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
• Foundations of Software Science and Computational Structures
• A completeness theorem for dynamic logic
• On the Completeness of Dynamic Logic

Cited in

(4)

• scientific article; zbMATH DE number 22979 (Why is no real title available?)
• scientific article; zbMATH DE number 1765820 (Why is no real title available?)
• scientific article; zbMATH DE number 781275 (Why is no real title available?)
• scientific article; zbMATH DE number 7652671 (Why is no real title available?)

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