Results 91 to 100 of about 4,006 (251)
Cut Elimination as Error Correcting Device
, 2020 In mathematical proofs axioms and intermediary results are often represented by their names. It is however undecidable whether such a description corresponds to an underlying proof.
Baaz, Matthias
core
Researcher–Entrepreneur Relationship and Performance of Innovative Startups
International Journal of Finance &Economics, EarlyView.ABSTRACT Many innovative startups are joint ventures between researchers and entrepreneurs, who collaborate in R&D and product commercialization. Government policies such as grants, subsidies, and patent licensing fees act as Pigouvian subsidies, incentivizing R&D by bridging the gap between the social and private returns of innovation.
Yangguang Huang, Helen Hui
wiley +1 more source
Review of millimeter‐wave and terahertz near‐field synthetic aperture radar imaging technology
InfoScience, EarlyView.Abstract This paper comprehensively reviews the development of millimeter‐wave (MMW) and terahertz (THz) near‐field imaging technologies, with an emphasis on the state of synthetic aperture radar (SAR)‐based imaging technologies. Near‐field imaging technologies are categorized into passive and active imaging modes, among which active imaging is favored
Qi Yang +3 more
wiley +1 more source
PROBLEM ELIMINASI CUT PADA LOGIKA LBB’Ink
, 2007 In the present paper we study the problem of the cut elimination in logics LBB’Ink , i.e. logics obtained from LBB’I by adding a rule called (nk) rule.
Surarso, Bayu
core
, 2023 We provide a new sequent calculus that enjoys syntactic cut-elimination and strongly terminating backward proof search for the intuitionistic Strong L\"ob logic $\sf{iSL}$, an intuitionistic modal logic with a provability interpretation.
Shillito, Ian +3 more
core
Impact of Geography on Institutions in Agricultural and Nomadic Societies
International Studies of Economics, EarlyView.ABSTRACT How geography affects the choice of institutions is studied in a theoretical model. In this model, nations are located around a circle. Rulers compete through choosing tax rates, the level of military spending, and the degree of formality of institutions. Geographic condition is captured by population density.
Haiwen Zhou
wiley +1 more source
Characterizing Higher‐Order Ross More Risk Aversion by Comparison of Risk Compensation
International Studies of Economics, EarlyView.ABSTRACT This paper characterizes higher‐order Ross more risk aversion by means of risk compensation rather than the traditional risk premium. Our approach extends the willingness‐to‐accept (WTA) framework of Denuit and Eeckhoudt (2013) to a broader class of risk changes.
Zhen Huang, Guoqiang Tian, Yougong Tian
wiley +1 more source
Journal of Applied Econometrics, EarlyView.ABSTRACT We present four novel tests of equal predictive accuracy and encompassing á Pitarakis (2023, 2025) for factor‐augmented regressions. Factors are estimated using cross‐section averages (CAs) of grouped series and our theoretical findings are empirically relevant: asymptotic normality, robustness to an overspecification of the number of factors,
Alessandro Morico, Ovidijus Stauskas
wiley +1 more source
Ordinal analysis and the set existence property for intuitionistic set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Rathjen M.
europepmc +1 more source
TEOREMA ELIMINASI CUT PADA SISTEM LOGIKA FLgc DAN FLw,gc [PDF]
, 2007 . It is well known that the cut elimination theorem does not hold for FLc dan FLw,c, neither for propositional level nor predicate level. On the other hand, it has been proved that for the propositional level the cut elimination theorem holds for FL with
Surarso, B. (Bayu), Surarso, Bayu
core