scientific article; zbMATH DE number 517011

MaRDI QIDQ4282535zbMATH OpenFDO

Authors Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach

Publication date 25 August 1994

zbMATH Keywords

completenessdeduction systemfirst-order finitely-many valued logicsoundnesstruth tables

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• MUltlog 1.0: towards an expert system for many-valued logics
• scientific article; zbMATH DE number 910747
• Resolution-based theorem proving for many-valued logics
• scientific article; zbMATH DE number 1076962
• scientific article; zbMATH DE number 1324434

Cited in

(24)

• A framework for automated reasoning in multiple-valued logics
• Commodious axiomatization of quantifiers in multiple-valued logic
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
• Multi-valued logic in graph transformation theory and self-adaptive systems
• JGXYZ: an ATP system for gap and glut logics
• On stabilization and set stabilization of multivalued logical systems
• On defining multiple-valued logics for knowledge-based systems communication
• scientific article; zbMATH DE number 1696719 (Why is no real title available?)
• Press-ready deduction trees in classical logic using point-plus-expressions
• scientific article; zbMATH DE number 446843 (Why is no real title available?)
• scientific article; zbMATH DE number 4051522 (Why is no real title available?)
• MANY-VALUED LOGIC SYSTEM FOR LINGUISTIC MODEL PROCESSING
• On the completeness theorem for many-valued lattices
• scientific article; zbMATH DE number 179055 (Why is no real title available?)
• scientific article; zbMATH DE number 1324434 (Why is no real title available?)
• MUltlog 1.0: towards an expert system for many-valued logics
• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
• scientific article; zbMATH DE number 2090038 (Why is no real title available?)
• scientific article; zbMATH DE number 910747 (Why is no real title available?)
• scientific article; zbMATH DE number 1453135 (Why is no real title available?)
• On poly-logistic natural-deduction for finitely-valued propositional logics
• An application of automated equational reasoning to many-valued logic
• The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
• On axiomatization of many-valued logics associated with formalization of plausible reasonings

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