scientific article; zbMATH DE number 5520475

MaRDI QIDQ3607961zbMATH OpenFDO

Authors A. P. Pyn'ko

Publication date 28 February 2009

zbMATH Keywords

axiomatic extensionlogic programmingpropositional logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Logic programming (68N17)

Cited in

(2)

• Optimization of sequent calculi for finite-valued logics with equality determinant
• scientific article; zbMATH DE number 5220083 (Why is no real title available?)

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