Annals of Pure and Applied Logic 168 (10):1927-1948 (2017)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.apal.2017.05.001 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Introduction to Model Theory and the Metamathematics of Algebra.Abraham Robinson - 1963 - Journal of Symbolic Logic 29 (1):56-56.
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.
Continuous Lattices and Domains.G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove & D. S. Scott - 2007 - Studia Logica 86 (1):137-138.
Sentential Logics and Maehara Interpolation Property.Janusz Czelakowski - 1985 - Studia Logica 44 (3):265 - 283.
View all 9 references / Add more references
Citations of this work BETA
Uniform Interpolation and the Existence of Sequent Calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.
Beth Definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
Uniform Interpolation and Coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.
Modularity Results for Interpolation, Amalgamation and Superamalgamation.Silvio Ghilardi & Alessandro Gianola - 2018 - Annals of Pure and Applied Logic 169 (8):731-754.
Similar books and articles
Δ-Core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.
Interpolation in Practical Formal Development.J. Bicarregui, T. Dimitrakos, D. Gabbay & T. Maibaum - 2001 - Logic Journal of the IGPL 9 (2):231-244.
Μ-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics ★.Giovanna D'Agostino, Giacomo Lenzi & Tim French - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):297-309.
Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions—A Semantical Approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.
Definable Principal Congruences and Solvability.Paweł M. Idziak, Keith A. Kearnes, Emil W. Kiss & Matthew A. Valeriote - 2009 - Annals of Pure and Applied Logic 157 (1):30-49.
Resolution of the Uniform Lower Bound Problem in Constructive Analysis.Erik Palmgren - 2008 - Mathematical Logic Quarterly 54 (1):65-69.
Interpolation Properties of Superintuitionistic Logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Craig Interpolation for Semilinear Substructural Logics.Enrico Marchioni & George Metcalfe - 2012 - Mathematical Logic Quarterly 58 (6):468-481.
Constructive Compact Operators on a Hilbert Space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.
That SCI has the Interpolation Property.Grzegorz Malinowski & Marek Michalczyk - 1982 - Studia Logica 41 (4):375 - 380.
Uniform Interpolation and Propositional Quantifiers in Modal Logics.Marta Bílková - 2007 - Studia Logica 85 (1):1-31.
Uniform Interpolation in Substructural Logics.Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono - 2014 - Review of Symbolic Logic 7 (3):455-483.
Analytics
Added to PP index
2017-05-30
Total views
8 ( #1,006,798 of 2,507,636 )
Recent downloads (6 months)
1 ( #416,871 of 2,507,636 )
2017-05-30
Total views
8 ( #1,006,798 of 2,507,636 )
Recent downloads (6 months)
1 ( #416,871 of 2,507,636 )
How can I increase my downloads?
Downloads
