Axiomatics for implication

From MaRDI portal

Publication:1220481

Jump to:navigation, search

DOI10.1305/NDJFL/1093882405zbMath0314.02025OpenAlexW2000256418MaRDI QIDQ1220481

David Meredith

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882405

zbMATH Keywords

INTUITIONISM MODUSPONENS POSITIVE LOGIC PROPOSITIONAL LOGIC

Mathematics Subject Classification ID

Classical propositional logic (03B05) Intermediate logics (03B55)

Related Items (1)

Positive logic and \(\lambda\)-constants

This page was built for publication: Axiomatics for implication

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1220481&oldid=13294059"