Results for ' Kan-fêng'

1000+ found
Order:
  1.  14
    Hold the future, let the past go: Attention prefers the features of future targets.Feng Du, Kan Zhang & Richard A. Abrams - 2014 - Cognition 131 (2):205-215.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  23
    Emotional processing is enhanced in peri-hand space.Feng Du, Xiaotao Wang, Richard A. Abrams & Kan Zhang - 2017 - Cognition 165 (C):39-44.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  3
    Zhi shi he yi ke neng: cong jing ji xue de guan xi lun zhuan xiang kan.Xiegang Feng - 2007 - Beijing Shi: Jing ji ke xue chu ban she.
    本书是从经济学的角度研究“关系论”的专著,在系统阐述了经济学的关系论转向后,进一步对计量经济学进行了研究,并给出了在关系论框架下使用计量分析工具建构经济学知识的方法框架。主要包括了“修补完全理性:行为 经济学的心理现实化”、“放弃完全理性:行为经济学对正统经济学微观理论基础的解构”、“经济学何以可能”、“主体关系导向的计量经济学:通向关系论经济学的途径”、“知识何以可能”等方面的内容。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  11
    Minguo xue zhe lun Feng Youlan =.Renyu Wang (ed.) - 2019 - Beijing: Ren min chu ban she.
    Xue xi he yan jiu Zhongguo zhe xue, yi ban lai shuo, Feng xian sheng shi ke chao er bu ke yue de. Yi si shi, hou ren wan quan ke neng er qie ye ying dang sheng guo Feng xian sheng, dan shi que bu neng rao guo Feng xian sheng. Rao guo Feng xian sheng, bu dan bi ran yao duo fei li qi, er qie rong yi zou wan lu er nan yu shen ru tang ao. Feng (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  13
    Song Ming li xue yu Ming dai wen xue.Kefu Song - 2013 - Beijing: Zhongguo she hui ke xue chu ban she.
    Ben shu tan tao le Song Ming li xue yu Ming dai wen xue de guan xi, bing yi ren ge feng fan wei zhong dian shen ru yan jiu le Ming dai wen xue de chuang zuo yu liu bian, jian gou le Ming dai wen xue de chuang zuo yu liu bian jian gou le Ming dai wen xue de fa zhan ti xi, dui Ming dai zhong yao zuo jia, zuo pin ti chu le du dao de (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Zhongguo zhe xue shi bian lan.Dayang Pei, Hsueh-Chih Liu & Guozhen Feng (eds.) - 1988 - Xining: Qinghai sheng xin hua shu dian fa xing.
     
    Export citation  
     
    Bookmark  
  7.  46
    Personal Growth and Well-Being in the Time of COVID: An Exploratory Mixed-Methods Analysis.Juensung J. Kim, Melanie Munroe, Zhe Feng, Stephanie Morris, Mohamed Al-Refae, Rebecca Antonacci & Michel Ferrari - 2021 - Frontiers in Psychology 12.
    The physical distancing measures necessitated by COVID-19 have resulted in a severe withdrawal from the patterns of daily life, necessitating significantly reduced contact with other people. To many, such withdrawal can be a major cause of distress. But, to some, this sort of withdrawal is an integral part of growth, a pathway to a more enriching life. The present study uses a sequential explanatory QUAN-qual design to investigate whether people who felt that their lives had changed for the better after (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  39
    Time-Frequency Analysis and Target Recognition of HRRP Based on CN-LSGAN, STFT, and CNN.Jianghua Nie, Yongsheng Xiao, Lizhen Huang & Feng Lv - 2021 - Complexity 2021:1-10.
    Aiming at the problem of radar target recognition of High-Resolution Range Profile under low signal-to-noise ratio conditions, a recognition method based on the Constrained Naive Least-Squares Generative Adversarial Network, Short-time Fourier Transform, and Convolutional Neural Network is proposed. Combining the Least-Squares Generative Adversarial Network with the Wasserstein Generative Adversarial Network with Gradient Penalty, the CN-LSGAN is presented and applied to the HRRP denoise. The frequency domain and phase features of HRRP are gained by STFT in order to facilitate feature learning (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  12
    The Critical Role of the Right Dorsal and Ventral Anterior Insula in Reciprocity: Evidence From the Trust and Ultimatum Games.Frank Krueger, Gabriele Bellucci, Pengfei Xu & Chunliang Feng - 2020 - Frontiers in Human Neuroscience 14.
  10.  64
    A Pervasive Approach to EEG-Based Depression Detection.Hanshu Cai, Jiashuo Han, Yunfei Chen, Xiaocong Sha, Ziyang Wang, Bin Hu, Jing Yang, Lei Feng, Zhijie Ding, Yiqiang Chen & Jürg Gutknecht - 2018 - Complexity 2018:1-13.
    Nowadays, depression is the world’s major health concern and economic burden worldwide. However, due to the limitations of current methods for depression diagnosis, a pervasive and objective approach is essential. In the present study, a psychophysiological database, containing 213 subjects, was constructed. The electroencephalogram signals of all participants under resting state and sound stimulation were collected using a pervasive prefrontal-lobe three-electrode EEG system at Fp1, Fp2, and Fpz electrode sites. After denoising using the Finite Impulse Response filter combining the Kalman (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  44
    Men Who Compliment a Woman's Appearance Using Metaphorical Language: Associations with Creativity, Masculinity, Intelligence and Attractiveness.Zhao Gao, Qi Yang, Xiaole Ma, Benjamin Becker, Keshuang Li, Feng Zhou & Keith M. Kendrick - 2017 - Frontiers in Psychology 8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  40
    Alterations of Spontaneous Brain Activity in Hemodialysis Patients.Hui Juan Chen, Jie Qiu, Qingqing Fu & Feng Chen - 2020 - Frontiers in Human Neuroscience 14.
  13.  9
    ‘The past no longer casts light upon the future; our minds advance in darkness’1: The impact and legacy of sir Alec clegg’s educational ideas and practices in the west riding of yorkshire.Margaret Wood, Andrew Pennington & Feng Su - 2021 - British Journal of Educational Studies 69 (3):307-326.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Topic modeling and sentiment analysis of Chinese people’s attitudes toward volunteerism amid the COVID-19 pandemic.Ruheng Yin, Jing Wu, Rui Tian & Feng Gan - 2022 - Frontiers in Psychology 13.
    The COVID-19 pandemic has created an urgent need for volunteers to complement overwhelmed public health systems. This study aims to explore Chinese people’s attitudes toward volunteerism amid the COVID-19 pandemic. To this end, we identify the latent topics in volunteerism-related microblogs on Weibo, the Chinese equivalent of Twitter using the topic modeling analysis via Latent Dirichlet Allocation. To further investigate the public sentiment toward the topics generated by LDA, we also conducted sentiment analysis on the sample posts using the open-source (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  4
    A Novel Pigeon-Inspired Optimized RBF Model for Parallel Battery Branch Forecasting.Yanhui Zhang, Shili Lin, Haiping Ma, Yuanjun Guo & Wei Feng - 2021 - Complexity 2021:1-7.
    Battery energy storage is the pivotal project of renewable energy systems reform and an effective regulator of energy flow. Parallel battery packs can effectively increase the capacity of battery modules. However, the power loss caused by the uncertainty of parallel battery branch current poses severe challenge to the economy and safety of electric vehicles. Accuracy of battery branch current prediction is needed to improve the parallel connection. This paper proposes a radial basis function neural network model based on the pigeon-inspired (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    Complex System of Vertical Baduanjin Lifting Motion Sensing Recognition under the Background of Big Data.Yan Zhang, M. M. Kamruzzaman & Lu Feng - 2021 - Complexity 2021:1-10.
    Nowadays, the development of big data is getting faster and faster, and the related research on motion sensing recognition and complex systems under the background of big data is gradually being valued. At present, there are relatively few related researches on vertical Baduanjin in the academic circles; research in this direction can make further breakthroughs in motion sensor recognition. In order to carry out related action recognition research on the lifting action of vertical Baduanjin, this paper uses sensor technology to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  11
    Network Pseudohealth Information Recognition Model: An Integrated Architecture of Latent Dirichlet Allocation and Data Block Update.Jie Zhang, Pingping Sun, Feng Zhao, Qianru Guo & Yue Zou - 2020 - Complexity 2020:1-12.
    The wanton dissemination of network pseudohealth information has brought great harm to people’s health, life, and property. It is important to detect and identify network pseudohealth information. Based on this, this paper defines the concepts of pseudohealth information, data block, and data block integration, designs an architecture that combines the latent Dirichlet allocation algorithm and data block update integration, and proposes the combination algorithm model. In addition, crawler technology is used to crawl the pseudohealth information transmitted on the Sina Weibo (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  32
    Numerical Simulation Study on Lateral Displacement of Pile Foundation and Construction Process under Stacking Loads.Yan-yan Cai, Bing-Xiong Tu, Jin Yu, Yao-Liang Zhu & Jian-Feng Zhou - 2018 - Complexity 2018:1-17.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  35
    A study of the structure of sports game for the analysis of soccer game II.Kohki Kiniwa, Ken Okihara, Mitsuhisa Shiokawa, Akira Kan, Kentaro Tai & Takeharu Ueda - 2012 - Journal of the Philosophy of Sport and Physical Education 34 (1):1-21.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20. The Green State and the Design of Self-Binding : Lessons from Monetary Policy.Åsa Knaggård & Håkan Pihl - 2015 - In Karin Backstrand & Annica Kronsell (eds.), Rethinking the green state: environmental governance towards climate and sustainability transitions. New York: Routledge, is an imprint of the Taylor & Francis Group, an Informa business.
     
    Export citation  
     
    Bookmark  
  21.  20
    Industry Reputation Crisis and Firm Certification: A Co-evolution Perspective.Yanying Chen, Liang Ping & Feng Helen Liang - 2023 - Journal of Business Ethics 186 (4):761-780.
    Industry reputation crises trigger producers and consumers to switch to certification as a signal of quality, especially in a weak institutional environment. In this paper, we posit that firm certification as a signaling mechanism involves the co-evolution of firms and consumers. We investigate the impact of industry reputation crises on firm certification as a response strategy. Feedback between producers and consumers causes producers to seek more certifications over time to differentiate themselves from competitors. However, the proliferation of certifications may dilute (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  20
    Altered vision near the hands.Richard A. Abrams, Christopher C. Davoli, Feng Du, William H. Knapp Iii & Daniel Paull - 2008 - Cognition 107 (3):1035-1047.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Feng feng hutchins.Feng Feng Hutchins - 2007 - Feminist Studies 33 (3):510-517.
     
    Export citation  
     
    Bookmark  
  24.  52
    An EEG-based mental workload estimator trained on working memory task can work well under simulated multi-attribute task.Yufeng Ke, Hongzhi Qi, Feng He, Shuang Liu, Xin Zhao, Peng Zhou, Lixin Zhang & Dong Ming - 2014 - Frontiers in Human Neuroscience 8.
  25.  12
    Empathy Modulates the Evaluation Processing of Altruistic Outcomes.Xin Liu, Xinmu Hu, Kan Shi & Xiaoqin Mai - 2018 - Frontiers in Psychology 9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26. The Relation of Parental Emotion Regulation to Child Autism Spectrum Disorder Core Symptoms: The Moderating Role of Child Cardiac Vagal Activity.Xiaoyi Hu, Zhuo Rachel Han, Hui Wang, Yannan Hu, Qiandong Wang, Shuyuan Feng & Li Yi - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Yŏkchu Oeam Yi Kan ŭi ch'ŏrhak kwa sam.Kan Yi - 2008 - Ch'ungch'ŏng-namdo Asan-si: Onyang Munhwawŏn.
     
    Export citation  
     
    Bookmark  
  28.  24
    Interval Prediction of Photovoltaic Power Using Improved NARX Network and Density Peak Clustering Based on Kernel Mahalanobis Distance.Wen-He Chen, Long-Sheng Cheng, Zhi-Peng Chang, Han-Ting Zhou, Qi-Feng Yao, Zhai-Ming Peng, Li-Qun Fu & Zong-Xiang Chen - 2022 - Complexity 2022:1-22.
    Photovoltaic power forecasting can provide strong support for the safe operation of the power system. Existing forecasting methods are ineffective for grid scheduling decisions or risk analysis. The novel multicluster interval prediction method is proposed to consider the volatility and randomness of PV power output. First, this method utilizes the sparse autoencoder and Bayesian regularized NARX network for point forecasting of PV power. Second, density peak clustering improved by kernel Mahalanobis distance is applied to classify the dataset into multiple clusters, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  19
    Effect of Exercise on the Cognitive Function of Older Patients With Type 2 Diabetes Mellitus: A Systematic Review and Meta-Analysis.Yi-Hui Cai, Zi Wang, Le-Yi Feng & Guo-Xin Ni - 2022 - Frontiers in Human Neuroscience 16.
    BackgroundAging and type 2 diabetes mellitus are important risk factors for the development of cognitive deterioration and dementia. The objective of this research was to investigate the effects of an exercise intervention on cognitive function in older T2DM patients.MethodsEight literature databases were searched from inception to 20 January 2022. The researchers examined randomized controlled trials that evaluated the impact of exercise on the cognitive performance of older T2DM patients. The Cochrane risk-of-bias tool for RCTs was used to assess each study. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  17
    The Neural Mechanisms of Cognitive Control in the Category Induction Task.Xueli Cai, Guo Li, Qinxia Liu, Feng Xiao, Youxue Zhang & Yifeng Wang - 2022 - Frontiers in Psychology 13.
    According to the conflict monitoring hypothesis, conflict monitoring and inhibitory control in cognitive control mainly cause activity in the anterior cingulate cortex and control-related prefrontal cortex in many cognitive tasks. However, the role of brain regions in the default mode network in cognitive control during category induction tasks is unclear. To test the role of the ACC, PFC, and subregions of the DMN elicited by cognitive control during category induction, a modified category induction task was performed using simultaneous fMRI scanning. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  12
    Different Roles of the Left and Right Ventrolateral Prefrontal Cortex in Cognitive Reappraisal: An Online Transcranial Magnetic Stimulation Study.Si Cheng, Xiufu Qiu, Sijin Li, Licheng Mo, Feng Xu & Dandan Zhang - 2022 - Frontiers in Human Neuroscience 16.
    The ventrolateral prefrontal cortex plays a pivotal role in cognitive reappraisal. Previous studies suggested a functional asymmetry of the bilateral VLPFC, but the evidence is still insufficient during cognitive reappraisal. In this study, we conducted an online single-pulse transcranial magnetic stimulation to investigate the causal and distinct roles of the left and right VLPFC in reappraisal. Participants were instructed to reappraise or attend to pictures depicting social exclusion scenarios while the spTMS was applied over the left or right VLPFC of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  20
    Processing Self-Related Information Under Non-attentional Conditions Revealed by Visual MMN.Sizhe Cheng, Xinhong Li, Qingchen Zhan, Yapei Wang, Yaning Guo, Wei Huang, Yang Cao, Tingwei Feng, Hui Wang, Shengjun Wu, Fei An, Xiuchao Wang, Lun Zhao & Xufeng Liu - 2022 - Frontiers in Human Neuroscience 16.
    Mismatch negativity of event-related potentials is a biomarker reflecting the preattentional change detection under non-attentional conditions. This study was performed to explore whether high self-related information could elicit MMN in the visual channel, indicating the automatic processing of self-related information at the preattentional stage. Thirty-five participants were recruited and asked to list 25 city names including the birthplace. According to the difference of relevance reported from the participants, we divided names of the different cities into high, medium, and low self-related (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  25
    Culture Change in Nursing Homes: What Is the Role of Nursing Home Resources?Latarsha Chisholm, Ning J. Zhang, Kathryn Hyer, Rohit Pradhan, Lynn Unruh & Feng-Chang Lin - 2018 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 55:004695801878704.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  16
    Teaching and learning in interprofessional ethics education: Tutors’ perspectives.Hsun-Kuei Ko, Yu-Chih Lin, Shin-Yun Wang, Min-Tao Hsu, Morgan Yordy, Pao-Feng Tsai & Hui-Ju Lin - 2023 - Nursing Ethics 30 (1):133-144.
    Background Ethical dilemmas that arise in the clinical setting often require the collaboration of multiple disciplines to be resolved. However, medical and nursing curricula do not prioritize communication among disciplines regarding this issue. A common teaching strategy, problem-based learning, could be used to enhance communication among disciplines. Therefore, a university in southern Taiwan developed an interprofessional ethics education program based on problem-based learning strategies. This study described tutors’ experience teaching in this program. Aim To explore the phenomenon of teaching and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  14
    Modis vegetation phenology metrics estimated with an enhanced timesat algorithm.Bin Tan, Jeff Morisette, Robert Wolfe, Wayne Esaias, Feng Gao, Greg Ederer, Joanne Nightingale, Jamie E. Nickeson, Pete Ma & Jeff Pedely - forthcoming - Mind.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Principles of predictive action in infancy.C. von Hofsten, P. Vishton, E. S. Spelke, K. Rosander & Q. Feng - 1998 - Cognition 76:255-285.
     
    Export citation  
     
    Bookmark  
  37. ACS Symposium Series 632: Liquid Crystalline Polymer System-Technological Advances.Q. F. Zhou, X. H. Wan, D. Zhang & X. D. Feng - forthcoming - By Isayev, Ai, Kyu, T. And Cheng, Szd, American Chemical Society, Washington, Dc.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Feng Youlan shou gao = Feng Youlan Manuscripts.Youlan Feng - 1939 - [China],:
    The collection contains published and unpublished essays, lecture transcripts, notes, poems, etc., often with handwritten edits and comments. Topics vary, with a focus on Chinese philosophy, comparison of Chinese and Western thought, contemporary intellectual and social reform movements, biographical reflections and self-criticism. The collection may reflect how 20th century political developments, especially the Cultural Revolution, impacted Feng Youlan's thought.
     
    Export citation  
     
    Bookmark  
  39. Corporate Social Responsibility, Investor Protection, and Earnings Management: Some International Evidence. [REVIEW]Hsiang-Lin Chih, Chung-Hua Shen & Feng-Ching Kang - 2008 - Journal of Business Ethics 79 (1-2):179 - 198.
    To many, recent allegations of accounting fraud (or earnings management; EM) at Enron, coupled with similar ones at many other corporations, are a strong indication of a serious decay in business ethics. In academics, this raises the concern between EM and corporate social responsibility (CSR). Since it has neither been documented, nor globally tested whether CSR mitigates or increases the extent of EM, three kinds of EM are studied: earnings smoothing, earnings aggressiveness, and earnings losses and decreases avoidance. The extents (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  40.  12
    A short history of Chinese philosophy.Youlan Feng - 1948 - New York,: Macmillan Co.. Edited by Derk Bodde.
  41.  18
    Human Freedom and the Values of the True, the Good, and the Beautiful.Feng Qi - 2023 - De Gruyter.
    This is a philosophical book about the idea of human freedom in the context of Chinese philosophy on truth, the good, and beauty. The book shows that there is a coherent and sophisticated philosophical discourse on human freedom throughout the history of Chinese Philosophy in aesthetics, ethics, and epistemology. Feng Qi discusses the development of freedom in light of the Marxist theory of practice. In the history of philosophy, the relation between thought and existence, which is fundamental to philosophy, has (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Feng Youlan xue shu wen hua sui bi.Youlan Feng - 1996 - Beijing: Xin hua shu dian jing xiao. Edited by Zhonghua Li.
  43. Matsubara Kan.Kan Matsubara (ed.) - 1972
     
    Export citation  
     
    Bookmark  
  44. The Vaiśeṣika sûtras of Kaṇâda, with the commentary of Śaṅkara Miśra and extracts from the gloss of Jayanârâyaṇa, together with notes from the commentary of Chandrakânta and an introduction by the translator. Kaṇāda - 1910 - Allahabad: Pâṇini Office. Edited by Śaṅkaramiśra, Jayanārāyaṇa Tarkapañcānana, Candrakānta tarkalaṅkāra & Nandalal Sinha.
     
    Export citation  
     
    Bookmark  
  45.  25
    Coronary stent use in New York State in the drug‐eluting stent era.Feng Qian, Edward L. Hannan, Laurent G. Glance, Charles E. Phelps, Frederick S. Ling & Peter J. Veazie - 2012 - Journal of Evaluation in Clinical Practice 18 (4):872-877.
  46. Makesi En'gesi ba feng li shi wei wu zhu yi shu xing yan jiu.Ruifang Feng - 1986 - Beijing: Xin hua shu dian Beijing fa xing suo fa xing. Edited by Shikun Li.
     
    Export citation  
     
    Bookmark  
  47. The applicability of mathematics as a scientific and a logical problem.Feng Ye - 2010 - Philosophia Mathematica 18 (2):144-165.
    This paper explores how to explain the applicability of classical mathematics to the physical world in a radically naturalistic and nominalistic philosophy of mathematics. The applicability claim is first formulated as an ordinary scientific assertion about natural regularity in a class of natural phenomena and then turned into a logical problem by some scientific simplification and abstraction. I argue that there are some genuine logical puzzles regarding applicability and no current philosophy of mathematics has resolved these puzzles. Then I introduce (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  48. Zhongguo zhe xue di jing shen: Feng Youlan wen xuan.Youlan Feng & Haitao Zhang - 1998 - Beijing: Jing xiao xin hua shu dian Beijing fa xing suo.
     
    Export citation  
     
    Bookmark  
  49.  22
    Kan Tsai-Hua, Special Class Meritorious Worker in the Huai River Project, Writes To Chairman Mao Tse-Tung.Kan Tsai-hua - 1971 - Chinese Studies in History 5 (2-3):172-173.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  20
    A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics.Feng Gao & George Tourlakis - 2015 - Bulletin of the Section of Logic 44 (3/4):131-147.
    A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer the metatheoretical results to the original logic (e.g., [1, 6, 8, 18, 10, 12]). In the first-order modal case, on one hand we know that the Gentzenisation of the straightforward first-order extension of GL, the logic QGL, admits no cut elimination (if the rule is included as primitive; (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000