Arts Research & Publications
Permanent URI for this collection
Browse
Browsing Arts Research & Publications by Issue Date
Now showing 1 - 20 of 419
Results Per Page
Sort Options
Item Open Access Сравнителен анализ на една лексико-семантична група глаголи в българския и румънския език(1979) Младенова, Олга М.; Mladenova, Olga M.Item Open Access Българо-румънски езикови отношения(1981) Алексова, Василка; Младенова, Олга М.; Aleksova, Vasilka; Mladenova, Olga M.Item Open Access Структурно-семантични и фразеологични успоредици между българския и румънския език (Към проблема за езиковата интерференция)(1982) Младенова, Олга М.; Mladenova, Olga M.Item Open Access Containing the Blast: Some Problems of the Non-proliferation Regime(St. Martin's Press Inc., 1983) Keeley, James F.Item Open Access Cast in Concrete for All Time? The Negotiation of the Auto Pact(Cambridge University Press, 1983) Keeley, James F.Item Open Access Coding Treaties: An Example from Nuclear Cooperation(Blackwell Publishing, 1985) Keeley, James F.Item Open Access Industrial Adjustment: The Case of the Canadian Auto Industry(Lorimer, 1986) Keeley, James F.Item Open Access Some Organizational Issues for Multilateral Monitoring(Carleton University, 1986) Keeley, James F.Item Open Access Български лексикални заемки чрез арумънско посредничество в новогръцки(1987) Младенова, Олга М.; Mladenova, Olga M.Item Open Access Legitimacy, Capability, Effectiveness and the Future of the NPT(Croom Helm, 1987) Keeley, James F.Item Open Access Βουργαροχώρια. Из словното богатство на неописван български диалект в Северна Гърция(1989) Младенова, Олга М.; Mladenova, Olga M.Item Open Access The Latest Wave: A Critical Review of Regime Literature(Harcourt, Brace, Jovanovich Canada, 1990) Keeley, James F.Item Open Access Toward a Foucauldian analysis of international regimes(Cambridge University Press, 1990) Keeley, James F.Item Open Access Art/ificial intelligence: a short bibliography on AI and the arts(1990-01) Zach, Richard; Widmer, Gerhard; Trappl, RobertItem Open Access The International Atomic Energy Agency and the Non-Proliferation Treaty(York University, Centre for International and Strategic Studies, 1991) Keeley, James F.Item Open Access Note on calculi for a three-valued logic for logic programming(1992) Baaz, Matthias; Zach, RichardItem Open Access On the Prefix tă /to in Romanian.(1993) Младенова, Олга М.; Mladenova, Olga M.Item Open Access Dual systems of sequents and tableaux for many-valued logics(European Association for Theoretical Computer Science, 1993-01) Baaz, Matthias; Fermüller, Christian G.; Zach, RichardThe aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are always two dual proof systems (not just only two ways to interpret the calculi). This phenomenon may easily escape one's attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and the exclusion of the opposite truth value describe the same situation.Item Open Access Are IQ scores valid for children who are poor readers?(American Psychological Association, 1993-01) Kline, Rex Bryan; Graham, Susan; Lachar, DavidItem Open Access Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report(IEEE, 1993-05-01) Baaz, Matthias; Fermüller, Christian G.; Zach, RichardWe exhibit a construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics. These systems are systematically obtained from sequent calculi, which in turn can be extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness and normal form theorems for the natural deduction systems.