On unification and admissible rules in Gabbay-de Jongh logics (Q386639): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
The paper studies intermediate propositional logics with the disjunction property, that is, such logics \(x\) that \((A \vee B) \in x\) yields \(A \in x\) or \(B \in X\). A substitution \(\sigma\) unifies a formula \(A\) relative to \(x\) if \(\sigma(A) \in x\). A multiple-conclusion rule (m-rule for short) is an ordered pair of finite sets of formulas \(\Gamma/\Delta\). A rule \(\Gamma/\Delta\) is said to be admissible for a given logic \(x\), if every substitution that unifies all formulas from \(\Gamma\), unifies at least one formula from \(\Delta\). A set of m-rules forms a basis (of admissible rules) of a given logic \(x\), if this set induces the greatest multiple-conclusion consequence relation having \(x\) as its set of theorems. The introduced de Jongh m-rules (which are the modifications of the multiple-conclusion version of the Visser rules) play a very important role in the investigation of the admissible m-rules of the Gabbay-de Jongh logics \(\mathbf{D}_n\). Namely, the main result of the paper is that \((n + 1)\)-th de Jongh rule \(\mathsf{J}_{n+1}\) forms a basis for the admissible \(m\)-rules of \(\mathbf{D}_n\). Moreover, if \(\mathsf{J}_{n+1}\) is admissible in an extension \(x\) of \(\mathbf{D}_n\), then \(\mathsf{J}_{n+1}\) forms a basis of the admissible rules of \(x\) too.
Property / review text: The paper studies intermediate propositional logics with the disjunction property, that is, such logics \(x\) that \((A \vee B) \in x\) yields \(A \in x\) or \(B \in X\). A substitution \(\sigma\) unifies a formula \(A\) relative to \(x\) if \(\sigma(A) \in x\). A multiple-conclusion rule (m-rule for short) is an ordered pair of finite sets of formulas \(\Gamma/\Delta\). A rule \(\Gamma/\Delta\) is said to be admissible for a given logic \(x\), if every substitution that unifies all formulas from \(\Gamma\), unifies at least one formula from \(\Delta\). A set of m-rules forms a basis (of admissible rules) of a given logic \(x\), if this set induces the greatest multiple-conclusion consequence relation having \(x\) as its set of theorems. The introduced de Jongh m-rules (which are the modifications of the multiple-conclusion version of the Visser rules) play a very important role in the investigation of the admissible m-rules of the Gabbay-de Jongh logics \(\mathbf{D}_n\). Namely, the main result of the paper is that \((n + 1)\)-th de Jongh rule \(\mathsf{J}_{n+1}\) forms a basis for the admissible \(m\)-rules of \(\mathbf{D}_n\). Moreover, if \(\mathsf{J}_{n+1}\) is admissible in an extension \(x\) of \(\mathbf{D}_n\), then \(\mathsf{J}_{n+1}\) forms a basis of the admissible rules of \(x\) too. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Alex Citkin / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B55 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B20 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B22 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B70 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6236873 / rank
 
Normal rank
Property / zbMATH Keywords
 
intermediate logic
Property / zbMATH Keywords: intermediate logic / rank
 
Normal rank
Property / zbMATH Keywords
 
admissible rules
Property / zbMATH Keywords: admissible rules / rank
 
Normal rank
Property / zbMATH Keywords
 
disjunction property
Property / zbMATH Keywords: disjunction property / rank
 
Normal rank
Property / zbMATH Keywords
 
extension property
Property / zbMATH Keywords: extension property / rank
 
Normal rank

Revision as of 13:02, 29 June 2023

scientific article
Language Label Description Also known as
English
On unification and admissible rules in Gabbay-de Jongh logics
scientific article

    Statements

    On unification and admissible rules in Gabbay-de Jongh logics (English)
    0 references
    0 references
    0 references
    10 December 2013
    0 references
    The paper studies intermediate propositional logics with the disjunction property, that is, such logics \(x\) that \((A \vee B) \in x\) yields \(A \in x\) or \(B \in X\). A substitution \(\sigma\) unifies a formula \(A\) relative to \(x\) if \(\sigma(A) \in x\). A multiple-conclusion rule (m-rule for short) is an ordered pair of finite sets of formulas \(\Gamma/\Delta\). A rule \(\Gamma/\Delta\) is said to be admissible for a given logic \(x\), if every substitution that unifies all formulas from \(\Gamma\), unifies at least one formula from \(\Delta\). A set of m-rules forms a basis (of admissible rules) of a given logic \(x\), if this set induces the greatest multiple-conclusion consequence relation having \(x\) as its set of theorems. The introduced de Jongh m-rules (which are the modifications of the multiple-conclusion version of the Visser rules) play a very important role in the investigation of the admissible m-rules of the Gabbay-de Jongh logics \(\mathbf{D}_n\). Namely, the main result of the paper is that \((n + 1)\)-th de Jongh rule \(\mathsf{J}_{n+1}\) forms a basis for the admissible \(m\)-rules of \(\mathbf{D}_n\). Moreover, if \(\mathsf{J}_{n+1}\) is admissible in an extension \(x\) of \(\mathbf{D}_n\), then \(\mathsf{J}_{n+1}\) forms a basis of the admissible rules of \(x\) too.
    0 references
    0 references
    intermediate logic
    0 references
    admissible rules
    0 references
    disjunction property
    0 references
    extension property
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references