Sequent systems axiomatizing simple paralogics

MaRDI QIDQ3081825zbMATH OpenFDO

Authors Vladimir M. Popov

Publication date 9 March 2011

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Four simple paralogics: semantics and sequent calculi
• Syntax and semantics of simple paracomplete logics
• scientific article; zbMATH DE number 4010498
• scientific article; zbMATH DE number 4091467
• On a Method of Axiomatization of Some Propositional Calculi

Cited in

(4)

• Syntax and semantics of simple paracomplete logics
• scientific article; zbMATH DE number 5001191 (Why is no real title available?)
• Four simple paralogics: semantics and sequent calculi
• Two extensions of the structurally free logic LC

This page was built for publication: Sequent systems axiomatizing simple paralogics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3081825)