<p>In this paper, we algebraically study the <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\left\{ \vee ,\rightarrow ,\square ,\Diamond ,\bot ,\top \right\} \)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close="}" open="{"> <mo>∨</mo> <mo>,</mo> <mo stretchy="false">→</mo> <mo>,</mo> <mo>□</mo> <mo>,</mo> <mo>◊</mo> <mo>,</mo> <mi>⊥</mi> <mo>,</mo> <mi>⊤</mi> </mfenced> </math></EquationSource> </InlineEquation>-fragments of the Positive Intuitionistic Modal Logic (i.e., the Positive Modal Logic <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textbf{PML}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">PML</mi> </math></EquationSource> </InlineEquation> with an intuitionistic implication), as well as those of the intuitionistic modal logic <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textbf{FS}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">FS</mi> </math></EquationSource> </InlineEquation> defined by G. Fischer Servi. We introduce and define the varieties of Positive Modal Hilbert algebras <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((\textrm{PMHil}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mtext>PMHil</mtext> </mrow> </math></EquationSource> </InlineEquation>-algebras) and Fischer Servi Modal Hilbert algebras <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((\textrm{FSMHil}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mtext>FSMHil</mtext> </mrow> </math></EquationSource> </InlineEquation>-algebras) and we establish spectral-like dualities for these algebras. We define the categories <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathsf {\textbf{PSemHil}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">PSemHil</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathsf {\textbf{FSSemHil}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">FSSemHil</mi> </math></EquationSource> </InlineEquation>, whose objects are <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textrm{PMHil}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>PMHil</mtext> </math></EquationSource> </InlineEquation>-algebras and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textrm{FSMHil}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>FSMHil</mtext> </math></EquationSource> </InlineEquation>-algebras, respectively, and whose morphisms are <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\square \Diamond \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>□</mo> <mo>◊</mo> </mrow> </math></EquationSource> </InlineEquation>-semi-homomorphisms. By considering <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\square \Diamond \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>□</mo> <mo>◊</mo> </mrow> </math></EquationSource> </InlineEquation>-homomorphisms instead, we obtain the categories <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathsf {\textbf{PHomHil}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">PHomHil</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathsf {\textbf{FSHomHil}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">FSHomHil</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> respectively. Furthermore, we prove that these categories are dually equivalent to categories of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(H_{0}^{\vee }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>H</mi> <mrow> <mn>0</mn> </mrow> <mo>∨</mo> </msubsup> </math></EquationSource> </InlineEquation>-spaces endowed with a special binary relation and certain special continuous maps. The established dualities enable us to characterize the congruences in <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\textrm{PMHil}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>PMHil</mtext> </math></EquationSource> </InlineEquation>-algebras and <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\textrm{FSMHil}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>FSMHil</mtext> </math></EquationSource> </InlineEquation>-algebras.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Positive Modal Hilbert Algebras and Fischer Servi Modal Hilbert Algebras

  • Sergio A. Celani,
  • Daniela Montangie

摘要

In this paper, we algebraically study the \(\left\{ \vee ,\rightarrow ,\square ,\Diamond ,\bot ,\top \right\} \) , , , , , -fragments of the Positive Intuitionistic Modal Logic (i.e., the Positive Modal Logic \(\textbf{PML}\) PML with an intuitionistic implication), as well as those of the intuitionistic modal logic \(\textbf{FS}\) FS defined by G. Fischer Servi. We introduce and define the varieties of Positive Modal Hilbert algebras \((\textrm{PMHil}\) ( PMHil -algebras) and Fischer Servi Modal Hilbert algebras \((\textrm{FSMHil}\) ( FSMHil -algebras) and we establish spectral-like dualities for these algebras. We define the categories \(\mathsf {\textbf{PSemHil}}\) PSemHil and \(\mathsf {\textbf{FSSemHil}}\) FSSemHil , whose objects are \(\textrm{PMHil}\) PMHil -algebras and \(\textrm{FSMHil}\) FSMHil -algebras, respectively, and whose morphisms are \(\square \Diamond \) -semi-homomorphisms. By considering \(\square \Diamond \) -homomorphisms instead, we obtain the categories \(\mathsf {\textbf{PHomHil}}\) PHomHil and \(\mathsf {\textbf{FSHomHil}},\) FSHomHil , respectively. Furthermore, we prove that these categories are dually equivalent to categories of \(H_{0}^{\vee }\) H 0 -spaces endowed with a special binary relation and certain special continuous maps. The established dualities enable us to characterize the congruences in \(\textrm{PMHil}\) PMHil -algebras and \(\textrm{FSMHil}\) FSMHil -algebras.