Admissible Rules: From Characterizations to Applications

DOI10.1007/978-3-642-32621-9_4zbMath1362.03010OpenAlexW96850785MaRDI QIDQ2915017

George Metcalfe

Publication date: 21 September 2012

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32621-9_4

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (5)

Consequence relations and admissible rules ⋮ Structural completeness in propositional logics of dependence ⋮ Structural and universal completeness in algebra and logic ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic

This page was built for publication: Admissible Rules: From Characterizations to Applications