|
|
|
|
unification in lax logic
|
|
|
|
|
|
|
|
نویسنده
|
ghilardi s. ,lenzi g.
|
|
منبع
|
journal of algebraic hyperstructures and logical algebras - 2022 - دوره : 3 - شماره : 1 - صفحه:61 -75
|
|
چکیده
|
In this paper, we focus on the intuitionistic propositional logic extended with a local operator [22] (also called nucleus [21]); such logic is commonly named lax logic after [9]. we prove that unification is finitary in this logic and supply algorithms for computing a basis of unifiers and for recognizing admissibility of inference rules, following analogous known results for intuitionistic logic.
|
|
کلیدواژه
|
nuclei ,lax logic ,unification theory ,admissible inference rules
|
|
آدرس
|
università degli studi di milano, department of mathematics, italy, university of salerno, department of mathematics, italy
|
|
پست الکترونیکی
|
gilenzi@unisa.it
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|