Classically archetypal rules

DOI10.1017/S1755020318000072MaRDI QIDQ4577996zbMATH OpenOpenAlexFDO

Authors Tomasz Połacik, Lloyd Humberstone

Publication date 7 August 2018

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020318000072

zbMATH Keywords

archetypal rulesconsequence relationsinference rules

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• The Unique Intermediate Logic Whose Every Rule is Archetypal
• scientific article; zbMATH DE number 6163273
• Archetypal forms of inference
• Admissible rules: from characterizations to applications
• Consequence relations and admissible rules

Cites work

• Archetypal forms of inference
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3771571 (Why is no real title available?)
• Introduction to mathematical logic
• The connectives
• The decidability of dependency in intuitionistic propositional logic
• The Unique Intermediate Logic Whose Every Rule is Archetypal

Cited in

(5)

• Archetypal forms of inference
• Explicating logical independence
• scientific article; zbMATH DE number 3873309 (Why is no real title available?)
• Supervenience, dependence, disjunction
• The Unique Intermediate Logic Whose Every Rule is Archetypal

This page was built for publication: Classically archetypal rules

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