scientific article; zbMATH DE number 910747
From MaRDI portal
Publication:4885909
Recommendations
- MUltlog 1.0: towards an expert system for many-valued logics
- scientific article; zbMATH DE number 517011
- Multi-valued semantics for logic programs
- Local multi-valued logics in modular expert systems
- A framework for automated reasoning in multiple-valued logics
- scientific article; zbMATH DE number 1076964
- scientific article; zbMATH DE number 4088971
- scientific article; zbMATH DE number 1269582
- On defining multiple-valued logics for knowledge-based systems communication
Cited in
(16)- On the complexity of entailment in propositional multivalued logics
- On defining multiple-valued logics for knowledge-based systems communication
- A symbolic-numeric approach to MPL continuous logic and to rule based expert systems whose underlying logic is MPL
- An analysis of formal logics as inference mechanisms in expert systems
- scientific article; zbMATH DE number 4051522 (Why is no real title available?)
- scientific article; zbMATH DE number 4088971 (Why is no real title available?)
- MANY-VALUED LOGIC SYSTEM FOR LINGUISTIC MODEL PROCESSING
- scientific article; zbMATH DE number 51438 (Why is no real title available?)
- scientific article; zbMATH DE number 517011 (Why is no real title available?)
- Local multi-valued logics in modular expert systems
- scientific article; zbMATH DE number 1076962 (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 2227401 (Why is no real title available?)
- Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional 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 Q4885909)
