scientific article; zbMATH DE number 5521458

zbMATH Open1156.03003MaRDI QIDQ3607410FDOQ3607410

Authors: D. J. Shoesmith, T. J. Smiley 

Publication date: 2 March 2009

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Cited In (6)

• Forum: A multiple-conclusion specification logic
• Deductive systems with multiple-conclusion rules and the disjunction property
• Disjunctive and conjunctive multiple-conclusion consequence relations
• A meta-logic of inference rules: Syntax
• Acceptance, inference, and the multiple-conclusion sequent
• The logic of finite order

This page was built for publication:

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