Arts Research & Publications
Permanent URI for this collection
Browse
Browsing Arts Research & Publications by Issue Date
Now showing 1 - 20 of 407
Results Per Page
Sort Options
- ItemOpen AccessСравнителен анализ на една лексико-семантична група глаголи в българския и румънския език(1979) Младенова, Олга М.; Mladenova, Olga M.
- ItemOpen AccessБългаро-румънски езикови отношения(1981) Алексова, Василка; Младенова, Олга М.; Aleksova, Vasilka; Mladenova, Olga M.
- ItemOpen AccessСтруктурно-семантични и фразеологични успоредици между българския и румънския език (Към проблема за езиковата интерференция)(1982) Младенова, Олга М.; Mladenova, Olga M.
- ItemOpen AccessContaining the Blast: Some Problems of the Non-proliferation Regime(St. Martin's Press Inc., 1983) Keeley, James F.
- ItemOpen AccessCast in Concrete for All Time? The Negotiation of the Auto Pact(Cambridge University Press, 1983) Keeley, James F.
- ItemOpen AccessCoding Treaties: An Example from Nuclear Cooperation(Blackwell Publishing, 1985) Keeley, James F.
- ItemOpen AccessSome Organizational Issues for Multilateral Monitoring(Carleton University, 1986) Keeley, James F.
- ItemOpen AccessIndustrial Adjustment: The Case of the Canadian Auto Industry(Lorimer, 1986) Keeley, James F.
- ItemOpen AccessБългарски лексикални заемки чрез арумънско посредничество в новогръцки(1987) Младенова, Олга М.; Mladenova, Olga M.
- ItemOpen AccessLegitimacy, Capability, Effectiveness and the Future of the NPT(Croom Helm, 1987) Keeley, James F.
- ItemOpen AccessΒουργαροχώρια. Из словното богатство на неописван български диалект в Северна Гърция(1989) Младенова, Олга М.; Mladenova, Olga M.
- ItemOpen AccessToward a Foucauldian analysis of international regimes(Cambridge University Press, 1990) Keeley, James F.
- ItemOpen AccessThe Latest Wave: A Critical Review of Regime Literature(Harcourt, Brace, Jovanovich Canada, 1990) Keeley, James F.
- ItemOpen AccessArt/ificial intelligence: a short bibliography on AI and the arts(1990-01) Zach, Richard; Widmer, Gerhard; Trappl, Robert
- ItemOpen AccessThe International Atomic Energy Agency and the Non-Proliferation Treaty(York University, Centre for International and Strategic Studies, 1991) Keeley, James F.
- ItemOpen AccessNote on calculi for a three-valued logic for logic programming(1992) Baaz, Matthias; Zach, Richard
- ItemOpen AccessOn the Prefix tă /to in Romanian.(1993) Младенова, Олга М.; Mladenova, Olga M.
- ItemOpen AccessDual 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.
- ItemOpen AccessAre IQ scores valid for children who are poor readers?(American Psychological Association, 1993-01) Kline, Rex Bryan; Graham, Susan; Lachar, David
- ItemOpen AccessSystematic 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.