scientific article; zbMATH DE number 2148623

MaRDI QIDQ4660202zbMATH OpenFDO

Authors A. P. Pyn'ko

Publication date 21 March 2005

zbMATH Keywords

admissible rulecutderivable rulesharing axiomsigned matrixsigned sequent calculusstructural rule

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Recommendations

• Distributive-lattice semantics of sequent calculi with structural rules
• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
• Canonical signed calculi with multi-ary quantifiers
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules

Cited in

(5)

• Valuational semantics of rule derivability
• Distributive-lattice semantics of sequent calculi with structural rules
• Many-place sequent calculi for finitely-valued logics
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules

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 Q4660202)