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)

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)