Zobrazeno 1 - 10
of 42 490
pro vyhledávání: '"Logical framework"'
Publikováno v:
Resources Development & Market. 2024, Vol. 40 Issue 11, p1674-1681. 8p.
We introduce and investigate a family of consequence relations with the goal of capturing certain important patterns of data-driven inference. The inspiring idea for our framework is the fact that data may reject, possibly to some degree, and possibl
Externí odkaz:
http://arxiv.org/abs/2408.12346
Autor:
BANAŚ, Robert1 robert.banas@ue.poznan.pl, PERSKA, Anita anita.perska@ue.poznan.pl, WEINERT, Adam adam.weinert@ue.poznan.pl
Publikováno v:
Scientific Papers of Silesian University of Technology. Organization & Management / Zeszyty Naukowe Politechniki Slaskiej. Seria Organizacji i Zarzadzanie. 2023, Issue 188, p19-32. 14p.
Autor:
Zhang, Yuanrui
Dynamic logic and its variations, because of their clear and expressive forms for capturing program properties, have been used as formalisms in program/system specification and verification for years and have many other applications. The program mode
Externí odkaz:
http://arxiv.org/abs/2404.18098
Autor:
Monteiro de Moraes, Kássio Inácio1 kassioinacio1@gmail.com, Marques de Oliveira, Nilton2 niltonmarques@mail.uft.edu.br
Publikováno v:
GeSec: Revista de Gestao e Secretariado. 2024, Vol. 15 Issue 10, p1-23. 23p.
Publikováno v:
University Chemistry. 2024, Vol. 39 Issue 8, p338-343. 6p.
Autor:
Chen, Zhibo
Logical frameworks are successful in modeling proof systems. Recently, CoLF extended the logical framework LF to support higher-order rational terms that enable adequate encoding of circular objects and derivations. In this paper, we propose CoLF$^\o
Externí odkaz:
http://arxiv.org/abs/2312.05919
Autor:
Assaf, Ali, Burel, Guillaume, Cauderlier, Raphaël, Delahaye, David, Dowek, Gilles, Dubois, Catherine, Gilbert, Frédéric, Halmagrand, Pierre, Hermant, Olivier, Saillard, Ronan
Dedukti is a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simple type theory, programming languages, Pure type systems, the C
Externí odkaz:
http://arxiv.org/abs/2311.07185
We present ${\bf decalf}$, a ${\bf d}$irected, ${\bf e}$ffectful ${\bf c}$ost-${\bf a}$ware ${\bf l}$ogical ${\bf f}$ramework for studying quantitative aspects of functional programs with effects. Like ${\bf calf}$, the language is based on a formal
Externí odkaz:
http://arxiv.org/abs/2307.05938
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.