scientific article; zbMATH DE number 4127173

zbMATH Open0688.03009MaRDI QIDQ4206709FDOQ4206709

Authors:

Publication date: 1988

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

Recommendations

• Deduction theorems for weak implicational logics
• A Routley-Meyer semantics for converse Ackermann property
• scientific article; zbMATH DE number 3882410
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Converse Ackermann property and semiclassical negation

zbMATH Keywords

intuitionistic logicmodal logicnatural deductiondeduction theoremsConverse Ackermann Propertypure implication fragment

Mathematics Subject Classification ID

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

Cited In (5)

• Deduction theorems for weak implicational logics
• Ackermann's implication for typefree logic
• Converse Ackermann property and semiclassical negation
• Title not available (Why is that?)
• Axiomatic System, Deduction and Implication

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