Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras

, , &
Annals of Pure and Applied Logic 174 (1):103169 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103169

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility.Sergei Odintsov & Vladimir Rybakov - 2015 - Logica Universalis 9 (1):93-120.
Model completions and r-Heyting categories.Silvio Ghilardi & Marek Zawadowski - 1997 - Annals of Pure and Applied Logic 88 (1):27-46.
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.
On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
Existentially closed Brouwerian semilattices.Luca Carai & Silvio Ghilardi - 2019 - Journal of Symbolic Logic 84 (4):1544-1575.
Rules of inference with parameters for intuitionistic logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
Admissible Bases Via Stable Canonical Rules.Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze - 2016 - Studia Logica 104 (2):317-341.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
Commutative BCK-algebras do not enjoy the interpolation property.Piotr Krzystek - 1983 - Bulletin of the Section of Logic 12 (2):50-53.
Advances in the theory of μŁΠ algebras.Enrico Marchioni & Luca Spada - 2011 - Logic Journal of the IGPL 19 (3):476-489.
Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC.Sergei Odintsov & Vladimir Rybakov - 2013 - Annals of Pure and Applied Logic 164 (7-8):771-784.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.
The Admissible Rules of ${{mathsf{BD}_{2}}}$ and ${mathsf{GSc}}$.Jeroen P. Goudsmit - 2018 - Notre Dame Journal of Formal Logic 59 (3):325-353.

Analytics

Added to PP
2022-07-20

Downloads
22 (#688,104)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nick Bezhanishvili
University of Amsterdam

Citations of this work

Contact semilattices.Paolo Lipparini - forthcoming - Logic Journal of the IGPL.

Add more citations

References found in this work

Heyting Algebras: Duality Theory.Leo Esakia - 2019 - Cham, Switzerland: Springer Verlag.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
The modal logic of inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.

View all 13 references / Add more references