Extending resource-aware logics Год выпуска: 2011Автор: Norihiro KamideИздательство: LAP Lambert Academic PublishingСтраниц: 268ISBN: 9783844324280Описание This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By resource-aware logics, we mean substructural logics without the structural rule of contraction in Gentzen-type sequent calculi. Typical examples of these resource-aware logics are linear logics, which are known to be useful for describing concurrent systems, and non-commutative logics, which are known to be useful for formalizing grammatical reasoning. These logics are known to be appropriate for representing resource-sensitive reasoning. In this book, we study (1) some temporal extensions (i.e., extensions by adding some temporal operators) of linear and non-commutative logics, (2) some generalizations of these temporal linear and non-commutative logics, (3) some paraconsistent and involutive extensions (i.e., extensions by adding a paraconsistent negation connective or an involution operator) of linear...
Похожие книги
Society for Human Resource Management, Society for Human Resource Management. 2002 Workplace Demographic Trends Survey. – М.: , 0. – 0 с. I Conference on Water Resources Planning and Management 1998 Chicago, William Whipple, United States Army Corps of Engineers, United States Environmental Protection Agency, American Water Resources Association, Conference on environme. Coordination: Water Resources and Environment : Proceedings of Special Session of Asce's 25th Annual Conference on Water Resources Planning and Management and the. – М.: , 0. – 0 с. A. Charles Rowney, Peter Stahre, Larry A. Roesner, Engineering Foundation, American Society of Civil Engineers Urban Water Resources Research cou. Sustaining Urban Water Resources in the 21st Century: Proceedings, September 7-12, 1997, Malmo, Sweden. – М.: , 0. – 0 с. NATO Advanced Study Institute On: "Water Resources and Land-Use Planni, P. and Haimes, Y.Y. Laconte, Pierre Laconte, Yacov Y. Haimes, North Atlantic Treaty Organization, NATO Advanced Study Institute. Water Resources and Land-Use Planning: A Systems Approach (NATO Advanced Study Institutes Series). – М.: , 0. – 0 с. Study Week on "Resources and Population, Paul George Demeny, Max F. Perutz, Bernardo Colombo. Resources and Population: Natural, Institutional, and Demographic Dimensions of Development (Pontificiae Academiae Scientiarum Scripta Varia ; 20). – М.: , 0. – 0 с. Yacov Y. Haimes, David A. Moser, Eugene Z. Stakhiv, Engineering Foundation, Universities Council on Water Resources, American Society of Civil Engineers Task Committee on Risk Analysis an, Engineering foundati. Risk-Based Decision Making in Water Resources VII: Proceedings of the Seventh Conference, October 8-13, 1995, Santa Barbara, California. – М.: , 0. – 0 с. World Resources. World Resources 2000-2001 People and Ecosystems: The Fraying Web of Life. – М.: , 0. – 0 с. Wallace E. Oates, Wallace, E. Oates, Resources for the Future. The REF Reader in Environmental and Resource Management. – М.: , 0. – 0 с. Information Resources Management Association. International Conference, Mehdi Khosrowpour. Managing Information Technology Resources in Organizations in the Next Millennium: 1999 Information Resources Management Association International Conference, Hershey, Pa, Usa, May 16-19, 1999. – М.: , 0. – 0 с. Society for Human Resource Management. SHRM 2004-2005 Workplace Forecast : A Strategic Outlook (SHRM Surveys series). – М.: , 2005. – 0 с. Society for Human Resource Management. SHRM Generational Differences Survey Report : A Study by the Society for Human Resource Management (SHRM Surveys series). – М.: , 2005. – 0 с. Society for Human Resource Management. SHRM Employer-Sponsored Investment Advice Survey : A Study by the Society for Human Resource Management, Employee Benefit Research Institute and WorldatWork (SHRM Surveys series). – М.: , 2005. – 0 с. America's Energy Future Panel on Electricity from Renewable Resources, National Research Council. Electricity from Renewable Resources: Status, Prospects, and Impediments (America's Energy Future). – М.: , 2010. – 293 с. HRDQ (Human Resource Development Quarterly). Human Resource Development Quarterly. – М.: , 2008. – 200 с. HRDQ (Human Resource Development Quarterly). Human Resource Development Quarterly. – М.: , 2008. – 152 с. S. Rajani and Pandurang Konnur. Usage Pattern of Print Journals V/s. Online Journals. – М.: LAP Lambert Academic Publishing, 2012. – 176 с. Norihiro Kamide. Extending resource-aware logics. – М.: LAP Lambert Academic Publishing, 2011. – 268 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
галинка спасибо вам за помощь, все защитила на 5
