Minimal complete propositional natural deduction systems

DOI10.1007/S10992-017-9450-1MaRDI QIDQ1633213zbMATH OpenOpenAlexFDO

Authors Amr Elnashar, Wafik Boulos Lotfallah

Publication date 19 December 2018

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-017-9450-1

zbMATH Keywords

completeSheffer strokepropositional logicproof systemnatural deduction systemNANDNOR

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cites work

• scientific article; zbMATH DE number 3691311 (Why is no real title available?)
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 3060701 (Why is no real title available?)
• NOR logic: A system of natural deduction
• The Stroke Function in Natural Deduction

Cited in

(1)

• Minimal Categorical System and Predication Theory In Porphyry

This page was built for publication: Minimal complete propositional natural deduction systems

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