The Unique Intermediate Logic Whose Every Rule is Archetypal

DOI10.1093/JIGPAL/JZI019zbMath1080.03009OpenAlexW2001086741MaRDI QIDQ5697714

Tomasz Połacik

Publication date: 18 October 2005

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

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

zbMATH Keywords

classical propositional logicintermediate logicarchetypal rules of inference

Mathematics Subject Classification ID

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

Related Items (1)

CLASSICALLY ARCHETYPAL RULES

This page was built for publication: The Unique Intermediate Logic Whose Every Rule is Archetypal