Lyndon interpolation theorem of instantial neighborhood logic – constructively via a sequent calculus
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
2-Sequent calculus: a proof theory of modalities.Andrea Masini -1992 -Annals of Pure and Applied Logic 58 (3):229-246.
Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff -2019 -Annals of Pure and Applied Logic 170 (11):102711.
A sequent calculus for relation algebras.Roger Maddux -1983 -Annals of Pure and Applied Logic 25 (1):73-101.
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic.Yury Savateev &Daniyar Shamkanov -2021 -Review of Symbolic Logic 14 (1):22-50.
Modal interpolation via nested sequents.Melvin Fitting &Roman Kuznets -2015 -Annals of Pure and Applied Logic 166 (3):274-305.
Proof nets sequentialisation in multiplicative linear logic.Paolo Di Giamberardino &Claudia Faggian -2008 -Annals of Pure and Applied Logic 155 (3):173-182.
New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii -2003 -Mathematical Logic Quarterly 49 (5):525.
A formalised theorem in the partition calculus.Lawrence C. Paulson -2024 -Annals of Pure and Applied Logic 175 (1):103246.
A theorem and some consistency results in partition calculus.Saharon Shelah &Lee Stanley -1987 -Annals of Pure and Applied Logic 36:119-152.
Lyndon Roger C.. An interpolation theorem in the predicate calculus. Pacific journal of mathematics, vol. 9 , pp. 129–142. [REVIEW]M. A. Taitslin -1960 -Journal of Symbolic Logic 25 (3):273-274.
Analytics
Added to PP
2019-08-16
Downloads
28 (#888,263)
6 months
5 (#853,286)
2019-08-16
Downloads
28 (#888,263)
6 months
5 (#853,286)
Historical graph of downloads
How can I increase my downloads?Citations of this work
From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni,Tim Lyon &Revantha Ramanayake -2013 - In Sergei Artemov & Anil Nerode,Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 120 - 139.
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic.Jim de Groot -2022 -Studia Logica 110 (3):717-743.
References found in this work
Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig -1957 -Journal of Symbolic Logic 22 (3):250-268.
On an interpretation of second order quantification in first order intuitionistic propositional logic.Andrew M. Pitts -1992 -Journal of Symbolic Logic 57 (1):33-52.
Instantial neighbourhood logic.Johan van Benthem,Nick Bezhanishvili,Sebastian Enqvist &Junhua Yu -2017 -Review of Symbolic Logic 10 (1):116-144.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-k24bk uwo