The development of many-valued logics
From MaRDI portal
Recommendations
Cited in
(19)- Remarks on a survey article on many valued logic by A. Urquhart
- Natural deduction system for three-valued Heyting's logic
- Many-valued logics -- theorem proving problems
- scientific article; zbMATH DE number 3877155 (Why is no real title available?)
- scientific article; zbMATH DE number 3896904 (Why is no real title available?)
- scientific article; zbMATH DE number 4070865 (Why is no real title available?)
- Note on a six-valued extension of three-valued logic
- scientific article; zbMATH DE number 1120742 (Why is no real title available?)
- scientific article; zbMATH DE number 2019873 (Why is no real title available?)
- scientific article; zbMATH DE number 1749199 (Why is no real title available?)
- The five-valued logics: construction and interpretation
- Natural deduction for three-valued regular logics
- Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- scientific article; zbMATH DE number 1874100 (Why is no real title available?)
- Multiple-valued Logics Based on Hazy Structures
- scientific article; zbMATH DE number 2101974 (Why is no real title available?)
- Characterizing logical consequence in many-valued logic
- Quasi-matrix (quasi-functional) logic
This page was built for publication: The development of many-valued logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580382)
