scientific article; zbMATH DE number 25595
From MaRDI portal
Publication:3984062
Cited in
(11)- Semantic interpretation of predicate calculus system of medium logic ME^* and its soundness and completeness
- scientific article; zbMATH DE number 4210110 (Why is no real title available?)
- Strong completeness of medium logic system
- scientific article; zbMATH DE number 4152344 (Why is no real title available?)
- scientific article; zbMATH DE number 4106811 (Why is no real title available?)
- scientific article; zbMATH DE number 124032 (Why is no real title available?)
- scientific article; zbMATH DE number 562240 (Why is no real title available?)
- scientific article; zbMATH DE number 1775534 (Why is no real title available?)
- \(\lambda\)-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation
- scientific article; zbMATH DE number 279493 (Why is no real title available?)
- The algebraic system of MP^M
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 Q3984062)