This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Who is the logic for
A subject the papers are about. The loosest grouping, and the one to reach for last.
Designs for a logic settled by naming who will use it -- a machine, a student, an engineer. Collects the papers that justify a logic's shape by its intended user. Membership requires the user to be the stated reason for a design choice.
5 references
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri and others (2021) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
Peano on Symbolization, Design Principles for Notations, and the Dot Notation
Dirk Schlimm (2021) · Philosophia Scientiae · OpenEdition
Dynamic Separation Logic and its Use in Education
Evgeny M. Makarov (2020) · Современные информационные технологии и ИТ-образование
Avoiding the Undefined by Underspecification
David Gries and others (1995) · Computer Science Today: Recent Trends and Developments · Springer
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson (1965) · Journal of the ACM · Association for Computing Machinery