On unification and admissible rules in Gabbay-de Jongh logics

J.P. Goudsmit; R. Iemhoff

doi:10.1016/j.apal.2013.09.003

On unification and admissible rules in Gabbay-de Jongh logics

J.P. Goudsmit^*, R. Iemhoff^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

In this paper we study the admissible rules of intermediate logics with the disjunction property. We establish some general results on extension of models and sets of formulas, and eventually specialize to provide a a basis for the admissible rules of the Gabbay-de Jongh logics and to show that that logic has finitary unification type.

Original language	English
Pages (from-to)	652-672
Number of pages	21
Journal	Annals of Pure and Applied Logic
Volume	165
Issue number	2
DOIs	https://doi.org/10.1016/j.apal.2013.09.003
Publication status	Published - Feb 2014

Access to Document

10.1016/j.apal.2013.09.003

Preprint297
Open Access (free)
Submitted manuscript, 181 KB

Cite this

@article{3ba6dd9497304816ba3842df7a4832b8,

title = "On unification and admissible rules in Gabbay-de Jongh logics",

abstract = "In this paper we study the admissible rules of intermediate logics with the disjunction property. We establish some general results on extension of models and sets of formulas, and eventually specialize to provide a a basis for the admissible rules of the Gabbay-de Jongh logics and to show that that logic has finitary unification type.",

author = "J.P. Goudsmit and R. Iemhoff",

year = "2014",

month = feb,

doi = "10.1016/j.apal.2013.09.003",

language = "English",

volume = "165",

pages = "652--672",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - On unification and admissible rules in Gabbay-de Jongh logics

AU - Goudsmit, J.P.

AU - Iemhoff, R.

PY - 2014/2

Y1 - 2014/2

N2 - In this paper we study the admissible rules of intermediate logics with the disjunction property. We establish some general results on extension of models and sets of formulas, and eventually specialize to provide a a basis for the admissible rules of the Gabbay-de Jongh logics and to show that that logic has finitary unification type.

AB - In this paper we study the admissible rules of intermediate logics with the disjunction property. We establish some general results on extension of models and sets of formulas, and eventually specialize to provide a a basis for the admissible rules of the Gabbay-de Jongh logics and to show that that logic has finitary unification type.

U2 - 10.1016/j.apal.2013.09.003

DO - 10.1016/j.apal.2013.09.003

M3 - Article

SN - 0168-0072

VL - 165

SP - 652

EP - 672

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 2

ER -

On unification and admissible rules in Gabbay-de Jongh logics

Abstract

Access to Document

Fingerprint

Cite this