- Lyndon interpolation theorem of instantial neighborhood logic – constructively via a sequent calculus.Junhua Yu - 2020 - Annals of Pure and Applied Logic 171 (1):102721.details
|
|
(1 other version)Interpolation in computing science: the semantics of modularization.Gerard R. Renardel de Lavalette - 2008 - Synthese 164 (3):437-450.details
|
|
Observing, reporting, and deciding in networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2014 - Annals of Pure and Applied Logic 165 (3):812-836.details
|
|
Interpolation theorems for intuitionistic predicate logic.G. Mints - 2001 - Annals of Pure and Applied Logic 113 (1-3):225-242.details
|
|
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.details
|
|
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.details
|
|
On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.details
|
|
(1 other version)On the Logic of Interrogative Inquiry.Jaakko Hintikka & Stephen Harris - 1988 - PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988 (1):232-240.details
|
|
Maximality of Logic Without Identity.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2024 - Journal of Symbolic Logic 89 (1):147-162.details
|
|
Proof Methods for Modal and Intuitionistic Logics.Melvin Chris Fitting - 1983 - Dordrecht and Boston: Reidel.details
|
|
Parallelizing SMT solving: Lazy decomposition and conciliation.Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu & Jiaguang Sun - 2018 - Artificial Intelligence 257:127-157.details
|
|
Partition-based logical reasoning for first-order and propositional theories.Eyal Amir & Sheila McIlraith - 2005 - Artificial Intelligence 162 (1-2):49-88.details
|
|
Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.details
|
|
Modus Ponens and Derivation from Horn Formulas.William Craig - 1967 - Mathematical Logic Quarterly 13 (3-5):33-54.details
|
|
Interpolation Theorem and Characterization Theorem.Nobuyoshi Motohashi - 1972 - Annals of the Japan Association for Philosophy of Science 4 (2):85-150.details
|
|
An Institution-Independent Proof of the Robinson Consistency Theorem.Daniel Gâinâ & Andrei Popescu - 2007 - Studia Logica 85 (1):41-73.details
|
|
A cut-free gentzen-type system for the logic of the weak law of excluded middle.Branislav R. Boričić - 1986 - Studia Logica 45 (1):39-53.details
|
|
The Craig Interpolation Theorem in abstract model theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.details
|
|
Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.details
|
|
Jacques Herbrand: life, logic, and automated deduction.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 195-254.details
|
|
Some remarks on Maehara's method.Takahiro Seki - 2001 - Bulletin of the Section of Logic 30 (3):147-154.details
|
|
Craig interpolation for networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.details
|
|
A Remark on Negation in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2011 - Notre Dame Journal of Formal Logic 52 (1):55-65.details
|
|
On Relations between Structures.Per Lindström - 1966 - Theoria 32 (3):172-185.details
|
|
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.Michael Makkai - 1995 - Notre Dame Journal of Formal Logic 36 (3):364-381.details
|
|
Parallel interpolation, splitting, and relevance in belief change.George Kourousias & David Makinson - 2007 - Journal of Symbolic Logic 72 (3):994-1002.details
|
|
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.details
|
|
(1 other version)Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.details
|
|
Mixed-valued predicate calculi.Helena Rasiowa - 1975 - Studia Logica 34 (3):215 - 234.details
|
|
Archetypal forms of inference.Lloyd Humberstone - 2004 - Synthese 141 (1):45 - 76.details
|
|
Hempel and Oppenheim on explanation.Rolf Eberle, David Kaplan & Richard Montague - 1961 - Philosophy of Science 28 (4):418-428.details
|
|
(1 other version)An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.details
|
|
Logicality and model classes.Juliette Kennedy & Jouko Väänänen - 2021 - Bulletin of Symbolic Logic 27 (4):385-414.details
|
|
Preservation of Craig interpolation by the product of matrix logics.C. Sernadas, J. Rasga & A. Sernadas - 2013 - Journal of Applied Logic 11 (3):328-349.details
|
|
Interpolation in Term Functor Logic.J. -Martín Castro-Manzano - forthcoming - Critica:53-69.details
|
|
First-Order Friendliness.Guillermo Badia & David Makinson - forthcoming - Review of Symbolic Logic:1-15.details
|
|
2006–07 Winter Meeting of the Association for Symbolic Logic.Marcia Groszek - 2007 - Bulletin of Symbolic Logic 13 (3):375-385.details
|
|
Introduction: Interpolations—essays in honor of William Craig.Paolo Mancosu - 2008 - Synthese 164 (3):313-319.details
|
|
(1 other version)Distributive Normal Forms and Deductive Interpolation.Jaakko Hintikka - 1964 - Mathematical Logic Quarterly 10 (13-17):185-191.details
|
|
(1 other version)Distributive normal forms and deductive interpolation.Jaakko Hintikka - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (13‐17):185-191.details
|
|
The Relevance of Premises to Conclusions of Core Proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.details
|
|
Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.details
|
|
A compact representation of proofs.Dale A. Miller - 1987 - Studia Logica 46 (4):347 - 370.details
|
|