Статті в журналах з теми "Higher order logics"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Higher order logics".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Finkelstein, David. "Higher-order quantum logics." International Journal of Theoretical Physics 31, no. 9 (September 1992): 1627–38. http://dx.doi.org/10.1007/bf00671777.
Повний текст джерелаHella, Lauri, and José M. Turull-Torres. "Expressibility of Higher Order Logics." Electronic Notes in Theoretical Computer Science 84 (September 2003): 129–40. http://dx.doi.org/10.1016/s1571-0661(04)80850-8.
Повний текст джерелаAguirre, Alejandro, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, and Tetsuya Sato. "Higher-order probabilistic adversarial computations: categorical semantics and program logics." Proceedings of the ACM on Programming Languages 5, ICFP (August 22, 2021): 1–30. http://dx.doi.org/10.1145/3473598.
Повний текст джерелаDal Lago, Ugo, Simone Martini, and Davide Sangiorgi. "Light Logics and Higher-Order Processes." Electronic Proceedings in Theoretical Computer Science 41 (November 28, 2010): 46–60. http://dx.doi.org/10.4204/eptcs.41.4.
Повний текст джерелаDAL LAGO, UGO, SIMONE MARTINI, and DAVIDE SANGIORGI. "Light logics and higher-order processes." Mathematical Structures in Computer Science 26, no. 6 (November 17, 2014): 969–92. http://dx.doi.org/10.1017/s0960129514000310.
Повний текст джерелаHella, Lauri, and José María Turull-Torres. "Computing queries with higher-order logics." Theoretical Computer Science 355, no. 2 (April 2006): 197–214. http://dx.doi.org/10.1016/j.tcs.2006.01.009.
Повний текст джерелаCrary, Karl. "Higher-order representation of substructural logics." ACM SIGPLAN Notices 45, no. 9 (September 27, 2010): 131–42. http://dx.doi.org/10.1145/1932681.1863565.
Повний текст джерелаBenzmüller, Christoph, Dov Gabbay, Valerio Genovese, and Daniele Rispoli. "Embedding and automating conditional logics in classical higher-order logic." Annals of Mathematics and Artificial Intelligence 66, no. 1-4 (September 25, 2012): 257–71. http://dx.doi.org/10.1007/s10472-012-9320-z.
Повний текст джерелаAndrews, James H. "An untyped higher order logic with Y combinator." Journal of Symbolic Logic 72, no. 4 (December 2007): 1385–404. http://dx.doi.org/10.2178/jsl/1203350794.
Повний текст джерелаSági, Gábor. "A completeness theorem for higher order logics." Journal of Symbolic Logic 65, no. 2 (June 2000): 857–84. http://dx.doi.org/10.2307/2586575.
Повний текст джерелаSteen, Alexander. "Higher-order theorem proving and its applications." it - Information Technology 61, no. 4 (August 27, 2019): 187–91. http://dx.doi.org/10.1515/itit-2019-0001.
Повний текст джерелаBenzmüller, Christoph. "Combining and automating classical and non-classical logics in classical higher-order logics." Annals of Mathematics and Artificial Intelligence 62, no. 1-2 (June 2011): 103–28. http://dx.doi.org/10.1007/s10472-011-9249-7.
Повний текст джерелаMamdani, E. H., and H. J. Efstathiou. "Higher-order logics for handling uncertainty in expert systems." International Journal of Man-Machine Studies 22, no. 3 (March 1985): 283–93. http://dx.doi.org/10.1016/s0020-7373(85)80004-3.
Повний текст джерелаUMEZAWA, Toshio. "An extension of intermediate predicate logics to higher order." Japanese journal of mathematics. New series 17, no. 1 (1991): 37–55. http://dx.doi.org/10.4099/math1924.17.37.
Повний текст джерелаFerrarotti, Flavio Antonio, and José María Turull Torres. "Arity and alternation: a proper hierarchy in higher order logics." Annals of Mathematics and Artificial Intelligence 50, no. 1-2 (July 18, 2007): 111–41. http://dx.doi.org/10.1007/s10472-007-9071-4.
Повний текст джерелаZaionc, Marek. "On the λ Definable Higher Order Boolean Operations". Fundamenta Informaticae 12, № 2 (1 квітня 1989): 181–89. http://dx.doi.org/10.3233/fi-1989-12205.
Повний текст джерелаDoder, Dragan, Nenad Savić, and Zoran Ognjanović. "Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities." Journal of Logic, Language and Information 29, no. 1 (September 3, 2019): 77–107. http://dx.doi.org/10.1007/s10849-019-09301-7.
Повний текст джерелаGăină, Daniel, and Tomasz Kowalski. "Fraïssé–Hintikka theorem in institutions." Journal of Logic and Computation 30, no. 7 (September 3, 2020): 1377–99. http://dx.doi.org/10.1093/logcom/exaa042.
Повний текст джерелаDespeyroux, Joëlle, and Robert Harper. "Special issue on Logical Frameworks and Metalanguages http//www-sop.inria.fr/certilab/LFM00/cfp-jfp.html." Journal of Functional Programming 10, no. 1 (January 2000): 135–36. http://dx.doi.org/10.1017/s0956796899009892.
Повний текст джерелаHUET, GÉRARD. "Special issue on ‘Logical frameworks and metalanguages’." Journal of Functional Programming 13, no. 2 (March 2003): 257–60. http://dx.doi.org/10.1017/s0956796802004549.
Повний текст джерелаKołodziejczyk, Leszek Aleksander. "Truth definitions in finite models." Journal of Symbolic Logic 69, no. 1 (March 2004): 183–200. http://dx.doi.org/10.2178/jsl/1080938836.
Повний текст джерелаOkada, Mitsuhiro. "A uniform semantic proof for cut-elimination and completeness of various first and higher order logics." Theoretical Computer Science 281, no. 1-2 (June 2002): 471–98. http://dx.doi.org/10.1016/s0304-3975(02)00024-5.
Повний текст джерелаConrath-Hargreaves, Annemarie, and Sonja Wüstemann. "Multiple institutional logics and their impact on accounting in higher education." Accounting, Auditing & Accountability Journal 32, no. 3 (March 18, 2019): 782–810. http://dx.doi.org/10.1108/aaaj-08-2017-3095.
Повний текст джерелаGürses, Serdal, and Ali Danışman. "Keeping institutional logics in arm’s length: emerging of rogue practices in a gray zone of everyday work life in healthcare." Journal of Professions and Organization 8, no. 2 (July 1, 2021): 128–67. http://dx.doi.org/10.1093/jpo/joab004.
Повний текст джерелаKIRCHNER, DANIEL, CHRISTOPH BENZMÜLLER, and EDWARD N. ZALTA. "MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY." Review of Symbolic Logic 13, no. 1 (July 12, 2019): 206–18. http://dx.doi.org/10.1017/s1755020319000297.
Повний текст джерелаChlipala, Adam. "Skipping the binder bureaucracy with mixed embeddings in a semantics course (functional pearl)." Proceedings of the ACM on Programming Languages 5, ICFP (August 22, 2021): 1–28. http://dx.doi.org/10.1145/3473599.
Повний текст джерелаSchmidt, Dennis R. "Peremptory law, global order, and the normative boundaries of a pluralistic world." International Theory 8, no. 2 (May 5, 2016): 262–96. http://dx.doi.org/10.1017/s175297191600004x.
Повний текст джерелаNiestegge, Gerd. "Conditional Probability, Three-Slit Experiments, and the Jordan Algebra Structure of Quantum Mechanics." Advances in Mathematical Physics 2012 (2012): 1–20. http://dx.doi.org/10.1155/2012/156573.
Повний текст джерелаBARBERO, FAUSTO. "SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION." Review of Symbolic Logic 12, no. 3 (April 12, 2019): 456–86. http://dx.doi.org/10.1017/s1755020319000145.
Повний текст джерелаJacinto, Bruno. "Necessitism, Contingentism, and Theory Equivalence." Bulletin of Symbolic Logic 27, no. 2 (June 2021): 217–18. http://dx.doi.org/10.1017/bsl.2021.25.
Повний текст джерелаLarsen, Katarina. "Managing the complexity of centres of excellence: accommodating diversity in institutional logics." Tertiary Education and Management 26, no. 3 (December 6, 2019): 295–310. http://dx.doi.org/10.1007/s11233-019-09053-w.
Повний текст джерелаDiab, Ahmed, and Ahmed Aboud. "The interplay between ideological resistance and management control: an Egyptian case study." Journal of Accounting in Emerging Economies 9, no. 2 (May 7, 2019): 208–36. http://dx.doi.org/10.1108/jaee-07-2017-0070.
Повний текст джерелаDiab, Ahmed, and Abdelmoneim Bahyeldin Mohamed Metwally. "Institutional complexity and CSR practices: evidence from a developing country." Journal of Accounting in Emerging Economies 10, no. 4 (September 17, 2020): 655–80. http://dx.doi.org/10.1108/jaee-11-2019-0214.
Повний текст джерелаHodes, Harold. "Cardinality logics. Part II: Definability in languages based on ‘exactly’." Journal of Symbolic Logic 53, no. 3 (September 1988): 765–84. http://dx.doi.org/10.2307/2274570.
Повний текст джерелаDiab, Ahmed Abdelnaby Ahmed, and Abdelmoneim Bahyeldin Mohamed Metwally. "Institutional ambidexterity and management control." Qualitative Research in Accounting & Management 16, no. 3 (August 5, 2019): 373–402. http://dx.doi.org/10.1108/qram-08-2017-0081.
Повний текст джерелаAschieri, Federico, Stefan Hetzl, and Daniel Weller. "Expansion trees with cut." Mathematical Structures in Computer Science 29, no. 8 (September 2019): 1009–29. http://dx.doi.org/10.1017/s0960129519000069.
Повний текст джерелаCarrington, Thomas, Tobias Johansson, Gustav Johed, and Peter Öhman. "An Empirical Test of the Hierarchical Construct of Professionalism and Managerialism in the Accounting Profession." Behavioral Research in Accounting 25, no. 2 (May 1, 2013): 1–20. http://dx.doi.org/10.2308/bria-50511.
Повний текст джерелаWilson, Steven R., Kai Kuang, Elizabeth A. Hintz, and Patrice M. Buzzanell. "Developing and Validating the Communication Resilience Processes Scale." Journal of Communication 71, no. 3 (April 19, 2021): 478–513. http://dx.doi.org/10.1093/joc/jqab013.
Повний текст джерелаBOVE, ANA, ALEXANDER KRAUSS, and MATTHIEU SOZEAU. "Partiality and recursion in interactive theorem provers – an overview." Mathematical Structures in Computer Science 26, no. 1 (November 10, 2014): 38–88. http://dx.doi.org/10.1017/s0960129514000115.
Повний текст джерелаBruce, Kim, Johan van Benthem, and Kees Doets. "Higher-order Logic." Journal of Symbolic Logic 54, no. 3 (September 1989): 1090. http://dx.doi.org/10.2307/2274769.
Повний текст джерелаDi Pinto, Floriana, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. "Acquiring Ontology Axioms through Mappings to Data Sources." Future Internet 11, no. 12 (December 13, 2019): 260. http://dx.doi.org/10.3390/fi11120260.
Повний текст джерелаDošen, Kosta. "Sequent-systems for modal logic." Journal of Symbolic Logic 50, no. 1 (March 1985): 149–68. http://dx.doi.org/10.2307/2273797.
Повний текст джерелаForster, Thomas. "A Consistent Higher-Order Theory Without a (Higher-Order) Model." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 35, no. 5 (1989): 385–86. http://dx.doi.org/10.1002/malq.19890350502.
Повний текст джерелаPuga, Leila Z., and Newton C. A. Da Costa. "Sobre a lógica deôntica não-clássica." Crítica (México D. F. En línea) 19, no. 55 (December 10, 1987): 19–37. http://dx.doi.org/10.22201/iifs.18704905e.1987.639.
Повний текст джерелаDavis, Alexander K. "Toward Exclusion through Inclusion: Engendering Reputation with Gender-Inclusive Facilities at Colleges and Universities in the United States, 2001-2013." Gender & Society 32, no. 3 (April 4, 2018): 321–47. http://dx.doi.org/10.1177/0891243218763056.
Повний текст джерелаAudenaert, Pieter. "The Higher-Order-Logic Formath." Bulletin of the Belgian Mathematical Society - Simon Stevin 15, no. 2 (May 2008): 335–67. http://dx.doi.org/10.36045/bbms/1210254829.
Повний текст джерелаCharalambidis, Angelos, Konstantinos Handjopoulos, Panagiotis Rondogiannis, and William W. Wadge. "Extensional Higher-Order Logic Programming." ACM Transactions on Computational Logic 14, no. 3 (August 2013): 1–40. http://dx.doi.org/10.1145/2499937.2499942.
Повний текст джерелаCzajka, Łukasz. "Higher-Order Illative Combinatory Logic." Journal of Symbolic Logic 78, no. 3 (September 2013): 837–72. http://dx.doi.org/10.2178/jsl.7803080.
Повний текст джерелаCropper, Andrew, Rolf Morel, and Stephen Muggleton. "Learning higher-order logic programs." Machine Learning 109, no. 7 (December 3, 2019): 1289–322. http://dx.doi.org/10.1007/s10994-019-05862-7.
Повний текст джерелаHetzl, Stefan, Alexander Leitsch, and Daniel Weller. "CERES in higher-order logic." Annals of Pure and Applied Logic 162, no. 12 (December 2011): 1001–34. http://dx.doi.org/10.1016/j.apal.2011.06.005.
Повний текст джерела