Journal articles on the topic 'Predicate calculus'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Predicate calculus.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
LANZET, RAN. "A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL." Review of Symbolic Logic 10, no. 3 (May 8, 2017): 549–82. http://dx.doi.org/10.1017/s1755020317000053.
Full textFriedman, Harvey M., and Andrej Ščedrov. "On the quantificational logic of intuitionistic set theory." Mathematical Proceedings of the Cambridge Philosophical Society 99, no. 1 (January 1986): 5–10. http://dx.doi.org/10.1017/s0305004100063854.
Full textRuitenburg, Wim. "Basic Predicate Calculus." Notre Dame Journal of Formal Logic 39, no. 1 (January 1998): 18–46. http://dx.doi.org/10.1305/ndjfl/1039293019.
Full textBEN-YAMI, HANOCH. "THE QUANTIFIED ARGUMENT CALCULUS." Review of Symbolic Logic 7, no. 1 (January 22, 2014): 120–46. http://dx.doi.org/10.1017/s1755020313000373.
Full textLiusti, Siti Ainim. "ANALISIS KALIMAT BERDASARKAN POLA KALIMAT DASAR DAN KALKULUS PREDIKAT." Adabiyyāt: Jurnal Bahasa dan Sastra 15, no. 2 (December 25, 2016): 157. http://dx.doi.org/10.14421/ajbs.2016.15203.
Full textAndjelkovic, Danica. "Aristotle's syllogistic and modern logic." Theoria, Beograd 48, no. 3-4 (2005): 155–66. http://dx.doi.org/10.2298/theo0504155a.
Full textShalack, Vladimir. "On Some Applied First-Order Theories which Can Be Represented by Definitions." Bulletin of the Section of Logic 44, no. 1/2 (January 1, 2015): 19–24. http://dx.doi.org/10.18778/0138-0680.44.1.2.03.
Full textKonikowska, Beata, Andrzej Tarlecki, and Andrzej Blikle. "A Three-Valued Logic for Software Specification and Validation. Tertium tamen datur." Fundamenta Informaticae 14, no. 4 (April 1, 1991): 411–53. http://dx.doi.org/10.3233/fi-1991-14403.
Full textMonahan, Brian. "Predicate calculus and program semantics." Science of Computer Programming 17, no. 1-3 (December 1991): 259–62. http://dx.doi.org/10.1016/0167-6423(91)90048-3.
Full textBörger, Egon. "Predicate calculus and program semantics." Science of Computer Programming 23, no. 1 (October 1994): 91–101. http://dx.doi.org/10.1016/0167-6423(94)90002-7.
Full textMcQuade, Thomas J. "From Syllogism to Predicate Calculus." Teaching Philosophy 17, no. 4 (1994): 293–309. http://dx.doi.org/10.5840/teachphil199417448.
Full textLin, Hui-Min. "Predicate ?-Calculus for Mobile Ambients." Journal of Computer Science and Technology 20, no. 1 (January 2005): 95–104. http://dx.doi.org/10.1007/s11390-005-0011-7.
Full textLiusti, Siti Ainim. "ANALISIS KALKULUS PREDIKAT PADA TERJEMAHAN SURAH AL-SAFFAT." Adabiyyāt: Jurnal Bahasa dan Sastra 12, no. 1 (July 30, 2013): 190. http://dx.doi.org/10.14421/ajbs.2013.12109.
Full textBull, R. A. "MIPC as the formalisation of an intuitionist concept of modality." Journal of Symbolic Logic 31, no. 4 (January 1997): 609–16. http://dx.doi.org/10.2307/2269696.
Full textNEGRI, SARA, and JAN VON PLATO. "Proof systems for lattice theory." Mathematical Structures in Computer Science 14, no. 4 (August 2004): 507–26. http://dx.doi.org/10.1017/s0960129504004244.
Full textKosovskaya, Tatiana M., and 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, no. 1 (2022): 37–51. http://dx.doi.org/10.21638/11701/spbu10.2022.103.
Full textS. Veloso, Paulo A., and Sheila R. M. Veloso. "A Graph Calculus for Predicate Logic." Electronic Proceedings in Theoretical Computer Science 113 (March 28, 2013): 153–68. http://dx.doi.org/10.4204/eptcs.113.15.
Full textBen-Yami, Hanoch. "Attributive adjectives and the predicate calculus." Philosophical Studies 83, no. 3 (September 1996): 277–89. http://dx.doi.org/10.1007/bf00364609.
Full textInterdisciplinary Seminar on Peirce. "“Betagraphic”: An Alternative Formulation of Predicate Calculus." Transactions of the Charles S. Peirce Society 51, no. 2 (2015): 137. http://dx.doi.org/10.2979/trancharpeirsoc.51.2.137.
Full textBoute, Raymond. "Functional declarative language design and predicate calculus." ACM Transactions on Programming Languages and Systems 27, no. 5 (September 2005): 988–1047. http://dx.doi.org/10.1145/1086642.1086647.
Full textYankov, V. A. "Dialogue interpretation of the classical predicate calculus." Izvestiya: Mathematics 61, no. 1 (February 28, 1997): 225–33. http://dx.doi.org/10.1070/im1997v061n01abeh000112.
Full textWeiß, Benjamin. "Predicate abstraction in a program logic calculus." Science of Computer Programming 76, no. 10 (October 2011): 861–76. http://dx.doi.org/10.1016/j.scico.2010.06.008.
Full textPaul, Etienne. "Equational methods in first order predicate calculus." Journal of Symbolic Computation 1, no. 1 (March 1985): 7–29. http://dx.doi.org/10.1016/s0747-7171(85)80026-2.
Full textBijlsma, Lex, and Rob Nederpelt. "Dijkstra-Scholten predicate calculus: concepts and misconceptions." Acta Informatica 35, no. 12 (December 1, 1998): 1007–36. http://dx.doi.org/10.1007/s002360050150.
Full textDrăgulici, Daniel, and George Georgescu. "Algebraic Logic for Rational Pavelka Predicate Calculus." MLQ 47, no. 3 (August 2001): 315–26. http://dx.doi.org/10.1002/1521-3870(200108)47:3<315::aid-malq315>3.0.co;2-0.
Full textHuet, Gérard. "Residual theory in λ-calculus: a formal development." Journal of Functional Programming 4, no. 3 (July 1994): 371–94. http://dx.doi.org/10.1017/s0956796800001106.
Full textKonovalov, Aleksandr Yu. "Generalized Realizability and Basic Logic." ACM Transactions on Computational Logic 22, no. 4 (October 31, 2021): 1–23. http://dx.doi.org/10.1145/3468856.
Full textXiao, Hua Bo, and Shu Li Huang. "Research in Test Case Method in Software Testing." Applied Mechanics and Materials 457-458 (October 2013): 1163–66. http://dx.doi.org/10.4028/www.scientific.net/amm.457-458.1163.
Full textAghaei, Mojtaba, and Mohammad Ardeshir. "A Gentzen-style axiomatization for basic predicate calculus." Archive for Mathematical Logic 42, no. 3 (April 1, 2003): 245–59. http://dx.doi.org/10.1007/s001530100132.
Full textMcKinnon, K. I. M., and H. P. Williams. "Constructing integer programming models by the predicate calculus." Annals of Operations Research 21, no. 1 (December 1989): 227–45. http://dx.doi.org/10.1007/bf02022101.
Full textOrevkov, V. P. "A new decidable Horn fragment of predicate calculus." Journal of Mathematical Sciences 134, no. 5 (May 2006): 2403–10. http://dx.doi.org/10.1007/s10958-006-0117-7.
Full textOstermann, Pascal. "Many-valued modal logics: Uses and predicate calculus." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36, no. 4 (1990): 367–76. http://dx.doi.org/10.1002/malq.19900360411.
Full textCarbone, A. "The cost of a cycle is a square." Journal of Symbolic Logic 67, no. 1 (March 2002): 35–60. http://dx.doi.org/10.2178/jsl/1190150028.
Full textALIZADEH, 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.
Full textMARANGET, LUC. "FUNCTIONAL PEARL Functional satisfaction." Journal of Functional Programming 14, no. 6 (October 27, 2004): 647–56. http://dx.doi.org/10.1017/s0956796804005155.
Full textMcGee, Vann. "The complexity of the modal predicate logic of “true in every transitive model of ZF”." Journal of Symbolic Logic 62, no. 4 (December 1997): 1371–78. http://dx.doi.org/10.2307/2275648.
Full textMarek, W. "Stable Theories in Autoepistemic Logic." Fundamenta Informaticae 12, no. 2 (April 1, 1989): 243–54. http://dx.doi.org/10.3233/fi-1989-12209.
Full textLópez Astorga, Miguel. "Exclusive Disjunctions With Three Disjuncts from First-Order Predicate Calculus." Open Insight 15, no. 34 (June 10, 2024): 168–82. http://dx.doi.org/10.23924/oi.v15i34.629.
Full textMaffezioli, 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.
Full textKOSTIĆ, JOVANA. "LOGIC FOR THE THEORY OF CONCEPTS." Arhe 27, no. 34 (March 17, 2021): 85–102. http://dx.doi.org/10.19090/arhe.2020.34.85-102.
Full textUnno, Hiroshi, Tachio Terauchi, Yu Gu, and Eric Koskinen. "Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification." Proceedings of the ACM on Programming Languages 7, POPL (January 9, 2023): 2111–40. http://dx.doi.org/10.1145/3571265.
Full textPurdy, William C. "Fluted formulas and the limits of decidability." Journal of Symbolic Logic 61, no. 2 (June 1996): 608–20. http://dx.doi.org/10.2307/2275678.
Full textШалак, В. И. "On the Definitional Embeddability of the Combinatory Logic Theory into the First-Order Predicate Calculus." Logical Investigations 21, no. 2 (September 28, 2015): 9–14. http://dx.doi.org/10.21146/2074-1472-2015-21-2-9-14.
Full textSatish, B. N. V., and G. Ganesan. "Approximations on intuitionistic fuzzy predicate calculus through rough computing." Journal of Intelligent & Fuzzy Systems 27, no. 4 (2014): 1873–79. http://dx.doi.org/10.3233/ifs-141153.
Full textNissan, Ephraim. "Data analysis using a geometrical representation of predicate calculus." Information Sciences 41, no. 3 (April 1987): 187–258. http://dx.doi.org/10.1016/0020-0255(87)90010-7.
Full textMegill, Norman D. "A Finitely Axiomatized Formalization of Predicate Calculus with Equality." Notre Dame Journal of Formal Logic 36, no. 3 (July 1995): 435–53. http://dx.doi.org/10.1305/ndjfl/1040149359.
Full textKoletsos, George. "Church-Rosser theorem for typed functional systems." Journal of Symbolic Logic 50, no. 3 (September 1985): 782–90. http://dx.doi.org/10.2307/2274330.
Full textRÖCKL, CHRISTINE, and DANIEL HIRSCHKOFF. "A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis." Journal of Functional Programming 13, no. 2 (March 2003): 415–51. http://dx.doi.org/10.1017/s0956796802004653.
Full textDekkers, Wil, Martin Bunder, and Henk Barendregt. "Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic." Journal of Symbolic Logic 63, no. 3 (September 1998): 869–90. http://dx.doi.org/10.2307/2586717.
Full textHUET, GÉRARD. "Preface." Mathematical Structures in Computer Science 21, no. 4 (July 1, 2011): 671–77. http://dx.doi.org/10.1017/s0960129511000235.
Full text