scientific article; zbMATH DE number 1140578

MaRDI QIDQ4385348zbMATH OpenFDO

Authors Yotaro Nakayama

Publication date 13 April 1998

zbMATH Keywords

Beth tableauxdiscourse representation theorymany-valued logicsequent calculi

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic of natural languages (03B65)

Review text

This is a paper about sequent calculi for Kleene's and Łukasiewicz's three-valued and Belnap's four-valued logic. Among the few new results, Theorem 7 on Kleene's logic is obvious. A relation with discourse representation theory (DRT) is mentioned but neither worked out in any detail nor investigated. Important work by Avron on consequence relations and many-valued logic is not referred to. For the entire collection see [Zbl 0885.00030].

Recommendations

• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• Sequent calculi for three-valued logics
• scientific article; zbMATH DE number 35414
• scientific article; zbMATH DE number 2101974

Cited in

(1)

• R-Calculus, III: Post Three-Valued Logic

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