We give a sufficient condition for deciding admissibility of non-standard inference rules inside a modal calculus S with the universal modality. The condition requires the existence of a model completion for the discriminator variety of algebras which are models of S. We apply the condition to the case of symmetric strict implication calculus, i.e., to the modal calculus axiomatizing contact algebras. Such an application requires a characterization of duals of morphisms which are embeddings (in the model-theoretic sense). We supply also an explicit infinite set of axioms for the class of existentially closed contact algebras. The axioms are obtained via a classification of duals of finite minimal extensions of finite contact algebras.
Model Completeness and Π2 -rules: the case of Contact Algebras / N. Bezhanishvili, S. Ghilardi, L. Landi (ADVANCES IN MODAL LOGIC). - In: Advances in Modal Logic / [a cura di] N. Olivetti, R. Verbrugge, S. Negri, G. Sandu. - [s.l] : College Publications, 2020. - ISBN 9781848903418. - pp. 115-132 (( convegno Advances in Modal Logic nel 2020.
Model Completeness and Π2 -rules: the case of Contact Algebras
S. Ghilardi;
2020
Abstract
We give a sufficient condition for deciding admissibility of non-standard inference rules inside a modal calculus S with the universal modality. The condition requires the existence of a model completion for the discriminator variety of algebras which are models of S. We apply the condition to the case of symmetric strict implication calculus, i.e., to the modal calculus axiomatizing contact algebras. Such an application requires a characterization of duals of morphisms which are embeddings (in the model-theoretic sense). We supply also an explicit infinite set of axioms for the class of existentially closed contact algebras. The axioms are obtained via a classification of duals of finite minimal extensions of finite contact algebras.File | Dimensione | Formato | |
---|---|---|---|
AiML20.pdf
accesso riservato
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
605.19 kB
Formato
Adobe PDF
|
605.19 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.