Artykuły w czasopismach na temat „Higher order logics”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Higher order logics”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Finkelstein, David. "Higher-order quantum logics". International Journal of Theoretical Physics 31, nr 9 (wrzesień 1992): 1627–38. http://dx.doi.org/10.1007/bf00671777.
Pełny tekst źródłaHella, Lauri, i José M. Turull-Torres. "Expressibility of Higher Order Logics". Electronic Notes in Theoretical Computer Science 84 (wrzesień 2003): 129–40. http://dx.doi.org/10.1016/s1571-0661(04)80850-8.
Pełny tekst źródłaAguirre, Alejandro, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata i Tetsuya Sato. "Higher-order probabilistic adversarial computations: categorical semantics and program logics". Proceedings of the ACM on Programming Languages 5, ICFP (22.08.2021): 1–30. http://dx.doi.org/10.1145/3473598.
Pełny tekst źródłaDal Lago, Ugo, Simone Martini i Davide Sangiorgi. "Light Logics and Higher-Order Processes". Electronic Proceedings in Theoretical Computer Science 41 (28.11.2010): 46–60. http://dx.doi.org/10.4204/eptcs.41.4.
Pełny tekst źródłaDAL LAGO, UGO, SIMONE MARTINI i DAVIDE SANGIORGI. "Light logics and higher-order processes". Mathematical Structures in Computer Science 26, nr 6 (17.11.2014): 969–92. http://dx.doi.org/10.1017/s0960129514000310.
Pełny tekst źródłaHella, Lauri, i José María Turull-Torres. "Computing queries with higher-order logics". Theoretical Computer Science 355, nr 2 (kwiecień 2006): 197–214. http://dx.doi.org/10.1016/j.tcs.2006.01.009.
Pełny tekst źródłaCrary, Karl. "Higher-order representation of substructural logics". ACM SIGPLAN Notices 45, nr 9 (27.09.2010): 131–42. http://dx.doi.org/10.1145/1932681.1863565.
Pełny tekst źródłaBenzmüller, Christoph, Dov Gabbay, Valerio Genovese i Daniele Rispoli. "Embedding and automating conditional logics in classical higher-order logic". Annals of Mathematics and Artificial Intelligence 66, nr 1-4 (25.09.2012): 257–71. http://dx.doi.org/10.1007/s10472-012-9320-z.
Pełny tekst źródłaAndrews, James H. "An untyped higher order logic with Y combinator". Journal of Symbolic Logic 72, nr 4 (grudzień 2007): 1385–404. http://dx.doi.org/10.2178/jsl/1203350794.
Pełny tekst źródłaSági, Gábor. "A completeness theorem for higher order logics". Journal of Symbolic Logic 65, nr 2 (czerwiec 2000): 857–84. http://dx.doi.org/10.2307/2586575.
Pełny tekst źródłaSteen, Alexander. "Higher-order theorem proving and its applications". it - Information Technology 61, nr 4 (27.08.2019): 187–91. http://dx.doi.org/10.1515/itit-2019-0001.
Pełny tekst źródłaBenzmüller, Christoph. "Combining and automating classical and non-classical logics in classical higher-order logics". Annals of Mathematics and Artificial Intelligence 62, nr 1-2 (czerwiec 2011): 103–28. http://dx.doi.org/10.1007/s10472-011-9249-7.
Pełny tekst źródłaMamdani, E. H., i H. J. Efstathiou. "Higher-order logics for handling uncertainty in expert systems". International Journal of Man-Machine Studies 22, nr 3 (marzec 1985): 283–93. http://dx.doi.org/10.1016/s0020-7373(85)80004-3.
Pełny tekst źródłaUMEZAWA, Toshio. "An extension of intermediate predicate logics to higher order". Japanese journal of mathematics. New series 17, nr 1 (1991): 37–55. http://dx.doi.org/10.4099/math1924.17.37.
Pełny tekst źródłaFerrarotti, Flavio Antonio, i José María Turull Torres. "Arity and alternation: a proper hierarchy in higher order logics". Annals of Mathematics and Artificial Intelligence 50, nr 1-2 (18.07.2007): 111–41. http://dx.doi.org/10.1007/s10472-007-9071-4.
Pełny tekst źródłaZaionc, Marek. "On the λ Definable Higher Order Boolean Operations". Fundamenta Informaticae 12, nr 2 (1.04.1989): 181–89. http://dx.doi.org/10.3233/fi-1989-12205.
Pełny tekst źródłaDoder, Dragan, Nenad Savić i Zoran Ognjanović. "Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities". Journal of Logic, Language and Information 29, nr 1 (3.09.2019): 77–107. http://dx.doi.org/10.1007/s10849-019-09301-7.
Pełny tekst źródłaGăină, Daniel, i Tomasz Kowalski. "Fraïssé–Hintikka theorem in institutions". Journal of Logic and Computation 30, nr 7 (3.09.2020): 1377–99. http://dx.doi.org/10.1093/logcom/exaa042.
Pełny tekst źródłaDespeyroux, Joëlle, i Robert Harper. "Special issue on Logical Frameworks and Metalanguages http//www-sop.inria.fr/certilab/LFM00/cfp-jfp.html". Journal of Functional Programming 10, nr 1 (styczeń 2000): 135–36. http://dx.doi.org/10.1017/s0956796899009892.
Pełny tekst źródłaHUET, GÉRARD. "Special issue on ‘Logical frameworks and metalanguages’". Journal of Functional Programming 13, nr 2 (marzec 2003): 257–60. http://dx.doi.org/10.1017/s0956796802004549.
Pełny tekst źródłaKołodziejczyk, Leszek Aleksander. "Truth definitions in finite models". Journal of Symbolic Logic 69, nr 1 (marzec 2004): 183–200. http://dx.doi.org/10.2178/jsl/1080938836.
Pełny tekst źródłaOkada, Mitsuhiro. "A uniform semantic proof for cut-elimination and completeness of various first and higher order logics". Theoretical Computer Science 281, nr 1-2 (czerwiec 2002): 471–98. http://dx.doi.org/10.1016/s0304-3975(02)00024-5.
Pełny tekst źródłaConrath-Hargreaves, Annemarie, i Sonja Wüstemann. "Multiple institutional logics and their impact on accounting in higher education". Accounting, Auditing & Accountability Journal 32, nr 3 (18.03.2019): 782–810. http://dx.doi.org/10.1108/aaaj-08-2017-3095.
Pełny tekst źródłaGürses, Serdal, i 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, nr 2 (1.07.2021): 128–67. http://dx.doi.org/10.1093/jpo/joab004.
Pełny tekst źródłaKIRCHNER, DANIEL, CHRISTOPH BENZMÜLLER i EDWARD N. ZALTA. "MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY". Review of Symbolic Logic 13, nr 1 (12.07.2019): 206–18. http://dx.doi.org/10.1017/s1755020319000297.
Pełny tekst źródłaChlipala, Adam. "Skipping the binder bureaucracy with mixed embeddings in a semantics course (functional pearl)". Proceedings of the ACM on Programming Languages 5, ICFP (22.08.2021): 1–28. http://dx.doi.org/10.1145/3473599.
Pełny tekst źródłaSchmidt, Dennis R. "Peremptory law, global order, and the normative boundaries of a pluralistic world". International Theory 8, nr 2 (5.05.2016): 262–96. http://dx.doi.org/10.1017/s175297191600004x.
Pełny tekst źródłaNiestegge, 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.
Pełny tekst źródłaBARBERO, FAUSTO. "SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION". Review of Symbolic Logic 12, nr 3 (12.04.2019): 456–86. http://dx.doi.org/10.1017/s1755020319000145.
Pełny tekst źródłaJacinto, Bruno. "Necessitism, Contingentism, and Theory Equivalence". Bulletin of Symbolic Logic 27, nr 2 (czerwiec 2021): 217–18. http://dx.doi.org/10.1017/bsl.2021.25.
Pełny tekst źródłaLarsen, Katarina. "Managing the complexity of centres of excellence: accommodating diversity in institutional logics". Tertiary Education and Management 26, nr 3 (6.12.2019): 295–310. http://dx.doi.org/10.1007/s11233-019-09053-w.
Pełny tekst źródłaDiab, Ahmed, i Ahmed Aboud. "The interplay between ideological resistance and management control: an Egyptian case study". Journal of Accounting in Emerging Economies 9, nr 2 (7.05.2019): 208–36. http://dx.doi.org/10.1108/jaee-07-2017-0070.
Pełny tekst źródłaDiab, Ahmed, i Abdelmoneim Bahyeldin Mohamed Metwally. "Institutional complexity and CSR practices: evidence from a developing country". Journal of Accounting in Emerging Economies 10, nr 4 (17.09.2020): 655–80. http://dx.doi.org/10.1108/jaee-11-2019-0214.
Pełny tekst źródłaHodes, Harold. "Cardinality logics. Part II: Definability in languages based on ‘exactly’". Journal of Symbolic Logic 53, nr 3 (wrzesień 1988): 765–84. http://dx.doi.org/10.2307/2274570.
Pełny tekst źródłaDiab, Ahmed Abdelnaby Ahmed, i Abdelmoneim Bahyeldin Mohamed Metwally. "Institutional ambidexterity and management control". Qualitative Research in Accounting & Management 16, nr 3 (5.08.2019): 373–402. http://dx.doi.org/10.1108/qram-08-2017-0081.
Pełny tekst źródłaAschieri, Federico, Stefan Hetzl i Daniel Weller. "Expansion trees with cut". Mathematical Structures in Computer Science 29, nr 8 (wrzesień 2019): 1009–29. http://dx.doi.org/10.1017/s0960129519000069.
Pełny tekst źródłaCarrington, Thomas, Tobias Johansson, Gustav Johed i Peter Öhman. "An Empirical Test of the Hierarchical Construct of Professionalism and Managerialism in the Accounting Profession". Behavioral Research in Accounting 25, nr 2 (1.05.2013): 1–20. http://dx.doi.org/10.2308/bria-50511.
Pełny tekst źródłaWilson, Steven R., Kai Kuang, Elizabeth A. Hintz i Patrice M. Buzzanell. "Developing and Validating the Communication Resilience Processes Scale". Journal of Communication 71, nr 3 (19.04.2021): 478–513. http://dx.doi.org/10.1093/joc/jqab013.
Pełny tekst źródłaBOVE, ANA, ALEXANDER KRAUSS i MATTHIEU SOZEAU. "Partiality and recursion in interactive theorem provers – an overview". Mathematical Structures in Computer Science 26, nr 1 (10.11.2014): 38–88. http://dx.doi.org/10.1017/s0960129514000115.
Pełny tekst źródłaBruce, Kim, Johan van Benthem i Kees Doets. "Higher-order Logic." Journal of Symbolic Logic 54, nr 3 (wrzesień 1989): 1090. http://dx.doi.org/10.2307/2274769.
Pełny tekst źródłaDi Pinto, Floriana, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini i Riccardo Rosati. "Acquiring Ontology Axioms through Mappings to Data Sources". Future Internet 11, nr 12 (13.12.2019): 260. http://dx.doi.org/10.3390/fi11120260.
Pełny tekst źródłaDošen, Kosta. "Sequent-systems for modal logic". Journal of Symbolic Logic 50, nr 1 (marzec 1985): 149–68. http://dx.doi.org/10.2307/2273797.
Pełny tekst źródłaForster, Thomas. "A Consistent Higher-Order Theory Without a (Higher-Order) Model". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 35, nr 5 (1989): 385–86. http://dx.doi.org/10.1002/malq.19890350502.
Pełny tekst źródłaPuga, Leila Z., i 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, nr 55 (10.12.1987): 19–37. http://dx.doi.org/10.22201/iifs.18704905e.1987.639.
Pełny tekst źródłaDavis, 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, nr 3 (4.04.2018): 321–47. http://dx.doi.org/10.1177/0891243218763056.
Pełny tekst źródłaAudenaert, Pieter. "The Higher-Order-Logic Formath". Bulletin of the Belgian Mathematical Society - Simon Stevin 15, nr 2 (maj 2008): 335–67. http://dx.doi.org/10.36045/bbms/1210254829.
Pełny tekst źródłaCharalambidis, Angelos, Konstantinos Handjopoulos, Panagiotis Rondogiannis i William W. Wadge. "Extensional Higher-Order Logic Programming". ACM Transactions on Computational Logic 14, nr 3 (sierpień 2013): 1–40. http://dx.doi.org/10.1145/2499937.2499942.
Pełny tekst źródłaCzajka, Łukasz. "Higher-Order Illative Combinatory Logic". Journal of Symbolic Logic 78, nr 3 (wrzesień 2013): 837–72. http://dx.doi.org/10.2178/jsl.7803080.
Pełny tekst źródłaCropper, Andrew, Rolf Morel i Stephen Muggleton. "Learning higher-order logic programs". Machine Learning 109, nr 7 (3.12.2019): 1289–322. http://dx.doi.org/10.1007/s10994-019-05862-7.
Pełny tekst źródłaHetzl, Stefan, Alexander Leitsch i Daniel Weller. "CERES in higher-order logic". Annals of Pure and Applied Logic 162, nr 12 (grudzień 2011): 1001–34. http://dx.doi.org/10.1016/j.apal.2011.06.005.
Pełny tekst źródła