scientific article; zbMATH DE number 3997759

MaRDI QIDQ4724601zbMATH OpenFDO

Authors John Reid Perkins

Publication date 1986

zbMATH Keywords

3-valued matrices3-valued propositional logic3-valued truth- functionsŁukasiewicz's axioms for \(G_ 3\)

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Proof systems for 3-valued logics based on Gödel's implication
• Brief study of G'₃ logic
• Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics
• A simple Henkin-style completeness proof for Gödel 3-valued logic G3
• The n-valued logic system G_n based on a derived operator of the Gödel implication operator

Cited in

(6)

• Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics
• A simple Henkin-style completeness proof for Gödel 3-valued logic G3
• Brief study of G'₃ logic
• scientific article; zbMATH DE number 3933033 (Why is no real title available?)
• Gödel logics -- a survey
• The n-valued logic system G_n based on a derived operator of the Gödel implication operator

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