Artículos de revistas sobre el tema "Predicate calculus"
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 "Predicate calculus".
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.
LANZET, RAN. "A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL". Review of Symbolic Logic 10, n.º 3 (8 de mayo de 2017): 549–82. http://dx.doi.org/10.1017/s1755020317000053.
Texto completoFriedman, Harvey M. y Andrej Ščedrov. "On the quantificational logic of intuitionistic set theory". Mathematical Proceedings of the Cambridge Philosophical Society 99, n.º 1 (enero de 1986): 5–10. http://dx.doi.org/10.1017/s0305004100063854.
Texto completoRuitenburg, Wim. "Basic Predicate Calculus". Notre Dame Journal of Formal Logic 39, n.º 1 (enero de 1998): 18–46. http://dx.doi.org/10.1305/ndjfl/1039293019.
Texto completoBEN-YAMI, HANOCH. "THE QUANTIFIED ARGUMENT CALCULUS". Review of Symbolic Logic 7, n.º 1 (22 de enero de 2014): 120–46. http://dx.doi.org/10.1017/s1755020313000373.
Texto completoLiusti, Siti Ainim. "ANALISIS KALIMAT BERDASARKAN POLA KALIMAT DASAR DAN KALKULUS PREDIKAT". Adabiyyāt: Jurnal Bahasa dan Sastra 15, n.º 2 (25 de diciembre de 2016): 157. http://dx.doi.org/10.14421/ajbs.2016.15203.
Texto completoAndjelkovic, Danica. "Aristotle's syllogistic and modern logic". Theoria, Beograd 48, n.º 3-4 (2005): 155–66. http://dx.doi.org/10.2298/theo0504155a.
Texto completoShalack, Vladimir. "On Some Applied First-Order Theories which Can Be Represented by Definitions". Bulletin of the Section of Logic 44, n.º 1/2 (1 de enero de 2015): 19–24. http://dx.doi.org/10.18778/0138-0680.44.1.2.03.
Texto completoKonikowska, Beata, Andrzej Tarlecki y Andrzej Blikle. "A Three-Valued Logic for Software Specification and Validation. Tertium tamen datur". Fundamenta Informaticae 14, n.º 4 (1 de abril de 1991): 411–53. http://dx.doi.org/10.3233/fi-1991-14403.
Texto completoMonahan, Brian. "Predicate calculus and program semantics". Science of Computer Programming 17, n.º 1-3 (diciembre de 1991): 259–62. http://dx.doi.org/10.1016/0167-6423(91)90048-3.
Texto completoBörger, Egon. "Predicate calculus and program semantics". Science of Computer Programming 23, n.º 1 (octubre de 1994): 91–101. http://dx.doi.org/10.1016/0167-6423(94)90002-7.
Texto completoMcQuade, Thomas J. "From Syllogism to Predicate Calculus". Teaching Philosophy 17, n.º 4 (1994): 293–309. http://dx.doi.org/10.5840/teachphil199417448.
Texto completoLin, Hui-Min. "Predicate ?-Calculus for Mobile Ambients". Journal of Computer Science and Technology 20, n.º 1 (enero de 2005): 95–104. http://dx.doi.org/10.1007/s11390-005-0011-7.
Texto completoLiusti, Siti Ainim. "ANALISIS KALKULUS PREDIKAT PADA TERJEMAHAN SURAH AL-SAFFAT". Adabiyyāt: Jurnal Bahasa dan Sastra 12, n.º 1 (30 de julio de 2013): 190. http://dx.doi.org/10.14421/ajbs.2013.12109.
Texto completoBull, R. A. "MIPC as the formalisation of an intuitionist concept of modality". Journal of Symbolic Logic 31, n.º 4 (enero de 1997): 609–16. http://dx.doi.org/10.2307/2269696.
Texto completoNEGRI, SARA y JAN VON PLATO. "Proof systems for lattice theory". Mathematical Structures in Computer Science 14, n.º 4 (agosto de 2004): 507–26. http://dx.doi.org/10.1017/s0960129504004244.
Texto completoKosovskaya, Tatiana M. y Nikolai N. Kosovskii. "Extraction of common properties of objects for creation of a logic ontology". Vestnik of Saint Petersburg University. Applied Mathematics. Computer Science. Control Processes 18, n.º 1 (2022): 37–51. http://dx.doi.org/10.21638/11701/spbu10.2022.103.
Texto completoS. Veloso, Paulo A. y Sheila R. M. Veloso. "A Graph Calculus for Predicate Logic". Electronic Proceedings in Theoretical Computer Science 113 (28 de marzo de 2013): 153–68. http://dx.doi.org/10.4204/eptcs.113.15.
Texto completoBen-Yami, Hanoch. "Attributive adjectives and the predicate calculus". Philosophical Studies 83, n.º 3 (septiembre de 1996): 277–89. http://dx.doi.org/10.1007/bf00364609.
Texto completoInterdisciplinary Seminar on Peirce. "“Betagraphic”: An Alternative Formulation of Predicate Calculus". Transactions of the Charles S. Peirce Society 51, n.º 2 (2015): 137. http://dx.doi.org/10.2979/trancharpeirsoc.51.2.137.
Texto completoBoute, Raymond. "Functional declarative language design and predicate calculus". ACM Transactions on Programming Languages and Systems 27, n.º 5 (septiembre de 2005): 988–1047. http://dx.doi.org/10.1145/1086642.1086647.
Texto completoYankov, V. A. "Dialogue interpretation of the classical predicate calculus". Izvestiya: Mathematics 61, n.º 1 (28 de febrero de 1997): 225–33. http://dx.doi.org/10.1070/im1997v061n01abeh000112.
Texto completoWeiß, Benjamin. "Predicate abstraction in a program logic calculus". Science of Computer Programming 76, n.º 10 (octubre de 2011): 861–76. http://dx.doi.org/10.1016/j.scico.2010.06.008.
Texto completoPaul, Etienne. "Equational methods in first order predicate calculus". Journal of Symbolic Computation 1, n.º 1 (marzo de 1985): 7–29. http://dx.doi.org/10.1016/s0747-7171(85)80026-2.
Texto completoBijlsma, Lex y Rob Nederpelt. "Dijkstra-Scholten predicate calculus: concepts and misconceptions". Acta Informatica 35, n.º 12 (1 de diciembre de 1998): 1007–36. http://dx.doi.org/10.1007/s002360050150.
Texto completoDrăgulici, Daniel y George Georgescu. "Algebraic Logic for Rational Pavelka Predicate Calculus". MLQ 47, n.º 3 (agosto de 2001): 315–26. http://dx.doi.org/10.1002/1521-3870(200108)47:3<315::aid-malq315>3.0.co;2-0.
Texto completoHuet, Gérard. "Residual theory in λ-calculus: a formal development". Journal of Functional Programming 4, n.º 3 (julio de 1994): 371–94. http://dx.doi.org/10.1017/s0956796800001106.
Texto completoKonovalov, Aleksandr Yu. "Generalized Realizability and Basic Logic". ACM Transactions on Computational Logic 22, n.º 4 (31 de octubre de 2021): 1–23. http://dx.doi.org/10.1145/3468856.
Texto completoXiao, Hua Bo y Shu Li Huang. "Research in Test Case Method in Software Testing". Applied Mechanics and Materials 457-458 (octubre de 2013): 1163–66. http://dx.doi.org/10.4028/www.scientific.net/amm.457-458.1163.
Texto completoAghaei, Mojtaba y Mohammad Ardeshir. "A Gentzen-style axiomatization for basic predicate calculus". Archive for Mathematical Logic 42, n.º 3 (1 de abril de 2003): 245–59. http://dx.doi.org/10.1007/s001530100132.
Texto completoMcKinnon, K. I. M. y H. P. Williams. "Constructing integer programming models by the predicate calculus". Annals of Operations Research 21, n.º 1 (diciembre de 1989): 227–45. http://dx.doi.org/10.1007/bf02022101.
Texto completoOrevkov, V. P. "A new decidable Horn fragment of predicate calculus". Journal of Mathematical Sciences 134, n.º 5 (mayo de 2006): 2403–10. http://dx.doi.org/10.1007/s10958-006-0117-7.
Texto completoOstermann, Pascal. "Many-valued modal logics: Uses and predicate calculus". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36, n.º 4 (1990): 367–76. http://dx.doi.org/10.1002/malq.19900360411.
Texto completoCarbone, A. "The cost of a cycle is a square". Journal of Symbolic Logic 67, n.º 1 (marzo de 2002): 35–60. http://dx.doi.org/10.2178/jsl/1190150028.
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 completoMARANGET, LUC. "FUNCTIONAL PEARL Functional satisfaction". Journal of Functional Programming 14, n.º 6 (27 de octubre de 2004): 647–56. http://dx.doi.org/10.1017/s0956796804005155.
Texto completoMcGee, Vann. "The complexity of the modal predicate logic of “true in every transitive model of ZF”". Journal of Symbolic Logic 62, n.º 4 (diciembre de 1997): 1371–78. http://dx.doi.org/10.2307/2275648.
Texto completoMarek, W. "Stable Theories in Autoepistemic Logic". Fundamenta Informaticae 12, n.º 2 (1 de abril de 1989): 243–54. http://dx.doi.org/10.3233/fi-1989-12209.
Texto completoLópez Astorga, Miguel. "Exclusive Disjunctions With Three Disjuncts from First-Order Predicate Calculus". Open Insight 15, n.º 34 (10 de junio de 2024): 168–82. http://dx.doi.org/10.23924/oi.v15i34.629.
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 completoKOSTIĆ, JOVANA. "LOGIC FOR THE THEORY OF CONCEPTS". Arhe 27, n.º 34 (17 de marzo de 2021): 85–102. http://dx.doi.org/10.19090/arhe.2020.34.85-102.
Texto completoUnno, Hiroshi, Tachio Terauchi, Yu Gu y Eric Koskinen. "Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification". Proceedings of the ACM on Programming Languages 7, POPL (9 de enero de 2023): 2111–40. http://dx.doi.org/10.1145/3571265.
Texto completoPurdy, William C. "Fluted formulas and the limits of decidability". Journal of Symbolic Logic 61, n.º 2 (junio de 1996): 608–20. http://dx.doi.org/10.2307/2275678.
Texto completoШалак, В. И. "On the Definitional Embeddability of the Combinatory Logic Theory into the First-Order Predicate Calculus". Logical Investigations 21, n.º 2 (28 de septiembre de 2015): 9–14. http://dx.doi.org/10.21146/2074-1472-2015-21-2-9-14.
Texto completoSatish, B. N. V. y G. Ganesan. "Approximations on intuitionistic fuzzy predicate calculus through rough computing". Journal of Intelligent & Fuzzy Systems 27, n.º 4 (2014): 1873–79. http://dx.doi.org/10.3233/ifs-141153.
Texto completoNissan, Ephraim. "Data analysis using a geometrical representation of predicate calculus". Information Sciences 41, n.º 3 (abril de 1987): 187–258. http://dx.doi.org/10.1016/0020-0255(87)90010-7.
Texto completoMegill, Norman D. "A Finitely Axiomatized Formalization of Predicate Calculus with Equality". Notre Dame Journal of Formal Logic 36, n.º 3 (julio de 1995): 435–53. http://dx.doi.org/10.1305/ndjfl/1040149359.
Texto completoKoletsos, George. "Church-Rosser theorem for typed functional systems". Journal of Symbolic Logic 50, n.º 3 (septiembre de 1985): 782–90. http://dx.doi.org/10.2307/2274330.
Texto completoRÖCKL, CHRISTINE y DANIEL HIRSCHKOFF. "A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis". Journal of Functional Programming 13, n.º 2 (marzo de 2003): 415–51. http://dx.doi.org/10.1017/s0956796802004653.
Texto completoDekkers, Wil, Martin Bunder y Henk Barendregt. "Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic". Journal of Symbolic Logic 63, n.º 3 (septiembre de 1998): 869–90. http://dx.doi.org/10.2307/2586717.
Texto completoHUET, GÉRARD. "Preface". Mathematical Structures in Computer Science 21, n.º 4 (1 de julio de 2011): 671–77. http://dx.doi.org/10.1017/s0960129511000235.
Texto completo