scientific article; zbMATH DE number 4031641

MaRDI QIDQ3772185zbMATH OpenFDO

Authors André Fuhrmann

Publication date 1986

zbMATH Keywords

De Morgan lattice logicFirst Degree EntailmentsGentzen semanticsGentzenization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Modal multilattice logic
• Belnap's Four-Valued Logic and De Morgan Lattices
• The algebra of intensional logics. With an introductory essay by Katalin Bimbó
• The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1
• Sequent calculi for semi-De Morgan and De Morgan algebras

Cited in

(4)

• Gentzen-type formulation of the propositional logic LQ
• scientific article; zbMATH DE number 1701363 (Why is no real title available?)
• The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1
• Gentzenizations of relevant logics with distribution

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