Artículos de revistas sobre el tema "Craig's interpolation"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Craig's interpolation".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Beklemishev, L. D. "Provability logic without Craig's interpolation property". Mathematical Notes of the Academy of Sciences of the USSR 45, n.º 6 (junio de 1989): 437–45. http://dx.doi.org/10.1007/bf01158230.
Texto completoMaffezioli, Paolo y Eugenio Orlandelli. "Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate". Bulletin of the Section of Logic 48, n.º 2 (30 de junio de 2019): 137–58. http://dx.doi.org/10.18778/0138-0680.48.2.04.
Texto completoSági, Gábor y Saharon Shelah. "On weak and strong interpolation in algebraic logics". Journal of Symbolic Logic 71, n.º 1 (marzo de 2006): 104–18. http://dx.doi.org/10.2178/jsl/1140641164.
Texto completoMason, Ian. "The metatheory of the classical propositional calculus is not axiomatizable". Journal of Symbolic Logic 50, n.º 2 (junio de 1985): 451–57. http://dx.doi.org/10.2307/2274233.
Texto completoOno, Hiroakira. "Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach". Studia Logica 45, n.º 1 (marzo de 1986): 19–33. http://dx.doi.org/10.1007/bf01881546.
Texto completoALIZADEH, MAJID, FARZANEH DERAKHSHAN y HIROAKIRA ONO. "UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS". Review of Symbolic Logic 7, n.º 3 (27 de mayo de 2014): 455–83. http://dx.doi.org/10.1017/s175502031400015x.
Texto completoRodenburg, P. H. "Interpolation in Conditional Equational Logic1". Fundamenta Informaticae 15, n.º 1 (1 de junio de 1991): 80–85. http://dx.doi.org/10.3233/fi-1991-15106.
Texto completoMolnár, Zalán y Öztürk Övge. "Notes on localizing Craig’s interpolation theorem". Elpis. Filozófiatudományi Folyóirat 15, n.º 1-2 (2022): 103–16. http://dx.doi.org/10.54310/elpis.2022.1.8.
Texto completoKowalski, Tomasz. "PDL has interpolation". Journal of Symbolic Logic 67, n.º 3 (septiembre de 2002): 933–46. http://dx.doi.org/10.2178/jsl/1190150141.
Texto completoFeferman, Solomon. "Harmonious logic: Craig’s interpolation theorem and its descendants". Synthese 164, n.º 3 (1 de julio de 2008): 341–57. http://dx.doi.org/10.1007/s11229-008-9354-2.
Texto completoKuznets, Roman y Björn Lellmann. "Interpolation for intermediate logics via injective nested sequents". Journal of Logic and Computation 31, n.º 3 (abril de 2021): 797–831. http://dx.doi.org/10.1093/logcom/exab015.
Texto completoMarchioni, Enrico y George Metcalfe. "Craig interpolation for semilinear substructural logics". Mathematical Logic Quarterly 58, n.º 6 (19 de octubre de 2012): 468–81. http://dx.doi.org/10.1002/malq.201200004.
Texto completoJerome Keisler, H. y Jeffrey M. Keisler. "Craig interpolation for networks of sentences". Annals of Pure and Applied Logic 163, n.º 9 (septiembre de 2012): 1322–44. http://dx.doi.org/10.1016/j.apal.2012.03.001.
Texto completoMaksimova, L. L. "The decidability of craig’s interpolation property in well-composed J-logics". Siberian Mathematical Journal 53, n.º 5 (septiembre de 2012): 839–52. http://dx.doi.org/10.1134/s0037446612050096.
Texto completoWernhard, Christoph. "Craig Interpolation with Clausal First-Order Tableaux". Journal of Automated Reasoning 65, n.º 5 (27 de mayo de 2021): 647–90. http://dx.doi.org/10.1007/s10817-021-09590-3.
Texto completoLeroux, Jérôme, Philipp Rümmer y Pavle Subotić. "Guiding Craig interpolation with domain-specific abstractions". Acta Informatica 53, n.º 4 (15 de mayo de 2015): 387–424. http://dx.doi.org/10.1007/s00236-015-0236-z.
Texto completoSalibra, Antonino y Giuseppe Scollo. "Interpolation and compactness in categories of pre-institutions". Mathematical Structures in Computer Science 6, n.º 3 (junio de 1996): 261–86. http://dx.doi.org/10.1017/s0960129500001006.
Texto completoOLKHOVIKOV, GRIGORY K. "RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC". Review of Symbolic Logic 13, n.º 3 (13 de septiembre de 2019): 459–82. http://dx.doi.org/10.1017/s1755020319000406.
Texto completoDiaconescu, Răzvan. "An Institution-independent Proof of Craig Interpolation Theorem". Studia Logica 77, n.º 1 (junio de 2004): 59–79. http://dx.doi.org/10.1023/b:stud.0000034185.62660.d6.
Texto completoRümmer, Philipp, Hossein Hojjat y Viktor Kuncak. "On recursion-free Horn clauses and Craig interpolation". Formal Methods in System Design 47, n.º 1 (3 de diciembre de 2014): 1–25. http://dx.doi.org/10.1007/s10703-014-0219-7.
Texto completoRasga, João, Cristina Sernadas y Amlcar Sernadas. "Craig Interpolation in the Presence of Unreliable Connectives". Logica Universalis 8, n.º 3-4 (2 de abril de 2014): 423–46. http://dx.doi.org/10.1007/s11787-014-0101-9.
Texto completoVäänänen, Jouko. "The Craig Interpolation Theorem in abstract model theory". Synthese 164, n.º 3 (1 de julio de 2008): 401–20. http://dx.doi.org/10.1007/s11229-008-9357-z.
Texto completoKOWALSKI, TOMASZ y HIROAKIRA ONO. "ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC". Review of Symbolic Logic 10, n.º 2 (6 de diciembre de 2016): 259–83. http://dx.doi.org/10.1017/s175502031600040x.
Texto completoRen, Xuanzhi. "Fullness and Decidability in Continuous Propositional Logic". Mathematics 10, n.º 23 (25 de noviembre de 2022): 4455. http://dx.doi.org/10.3390/math10234455.
Texto completoLiu, Ying, Hongguang Li, Yun Li y Huanyu Du. "A Component-Based Parametric Reduced-Order Modeling Method Combined with Substructural Matrix Interpolation and Automatic Sampling". Shock and Vibration 2019 (8 de julio de 2019): 1–14. http://dx.doi.org/10.1155/2019/6407437.
Texto completoEsparza, Javier, Stefan Kiefer y Stefan Schwoon. "Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems1". Journal on Satisfiability, Boolean Modeling and Computation 5, n.º 1-4 (1 de junio de 2008): 27–56. http://dx.doi.org/10.3233/sat190051.
Texto completoKamide, Norihiro. "Notes on Craig interpolation for LJ with strong negation". Mathematical Logic Quarterly 57, n.º 4 (11 de marzo de 2011): 395–99. http://dx.doi.org/10.1002/malq.201010016.
Texto completoSeldin, Jonathan P. "On the proof theory of the intermediate logic MH". Journal of Symbolic Logic 51, n.º 3 (septiembre de 1986): 626–47. http://dx.doi.org/10.2307/2274019.
Texto completoMancosu, Paolo. "Introduction: Interpolations—Essays in honor of William Craig". Synthese 164, n.º 3 (24 de junio de 2008): 313–19. http://dx.doi.org/10.1007/s11229-008-9350-6.
Texto completoChen, Zhi Yuan, Shao Bin Huang y Li Li Han. "A Fast Approach of Locating Complex System Design Errors". Key Engineering Materials 572 (septiembre de 2013): 115–18. http://dx.doi.org/10.4028/www.scientific.net/kem.572.115.
Texto completoAhmed, Tarek. "Representability and amalgamation for Heyting polyadic algebras". Studia Scientiarum Mathematicarum Hungarica 48, n.º 4 (1 de diciembre de 2011): 509–39. http://dx.doi.org/10.1556/sscmath.48.2011.4.1190.
Texto completoKrajíček, Jan. "Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic". Journal of Symbolic Logic 62, n.º 2 (junio de 1997): 457–86. http://dx.doi.org/10.2307/2275541.
Texto completoSernadas, C., J. Rasga y A. Sernadas. "Preservation of Craig interpolation by the product of matrix logics". Journal of Applied Logic 11, n.º 3 (septiembre de 2013): 328–49. http://dx.doi.org/10.1016/j.jal.2013.06.001.
Texto completoGoranko, Valentin. "The Craig interpolation theorem for prepositional logics with strong negation". Studia Logica 44, n.º 3 (1985): 291–317. http://dx.doi.org/10.1007/bf00394448.
Texto completoКарпенко, А. С. "Von Wright’s truth-logic and around". Logical Investigations 19 (9 de abril de 2013): 39–50. http://dx.doi.org/10.21146/2074-1472-2013-19-0-39-50.
Texto completoAkhin, Marat, Sam Kolton y Vladimir Itsykson. "Random model sampling: Making craig interpolation work when it should not". Automatic Control and Computer Sciences 49, n.º 7 (diciembre de 2015): 413–19. http://dx.doi.org/10.3103/s0146411615070020.
Texto completoAkhin, Marat, Sam Kolton y Vladimir Itsykson. "Random Model Sampling: Making Craig Interpolation Work When It Should Not". Modeling and Analysis of Information Systems 21, n.º 6 (1 de enero de 2014): 7–17. http://dx.doi.org/10.18255/1818-1015-2014-6-7-17.
Texto completoHanazawa, Masazumi y Mitio Takano. "An interpolation theorem in many-valued logic". Journal of Symbolic Logic 51, n.º 2 (junio de 1986): 448–52. http://dx.doi.org/10.1017/s0022481200031315.
Texto completoMakkai, Michael. "On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic". Notre Dame Journal of Formal Logic 36, n.º 3 (julio de 1995): 364–81. http://dx.doi.org/10.1305/ndjfl/1040149353.
Texto completoJain, Himanshu, Edmund M. Clarke y Orna Grumberg. "Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations". Formal Methods in System Design 35, n.º 1 (24 de abril de 2009): 6–39. http://dx.doi.org/10.1007/s10703-009-0069-x.
Texto completoArtale, Alessandro, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki y 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, n.º 7 (18 de mayo de 2021): 6193–201. http://dx.doi.org/10.1609/aaai.v35i7.16770.
Texto completoIgnatiev, Konstantin N. "On strong provability predicates and the associated modal logics". Journal of Symbolic Logic 58, n.º 1 (marzo de 1993): 249–90. http://dx.doi.org/10.2307/2275337.
Texto completoMontagna, Franco. "Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation". Studia Logica 100, n.º 1-2 (9 de febrero de 2012): 289–317. http://dx.doi.org/10.1007/s11225-012-9379-x.
Texto completoBÁRÁNY, VINCE, MICHAEL BENEDIKT y BALDER TEN CATE. "SOME MODEL THEORY OF GUARDED NEGATION". Journal of Symbolic Logic 83, n.º 04 (diciembre de 2018): 1307–44. http://dx.doi.org/10.1017/jsl.2018.64.
Texto completoToman, David y Grant Weddell. "First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 5 (28 de junio de 2022): 5897–905. http://dx.doi.org/10.1609/aaai.v36i5.20534.
Texto completoBezhanishvili, Nick y Tim Henke. "A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem". Journal of Logic and Computation 30, n.º 7 (26 de agosto de 2020): 1331–55. http://dx.doi.org/10.1093/logcom/exaa040.
Texto completoWeaver, George y Jeffrey Welaish. "Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics". Journal of Symbolic Logic 51, n.º 4 (diciembre de 1986): 969–80. http://dx.doi.org/10.2307/2273909.
Texto completoTan, Yung-Chang, Matthew P. Castanier y Christophe Pierre. "Approximation of Power Flow Between Two Coupled Beams Using Statistical Energy Methods". Journal of Vibration and Acoustics 123, n.º 4 (1 de abril de 2001): 510–23. http://dx.doi.org/10.1115/1.1399051.
Texto completoMycielski, Jan. "Locally finite theories". Journal of Symbolic Logic 51, n.º 1 (marzo de 1986): 59–62. http://dx.doi.org/10.2307/2273942.
Texto completoCoscarelli, Bruno Costa. "Model Theory in a Paraconsistent Environment". Bulletin of Symbolic Logic 27, n.º 2 (junio de 2021): 216. http://dx.doi.org/10.1017/bsl.2021.33.
Texto completo