scientific article; zbMATH DE number 5521458

MaRDI QIDQ3607410zbMATH OpenFDO

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

Publication date 2 March 2009

Mathematics Subject Classification ID

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

Cited in

(6)

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

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)