scientific article; zbMATH DE number 3997759

zbMATH Open0616.03010MaRDI QIDQ4724601FDOQ4724601

Authors: John Reid Perkins 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics
• Brief study of G'₃ logic
• Gödel logics -- a survey
• A simple Henkin-style completeness proof for Gödel 3-valued logic G3
• Title not available (Why is that?)
• 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)