scientific article

zbMATH Open1164.03005MaRDI QIDQ3538670

Author name not available (Why is that?)

Publication date: 24 November 2008

Title of this publication is not available (Why is that?)

zbMATH Keywords

intermediate logicimplicational normal formwell-formed normal form

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55)

Related Items (2)

On normal forms in Łukasiewicz logic ⋮ General normal forms for any additive logic

Recommendations

• A note on the normal form of closed formulas of interpretability logic 👍 👎
• On certain normalizable natural deduction formulations of some propositional intermediate logics 👍 👎
• On normal forms in Łukasiewicz logic 👍 👎
• Normal forms in combinatory logic 👍 👎
• On Normalizing Disjunctive Intermediate Logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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