Replacing Modus Ponens With One-Premiss Rules

DOI10.1093/JIGPAL/JZN017zbMath1154.03005OpenAlexW2125160020MaRDI QIDQ3544315

Lloyd Humberstone

Publication date: 5 December 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzn017

zbMATH Keywords

consequence relationsmodus ponensaxiomatizationssentential logicsmeta-rulesone-premiss rules

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)

Related Items (1)

Replacement in logic

This page was built for publication: Replacing Modus Ponens With One-Premiss Rules