On unification and admissible rules in Gabbay-de Jongh logics (Q386639): Difference between revisions
From MaRDI portal
Created a new Item |
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
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
intermediate logic
0 references
admissible rules
0 references
disjunction property
0 references
extension property
0 references