Статті в журналах з теми "Craig's interpolation"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Craig's interpolation".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Beklemishev, L. D. "Provability logic without Craig's interpolation property." Mathematical Notes of the Academy of Sciences of the USSR 45, no. 6 (June 1989): 437–45. http://dx.doi.org/10.1007/bf01158230.
Повний текст джерелаMaffezioli, Paolo, and Eugenio Orlandelli. "Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate." Bulletin of the Section of Logic 48, no. 2 (June 30, 2019): 137–58. http://dx.doi.org/10.18778/0138-0680.48.2.04.
Повний текст джерелаSági, Gábor, and Saharon Shelah. "On weak and strong interpolation in algebraic logics." Journal of Symbolic Logic 71, no. 1 (March 2006): 104–18. http://dx.doi.org/10.2178/jsl/1140641164.
Повний текст джерелаMason, Ian. "The metatheory of the classical propositional calculus is not axiomatizable." Journal of Symbolic Logic 50, no. 2 (June 1985): 451–57. http://dx.doi.org/10.2307/2274233.
Повний текст джерелаOno, Hiroakira. "Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach." Studia Logica 45, no. 1 (March 1986): 19–33. http://dx.doi.org/10.1007/bf01881546.
Повний текст джерелаALIZADEH, MAJID, FARZANEH DERAKHSHAN, and HIROAKIRA ONO. "UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS." Review of Symbolic Logic 7, no. 3 (May 27, 2014): 455–83. http://dx.doi.org/10.1017/s175502031400015x.
Повний текст джерелаRodenburg, P. H. "Interpolation in Conditional Equational Logic1." Fundamenta Informaticae 15, no. 1 (June 1, 1991): 80–85. http://dx.doi.org/10.3233/fi-1991-15106.
Повний текст джерелаMolnár, Zalán, and Öztürk Övge. "Notes on localizing Craig’s interpolation theorem." Elpis. Filozófiatudományi Folyóirat 15, no. 1-2 (2022): 103–16. http://dx.doi.org/10.54310/elpis.2022.1.8.
Повний текст джерелаKowalski, Tomasz. "PDL has interpolation." Journal of Symbolic Logic 67, no. 3 (September 2002): 933–46. http://dx.doi.org/10.2178/jsl/1190150141.
Повний текст джерелаFeferman, Solomon. "Harmonious logic: Craig’s interpolation theorem and its descendants." Synthese 164, no. 3 (July 1, 2008): 341–57. http://dx.doi.org/10.1007/s11229-008-9354-2.
Повний текст джерелаKuznets, Roman, and Björn Lellmann. "Interpolation for intermediate logics via injective nested sequents." Journal of Logic and Computation 31, no. 3 (April 2021): 797–831. http://dx.doi.org/10.1093/logcom/exab015.
Повний текст джерелаMarchioni, Enrico, and George Metcalfe. "Craig interpolation for semilinear substructural logics." Mathematical Logic Quarterly 58, no. 6 (October 19, 2012): 468–81. http://dx.doi.org/10.1002/malq.201200004.
Повний текст джерелаJerome Keisler, H., and Jeffrey M. Keisler. "Craig interpolation for networks of sentences." Annals of Pure and Applied Logic 163, no. 9 (September 2012): 1322–44. http://dx.doi.org/10.1016/j.apal.2012.03.001.
Повний текст джерелаMaksimova, L. L. "The decidability of craig’s interpolation property in well-composed J-logics." Siberian Mathematical Journal 53, no. 5 (September 2012): 839–52. http://dx.doi.org/10.1134/s0037446612050096.
Повний текст джерелаWernhard, Christoph. "Craig Interpolation with Clausal First-Order Tableaux." Journal of Automated Reasoning 65, no. 5 (May 27, 2021): 647–90. http://dx.doi.org/10.1007/s10817-021-09590-3.
Повний текст джерелаLeroux, Jérôme, Philipp Rümmer, and Pavle Subotić. "Guiding Craig interpolation with domain-specific abstractions." Acta Informatica 53, no. 4 (May 15, 2015): 387–424. http://dx.doi.org/10.1007/s00236-015-0236-z.
Повний текст джерелаSalibra, Antonino, and Giuseppe Scollo. "Interpolation and compactness in categories of pre-institutions." Mathematical Structures in Computer Science 6, no. 3 (June 1996): 261–86. http://dx.doi.org/10.1017/s0960129500001006.
Повний текст джерелаOLKHOVIKOV, GRIGORY K. "RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC." Review of Symbolic Logic 13, no. 3 (September 13, 2019): 459–82. http://dx.doi.org/10.1017/s1755020319000406.
Повний текст джерелаDiaconescu, Răzvan. "An Institution-independent Proof of Craig Interpolation Theorem." Studia Logica 77, no. 1 (June 2004): 59–79. http://dx.doi.org/10.1023/b:stud.0000034185.62660.d6.
Повний текст джерелаRümmer, Philipp, Hossein Hojjat, and Viktor Kuncak. "On recursion-free Horn clauses and Craig interpolation." Formal Methods in System Design 47, no. 1 (December 3, 2014): 1–25. http://dx.doi.org/10.1007/s10703-014-0219-7.
Повний текст джерелаRasga, João, Cristina Sernadas, and Amlcar Sernadas. "Craig Interpolation in the Presence of Unreliable Connectives." Logica Universalis 8, no. 3-4 (April 2, 2014): 423–46. http://dx.doi.org/10.1007/s11787-014-0101-9.
Повний текст джерелаVäänänen, Jouko. "The Craig Interpolation Theorem in abstract model theory." Synthese 164, no. 3 (July 1, 2008): 401–20. http://dx.doi.org/10.1007/s11229-008-9357-z.
Повний текст джерелаKOWALSKI, TOMASZ, and HIROAKIRA ONO. "ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC." Review of Symbolic Logic 10, no. 2 (December 6, 2016): 259–83. http://dx.doi.org/10.1017/s175502031600040x.
Повний текст джерелаRen, Xuanzhi. "Fullness and Decidability in Continuous Propositional Logic." Mathematics 10, no. 23 (November 25, 2022): 4455. http://dx.doi.org/10.3390/math10234455.
Повний текст джерелаLiu, Ying, Hongguang Li, Yun Li, and Huanyu Du. "A Component-Based Parametric Reduced-Order Modeling Method Combined with Substructural Matrix Interpolation and Automatic Sampling." Shock and Vibration 2019 (July 8, 2019): 1–14. http://dx.doi.org/10.1155/2019/6407437.
Повний текст джерелаEsparza, Javier, Stefan Kiefer, and Stefan Schwoon. "Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems1." Journal on Satisfiability, Boolean Modeling and Computation 5, no. 1-4 (June 1, 2008): 27–56. http://dx.doi.org/10.3233/sat190051.
Повний текст джерелаKamide, Norihiro. "Notes on Craig interpolation for LJ with strong negation." Mathematical Logic Quarterly 57, no. 4 (March 11, 2011): 395–99. http://dx.doi.org/10.1002/malq.201010016.
Повний текст джерелаSeldin, Jonathan P. "On the proof theory of the intermediate logic MH." Journal of Symbolic Logic 51, no. 3 (September 1986): 626–47. http://dx.doi.org/10.2307/2274019.
Повний текст джерелаMancosu, Paolo. "Introduction: Interpolations—Essays in honor of William Craig." Synthese 164, no. 3 (June 24, 2008): 313–19. http://dx.doi.org/10.1007/s11229-008-9350-6.
Повний текст джерелаChen, Zhi Yuan, Shao Bin Huang, and Li Li Han. "A Fast Approach of Locating Complex System Design Errors." Key Engineering Materials 572 (September 2013): 115–18. http://dx.doi.org/10.4028/www.scientific.net/kem.572.115.
Повний текст джерелаAhmed, Tarek. "Representability and amalgamation for Heyting polyadic algebras." Studia Scientiarum Mathematicarum Hungarica 48, no. 4 (December 1, 2011): 509–39. http://dx.doi.org/10.1556/sscmath.48.2011.4.1190.
Повний текст джерелаKrajíček, Jan. "Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic." Journal of Symbolic Logic 62, no. 2 (June 1997): 457–86. http://dx.doi.org/10.2307/2275541.
Повний текст джерелаSernadas, C., J. Rasga, and A. Sernadas. "Preservation of Craig interpolation by the product of matrix logics." Journal of Applied Logic 11, no. 3 (September 2013): 328–49. http://dx.doi.org/10.1016/j.jal.2013.06.001.
Повний текст джерелаGoranko, Valentin. "The Craig interpolation theorem for prepositional logics with strong negation." Studia Logica 44, no. 3 (1985): 291–317. http://dx.doi.org/10.1007/bf00394448.
Повний текст джерелаКарпенко, А. С. "Von Wright’s truth-logic and around." Logical Investigations 19 (April 9, 2013): 39–50. http://dx.doi.org/10.21146/2074-1472-2013-19-0-39-50.
Повний текст джерелаAkhin, Marat, Sam Kolton, and Vladimir Itsykson. "Random model sampling: Making craig interpolation work when it should not." Automatic Control and Computer Sciences 49, no. 7 (December 2015): 413–19. http://dx.doi.org/10.3103/s0146411615070020.
Повний текст джерелаAkhin, Marat, Sam Kolton, and Vladimir Itsykson. "Random Model Sampling: Making Craig Interpolation Work When It Should Not." Modeling and Analysis of Information Systems 21, no. 6 (January 1, 2014): 7–17. http://dx.doi.org/10.18255/1818-1015-2014-6-7-17.
Повний текст джерелаHanazawa, Masazumi, and Mitio Takano. "An interpolation theorem in many-valued logic." Journal of Symbolic Logic 51, no. 2 (June 1986): 448–52. http://dx.doi.org/10.1017/s0022481200031315.
Повний текст джерелаMakkai, Michael. "On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic." Notre Dame Journal of Formal Logic 36, no. 3 (July 1995): 364–81. http://dx.doi.org/10.1305/ndjfl/1040149353.
Повний текст джерелаJain, Himanshu, Edmund M. Clarke, and Orna Grumberg. "Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations." Formal Methods in System Design 35, no. 1 (April 24, 2009): 6–39. http://dx.doi.org/10.1007/s10703-009-0069-x.
Повний текст джерелаArtale, Alessandro, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, and Frank Wolter. "Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 7 (May 18, 2021): 6193–201. http://dx.doi.org/10.1609/aaai.v35i7.16770.
Повний текст джерелаIgnatiev, Konstantin N. "On strong provability predicates and the associated modal logics." Journal of Symbolic Logic 58, no. 1 (March 1993): 249–90. http://dx.doi.org/10.2307/2275337.
Повний текст джерелаMontagna, Franco. "Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation". Studia Logica 100, № 1-2 (9 лютого 2012): 289–317. http://dx.doi.org/10.1007/s11225-012-9379-x.
Повний текст джерелаBÁRÁNY, VINCE, MICHAEL BENEDIKT, and BALDER TEN CATE. "SOME MODEL THEORY OF GUARDED NEGATION." Journal of Symbolic Logic 83, no. 04 (December 2018): 1307–44. http://dx.doi.org/10.1017/jsl.2018.64.
Повний текст джерелаToman, David, and Grant Weddell. "First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics." Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 5 (June 28, 2022): 5897–905. http://dx.doi.org/10.1609/aaai.v36i5.20534.
Повний текст джерелаBezhanishvili, Nick, and Tim Henke. "A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem." Journal of Logic and Computation 30, no. 7 (August 26, 2020): 1331–55. http://dx.doi.org/10.1093/logcom/exaa040.
Повний текст джерелаWeaver, George, and Jeffrey Welaish. "Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics." Journal of Symbolic Logic 51, no. 4 (December 1986): 969–80. http://dx.doi.org/10.2307/2273909.
Повний текст джерелаTan, Yung-Chang, Matthew P. Castanier, and Christophe Pierre. "Approximation of Power Flow Between Two Coupled Beams Using Statistical Energy Methods." Journal of Vibration and Acoustics 123, no. 4 (April 1, 2001): 510–23. http://dx.doi.org/10.1115/1.1399051.
Повний текст джерелаMycielski, Jan. "Locally finite theories." Journal of Symbolic Logic 51, no. 1 (March 1986): 59–62. http://dx.doi.org/10.2307/2273942.
Повний текст джерелаCoscarelli, Bruno Costa. "Model Theory in a Paraconsistent Environment." Bulletin of Symbolic Logic 27, no. 2 (June 2021): 216. http://dx.doi.org/10.1017/bsl.2021.33.
Повний текст джерела