Béziau, Jean-Yves Research on universal logic. Excessivity, negation, sequents. (Recherches sur la logique universelle. Excessivité, négation, séquents.) (French) Zbl 0936.03010 Paris: Univérsité Paris 7-Denis Diderot (Thèse), 179 p. (1995). MSC: 03B22 03B53 03F05 PDFBibTeX XMLCite \textit{J.-Y. Béziau}, Recherches sur la logique universelle. Excessivité, négation, séquents. Paris: Univérsité Paris 7--Denis Diderot (Thèse) (1995; Zbl 0936.03010)
Heindorf, Lutz Elementary proof theory. (Elementare Beweistheorie.) (German) Zbl 0860.03039 Mannheim: BI-Wissenschaftsverlag. 240 S. (1994). MSC: 03F03 03-01 68N17 PDFBibTeX XMLCite \textit{L. Heindorf}, Elementare Beweistheorie. Mannheim: BI-Wissenschaftsverlag (1994; Zbl 0860.03039)
Lavendhomme, R.; Lucas, Th. Sequence calculi and decision procedures for weak modal systems. (English) Zbl 0837.03042 Rapp., Sémin. Math., Louvain, Nouv. Sér. 237-244, 113-143 (1994). MSC: 03F05 03B45 03B25 PDFBibTeX XMLCite \textit{R. Lavendhomme} and \textit{Th. Lucas}, Rapp., Sémin. Math., Louvain, Nouv. Sér. 237--244, 113--143 (1994; Zbl 0837.03042)
Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo Combining type disciplines. (English) Zbl 0919.03028 Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 2. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 39, 31-70 (1994). MSC: 03B70 68Q55 03F05 PDFBibTeX XMLCite \textit{F. Cardone} et al., in: Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 2. Bahía Blanca: Universidad Nacional del Sur. 31--70 (1994; Zbl 0919.03028)
Mints, G. E. Gentzen-type systems and Hilbert’s epsilon substitution method. I. (English) Zbl 0835.03023 Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 91-122 (1994). Reviewer: O.Sonobe (Follonica) MSC: 03F05 03F30 PDFBibTeX XMLCite \textit{G. E. Mints}, Stud. Logic Found. Math. 134, 91--122 (1994; Zbl 0835.03023)
Takano, Mitio Subformula property in many-valued modal logics. (English) Zbl 0813.03014 J. Symb. Log. 59, No. 4, 1263-1273 (1994). MSC: 03B45 03B50 03F05 PDFBibTeX XMLCite \textit{M. Takano}, J. Symb. Log. 59, No. 4, 1263--1273 (1994; Zbl 0813.03014) Full Text: DOI
Royer, Véronique; Quantz, J. Joachim On intuitionistic query answering in description bases. (English) Zbl 1433.68424 Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 326-340 (1994). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{V. Royer} and \textit{J. J. Quantz}, Lect. Notes Comput. Sci. 814, 326--340 (1994; Zbl 1433.68424) Full Text: DOI
Kleine Büning, Hans; Lettmann, Theodor Propositional logic: deduction and algorithms. (Aussagenlogik: Deduktion und Algorithmen.) (German) Zbl 0809.03003 Leitfäden und Monographien der Informatik. Stuttgart: Teubner. x, 438 S. (1994). Reviewer: H.J.Ohlbach (Saarbrücken) MSC: 03B05 03B35 03-01 03-02 03-04 68Q25 68T15 PDFBibTeX XMLCite \textit{H. Kleine Büning} and \textit{T. Lettmann}, Aussagenlogik: Deduktion und Algorithmen. Stuttgart: Teubner (1994; Zbl 0809.03003)
Urbas, Igor A note on “Carnot’s logic”. (English) Zbl 0812.03014 Bull. Sect. Log., Univ. Łódź, Dep. Log. 23, No. 3, 118-125 (1994). Reviewer: I.D’Ottaviano (Campinas) MSC: 03B53 03B60 PDFBibTeX XMLCite \textit{I. Urbas}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 23, No. 3, 118--125 (1994; Zbl 0812.03014)
Martini, Simone; Masini, Andrea A modal view of linear logic. (English) Zbl 0814.03038 J. Symb. Log. 59, No. 3, 888-899 (1994). Reviewer: S.Martini (Pisa) MSC: 03F25 03F05 03B45 03B20 PDFBibTeX XMLCite \textit{S. Martini} and \textit{A. Masini}, J. Symb. Log. 59, No. 3, 888--899 (1994; Zbl 0814.03038) Full Text: DOI
Nakano, Hiroshi A constructive logic behind the catch and throw mechanism. (English) Zbl 0815.03019 Ann. Pure Appl. Logic 69, No. 2-3, 269-301 (1994). Reviewer: M.Duží (Praha) MSC: 03B70 68N15 68Q55 PDFBibTeX XMLCite \textit{H. Nakano}, Ann. Pure Appl. Logic 69, No. 2--3, 269--301 (1994; Zbl 0815.03019) Full Text: DOI
Takano, Mitio A sequent calculus for the Lesniewskian modal logic. (English) Zbl 0810.03013 Ann. Jap. Assoc. Philos. Sci. 8, No. 4, 191-201 (1994). Reviewer: Jānis Cīrulis (Riga) MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{M. Takano}, Ann. Japan Assoc. Philos. Sci. 8, No. 4, 191--201 (1994; Zbl 0810.03013) Full Text: DOI
Compton, Kevin J. Stratified least fixpoint logic. (English) Zbl 0815.03018 Theor. Comput. Sci. 131, No. 1, 95-120 (1994). Reviewer: M.Duží (Praha) MSC: 03B70 68Q60 68N17 PDFBibTeX XMLCite \textit{K. J. Compton}, Theor. Comput. Sci. 131, No. 1, 95--120 (1994; Zbl 0815.03018) Full Text: DOI Link
Hösli, Brigitte; Jäger, Gerhard About some symmetries of negation. (English) Zbl 0811.03006 J. Symb. Log. 59, No. 2, 473-485 (1994). Reviewer: H.C.M.de Swart (Tilburg) MSC: 03B20 03F05 PDFBibTeX XMLCite \textit{B. Hösli} and \textit{G. Jäger}, J. Symb. Log. 59, No. 2, 473--485 (1994; Zbl 0811.03006) Full Text: DOI Link
Fleury, Arnaud; Retoré, Christian The mix rule. (English) Zbl 0810.03004 Math. Struct. Comput. Sci. 4, No. 2, 273-285 (1994). Reviewer: R.S.Lubarsky (Lancaster) MSC: 03B20 03F07 03G30 18C10 PDFBibTeX XMLCite \textit{A. Fleury} and \textit{C. Retoré}, Math. Struct. Comput. Sci. 4, No. 2, 273--285 (1994; Zbl 0810.03004) Full Text: DOI
Ebbinghaus, H.-D.; Flum, J.; Thomas, W. Mathematical logic. Transl. from the German by Ann S. Ferebee. 2nd ed. (English) Zbl 0795.03001 Undergraduate Texts in Mathematics. New York, NY: Springer-Verlag. x, 289 p. (1994). MSC: 03-01 03B10 03B99 03C07 PDFBibTeX XMLCite \textit{H. D. Ebbinghaus} et al., Mathematical logic. Transl. from the German by Ann S. Ferebee. 2nd ed. New York, NY: Springer-Verlag (1994; Zbl 0795.03001)
Krajíček, Jan Lower bounds to the size of constant-depth propositional proofs. (English) Zbl 0798.03056 J. Symb. Log. 59, No. 1, 73-86 (1994). MSC: 03F20 03F07 03D15 68Q15 PDFBibTeX XMLCite \textit{J. Krajíček}, J. Symb. Log. 59, No. 1, 73--86 (1994; Zbl 0798.03056) Full Text: DOI
Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo Combining type disciplines. (English) Zbl 0813.03009 Ann. Pure Appl. Logic 66, No. 3, 197-230 (1994). Reviewer: N.Bernard (Le Bourget du Lac) MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{F. Cardone} et al., Ann. Pure Appl. Logic 66, No. 3, 197--230 (1994; Zbl 0813.03009) Full Text: DOI
Lambek, Joachim Logic without structural rules. (Another look at cut elimination). (English) Zbl 0941.03520 Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 170-206 (1994). MSC: 03B47 03F05 PDFBibTeX XMLCite \textit{J. Lambek}, Stud. Log. Comput. 2, 170--206 (1994; Zbl 0941.03520)
de Castro Martins, Ana Teresa; Pequeno, Tarcísio H. C. Proof-theoretical considerations about the logic of epistemic inconsistency. (English) Zbl 0849.03015 Log. Anal., Nouv. Sér. 36, No. 143-144, 245-260 (1993). MSC: 03B53 03F05 PDFBibTeX XMLCite \textit{A. T. de Castro Martins} and \textit{T. H. C. Pequeno}, Log. Anal., Nouv. Sér. 36, No. 143--144, 245--260 (1993; Zbl 0849.03015)
Béziau, Jean Yves New results and new view on the paraconsistent logic \(C1\). (Nouveaux résultats et nouveau regard sur la logique paraconsistante \(C1\).) (French) Zbl 0843.03013 Log. Anal., Nouv. Sér. 36, No. 141-142, 45-58 (1993). Reviewer: M.W.Bunder (Wollongong) MSC: 03B53 03F05 PDFBibTeX XMLCite \textit{J. Y. Béziau}, Log. Anal., Nouv. Sér. 36, No. 141--142, 45--58 (1993; Zbl 0843.03013)
Mantsivoda, A. V. \(M\)-calculus – a sequent method for automatic theorem proving. (English. Russian original) Zbl 0835.68108 Cybern. Syst. Anal. 29, No. 1, 130-136 (1993); translation from Kibern. Sist. Anal. 1993, No. 1, 163-170 (1993). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{A. V. Mantsivoda}, Cybern. Syst. Anal. 29, No. 1, 130--136 (1993; Zbl 0835.68108); translation from Kibern. Sist. Anal. 1993, No. 1, 163--170 (1993) Full Text: DOI
Stȩpień, Teodor A note on formalisations of first-order theories. (English) Zbl 0804.03003 Rep. Math. Logic 27, 19-28 (1993). MSC: 03B10 PDFBibTeX XMLCite \textit{T. Stȩpień}, Rep. Math. Logic 27, 19--28 (1993; Zbl 0804.03003)
Solitro, Ugo; Valentini, Silvio Local computation in linear logic. (English) Zbl 0799.03005 Math. Log. Q. 39, No. 2, 201-212 (1993). Reviewer: S.Valentino (Padova) MSC: 03B20 03F05 PDFBibTeX XMLCite \textit{U. Solitro} and \textit{S. Valentini}, Math. Log. Q. 39, No. 2, 201--212 (1993; Zbl 0799.03005) Full Text: DOI
Haeusler, Edward Hermann; Pereira, Luiz Carlos A formalization of Sambins’s normalization for GL. (English) Zbl 0803.03035 Math. Log. Q. 39, No. 1, 133-142 (1993). MSC: 03F05 03B45 03B35 03F30 PDFBibTeX XMLCite \textit{E. H. Haeusler} and \textit{L. C. Pereira}, Math. Log. Q. 39, No. 1, 133--142 (1993; Zbl 0803.03035) Full Text: DOI
Gilmore, Paul C. A syntactic consistency proof for NaDSet. (English) Zbl 0795.03071 Gottlob, Georg (ed.) et al., Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC ’93, Brno, Czech Republic, August 24-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 713, 190-201 (1993). MSC: 03E70 68Q55 03B70 03F05 18A15 PDFBibTeX XMLCite \textit{P. C. Gilmore}, Lect. Notes Comput. Sci. 713, 190--201 (1993; Zbl 0795.03071)
Gavilanes-Franco, A.; Lucio-Carrasco, F.; Rodríguez-Artalejo, Mario Reasoning with higher order partial functions. (English) Zbl 0840.03023 Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 167-181 (1993). MSC: 03B70 03B15 03B40 68Q60 PDFBibTeX XMLCite \textit{A. Gavilanes-Franco} et al., Lect. Notes Comput. Sci. 702, 167--181 (1993; Zbl 0840.03023)
Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin A term calculus for intuitionistic linear logic. (English) Zbl 0795.68127 Bezem, Marc (ed.) et al., Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 664, 75-90 (1993). MSC: 68Q55 03B20 03B22 03F05 PDFBibTeX XMLCite \textit{N. Benton} et al., Lect. Notes Comput. Sci. 664, 75--90 (1993; Zbl 0795.68127)
Compton, K. A deductive system for existential least fixpoint logic. (English) Zbl 0798.03030 J. Log. Comput. 3, No. 2, 197-213 (1993). Reviewer: M.Duží (Praha) MSC: 03B70 68N17 68P15 PDFBibTeX XMLCite \textit{K. Compton}, J. Log. Comput. 3, No. 2, 197--213 (1993; Zbl 0798.03030) Full Text: DOI Link
Hudelmaier, Jörg An \(O(n\;\log\;n)\)-space decision procedure for intuitionistic propositional logic. (English) Zbl 0788.03010 J. Log. Comput. 3, No. 1, 63-75 (1993). MSC: 03B25 03D15 03B20 68Q25 03F05 PDFBibTeX XMLCite \textit{J. Hudelmaier}, J. Log. Comput. 3, No. 1, 63--75 (1993; Zbl 0788.03010) Full Text: DOI
Walukiewicz, Igor Gentzen-type axiomatization for PAL. (English) Zbl 0783.68084 Theor. Comput. Sci. 118, No. 1, 67-79 (1993). Reviewer: S.Gottwald (Leipzig) MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{I. Walukiewicz}, Theor. Comput. Sci. 118, No. 1, 67--79 (1993; Zbl 0783.68084) Full Text: DOI
Bonet, Maria Luisa; Buss, Samuel R. The deduction rule and linear and near-linear proof simulations. (English) Zbl 0848.03028 J. Symb. Log. 58, No. 2, 688-709 (1993). MSC: 03F03 03F20 PDFBibTeX XMLCite \textit{M. L. Bonet} and \textit{S. R. Buss}, J. Symb. Log. 58, No. 2, 688--709 (1993; Zbl 0848.03028) Full Text: DOI
Elvang-Gøransson, Morten; Owe, Olaf A simple sequent calculus for partial functions. (English) Zbl 0791.03008 Theor. Comput. Sci. 114, No. 2, 317-330 (1993). Reviewer: H.Pfeiffer (Hannover) MSC: 03B50 03B70 68Q60 PDFBibTeX XMLCite \textit{M. Elvang-Gøransson} and \textit{O. Owe}, Theor. Comput. Sci. 114, No. 2, 317--330 (1993; Zbl 0791.03008) Full Text: DOI
Meinke, K. (ed.); Tucker, J. V. (ed.) Many-sorted logic and its applications. (English) Zbl 0781.03003 Wiley Professional Computing. Chichester: John Wiley & Sons. xvii, 397 p. (1993). Reviewer: N.Curteanu (Iaşi) MSC: 03B10 03-06 68-06 68T30 03B70 00B15 68Q60 03B45 08A70 68Q55 PDFBibTeX XMLCite \textit{K. Meinke} (ed.) and \textit{J. V. Tucker} (ed.), Many-sorted logic and its applications. Chichester: John Wiley \& Sons (1993; Zbl 0781.03003)
Wansing, Heinrich Functional completeness for subsystems of intuitionistic propositional logic. (English) Zbl 0776.03003 J. Philos. Log. 22, No. 3, 303-321 (1993). Reviewer: H.Wansing (Hamburg) MSC: 03B20 03F05 PDFBibTeX XMLCite \textit{H. Wansing}, J. Philos. Log. 22, No. 3, 303--321 (1993; Zbl 0776.03003) Full Text: DOI
Gallier, Jean Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi. (English) Zbl 0772.03026 Theor. Comput. Sci. 110, No. 2, 249-339 (1993). Reviewer: C.Berline (Paris) MSC: 03F03 03B20 03B40 03B70 03-01 PDFBibTeX XMLCite \textit{J. Gallier}, Theor. Comput. Sci. 110, No. 2, 249--339 (1993; Zbl 0772.03026) Full Text: DOI
Moshier, M. Andrew On completeness theorems for feature logics. (English) Zbl 0866.03027 Ann. Math. Artif. Intell. 8, No. 1-2, 175-213 (1993). MSC: 03F03 68T27 03B65 03F05 PDFBibTeX XMLCite \textit{M. A. Moshier}, Ann. Math. Artif. Intell. 8, No. 1--2, 175--213 (1993; Zbl 0866.03027) Full Text: DOI
Cellucci, Carlo Existential instantiation and normalization in sequent natural deduction. (English) Zbl 0766.03032 Ann. Pure Appl. Logic 58, No. 2, 111-148 (1992). Reviewer: M.Yasuhara (Princeton) MSC: 03F05 03B10 03F03 03F07 PDFBibTeX XMLCite \textit{C. Cellucci}, Ann. Pure Appl. Logic 58, No. 2, 111--148 (1992; Zbl 0766.03032) Full Text: DOI
Andreoli, Jean-Marc Logic programming with focusing proofs in linear logic. (English) Zbl 0764.03020 J. Log. Comput. 2, No. 3, 297-347 (1992). MSC: 03F05 03B20 68N17 03B70 68Q10 PDFBibTeX XMLCite \textit{J.-M. Andreoli}, J. Log. Comput. 2, No. 3, 297--347 (1992; Zbl 0764.03020) Full Text: DOI Link
Ungar, A. M. Normalization, cut-elimination and the theory of proofs. (English) Zbl 0866.03028 CSLI Lecture Notes. 28. Stanford, CA: CSLI, Center for the Study of Language and Information, Stanford Univ. vi, 236 p. (1992). Reviewer: B.Boričić (Heraklion) MSC: 03F05 03-02 03A05 03F07 PDFBibTeX XMLCite \textit{A. M. Ungar}, Normalization, cut-elimination and the theory of proofs. Stanford, CA: CSLI, Center for the Study of Language and Information, Stanford Univ. (1992; Zbl 0866.03028)
Wansing, Heinrich Theodor The logic of information structures. (English) Zbl 0804.03019 Berlin: FU Berlin, FB Philosophie u. Sozialwiss. I, iii, 165 p. (1992). MSC: 03B80 68P15 68P20 03B40 03F05 03B20 PDFBibTeX XMLCite \textit{H. T. Wansing}, The logic of information structures. Berlin: FU Berlin, FB Philosophie u. Sozialwiss. I (1992; Zbl 0804.03019)
Prijatelj, Andreja Lambek calculus with restricted contraction and expansion. (English) Zbl 0757.03015 Stud. Log. 51, No. 1, 125-143 (1992). MSC: 03B99 03F05 PDFBibTeX XMLCite \textit{A. Prijatelj}, Stud. Log. 51, No. 1, 125--143 (1992; Zbl 0757.03015) Full Text: DOI
Abrusci, Vito Michele Mathematical logic. Introductory course. (Logica matematica. Corso introduttivo.) (Italian) Zbl 0764.03001 Bari: Edizioni Fratelli Laterza, 187 p. (1992). Reviewer: A.Ursini (Siena) MSC: 03-01 PDFBibTeX XMLCite \textit{V. M. Abrusci}, Logica matematica. Corso introduttivo (Italian). Bari: Edizioni Fratelli Laterza (1992; Zbl 0764.03001)
D’Agostino, Marcello Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence. (English) Zbl 0793.03059 J. Logic Lang. Inf. 1, No. 3, 235-252 (1992). MSC: 03F05 03B35 03D15 PDFBibTeX XMLCite \textit{M. D'Agostino}, J. Logic Lang. Inf. 1, No. 3, 235--252 (1992; Zbl 0793.03059) Full Text: DOI
Eder, Elmar Relative complexities of first order calculi. (English) Zbl 0749.03006 Artificial Intelligence. Wiesbaden: Vieweg. 173 p. (1992). Reviewer: H.J.Ohlbach (Saarbrücken) MSC: 03B35 68T15 68Q25 03-02 PDFBibTeX XMLCite \textit{E. Eder}, Relative complexities of first order calculi. Wiesbaden: Vieweg (1992; Zbl 0749.03006)
Takeuti, Gaisi; Titani, Satoko Fuzzy logic and fuzzy set theory. (English) Zbl 0786.03039 Arch. Math. Logic 32, No. 1, 1-32 (1992). Reviewer: S.Gottwald (Leipzig) MSC: 03E72 03B50 03B52 PDFBibTeX XMLCite \textit{G. Takeuti} and \textit{S. Titani}, Arch. Math. Logic 32, No. 1, 1--32 (1992; Zbl 0786.03039) Full Text: DOI
Olivetti, Nicola Tableaux and sequent calculus for minimal entailment. (English) Zbl 0795.03033 J. Autom. Reasoning 9, No. 1, 99-139 (1992). Reviewer: C.Witteveen (Delft) MSC: 03B60 03F05 PDFBibTeX XMLCite \textit{N. Olivetti}, J. Autom. Reasoning 9, No. 1, 99--139 (1992; Zbl 0795.03033) Full Text: DOI
Hallnäs, Lars On systems of definitions, induction and recursion. (English) Zbl 0786.03028 BIT 32, No. 1, 45-63 (1992). Reviewer: R.S.Lubarsky (Lancaster) MSC: 03D70 PDFBibTeX XMLCite \textit{L. Hallnäs}, BIT 32, No. 1, 45--63 (1992; Zbl 0786.03028) Full Text: DOI
Wainer, S. S.; Wallen, L. A. Basic proof theory. (English) Zbl 0793.03056 Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 3-26 (1992). MSC: 03F03 03-01 03F05 03F30 PDFBibTeX XMLCite \textit{S. S. Wainer} and \textit{L. A. Wallen}, in: Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 3--26 (1992; Zbl 0793.03056)
Schmerl, U. R. A cut-elimination procedure designed for evaluating proofs as programs. (English) Zbl 0783.03013 Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 316-325 (1992). Reviewer: N.Curteanu (Iaşi) MSC: 03B70 03F05 68T20 PDFBibTeX XMLCite \textit{U. R. Schmerl}, Lect. Notes Comput. Sci. 626, 316--325 (1992; Zbl 0783.03013)
Sahlin, Dan; Franzén, Torkel; Haridi, Seif An intuitionistic predicate logic theorem prover. (English) Zbl 0786.03010 J. Log. Comput. 2, No. 5, 619-656 (1992). Reviewer: E.Melis (Pittsburgh) MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{D. Sahlin} et al., J. Log. Comput. 2, No. 5, 619--656 (1992; Zbl 0786.03010) Full Text: DOI Link
Maddux, Roger D. Relation algebras of every dimension. (English) Zbl 0778.03022 J. Symb. Log. 57, No. 4, 1213-1229 (1992). Reviewer: R.Maddux (Ames) MSC: 03G15 03F20 PDFBibTeX XMLCite \textit{R. D. Maddux}, J. Symb. Log. 57, No. 4, 1213--1229 (1992; Zbl 0778.03022) Full Text: DOI
Masini, Andrea 2-sequent calculus: A proof theory of modalities. (English) Zbl 0819.03045 Ann. Pure Appl. Logic 58, No. 3, 229-246 (1992). MSC: 03F03 03F05 03B45 PDFBibTeX XMLCite \textit{A. Masini}, Ann. Pure Appl. Logic 58, No. 3, 229--246 (1992; Zbl 0819.03045) Full Text: DOI
Pliuškevičius, Regimantas Design complete sequential calculus for continuous fixpoint temporal logic. (English) Zbl 0915.03015 Pearce, David (ed.) et al., Logics in AI. European workshop JELIA ’92. Berlin, Germany, September 7–10, 1992. Berlin: Springer. Lect. Notes Comput. Sci. 633, 36-51 (1992). MSC: 03B45 03F05 03B70 PDFBibTeX XMLCite \textit{R. Pliuškevičius}, Lect. Notes Comput. Sci. 633, 36--51 (1992; Zbl 0915.03015)
Ono, Hiroakira Algebraic aspect of logics without structural rules. (English) Zbl 0778.03003 Algebra, Proc. Int. Conf. Memory A. I. Mal’cev, Novosibirsk/USSR 1989, Contemp. Math. 131, Pt. 3, 601-621 (1992). MSC: 03B20 03F05 03B60 03G25 PDFBibTeX XMLCite \textit{H. Ono}, Contemp. Math. 131, 601--621 (1992; Zbl 0778.03003)
Hallnäs, Lars Models of partial inductive definitions. (English) Zbl 0786.03029 Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 365-384 (1991). Reviewer: R.S.Lubarsky (Lancaster) MSC: 03D70 PDFBibTeX XMLCite \textit{L. Hallnäs}, in: Logical frameworks. Proceedings of the first annual workshop ''Logical frameworks: design, implementation and experiment'', held in Sophia- Antipolis, France, May 7-11, 1990. Cambridge etc.: Cambridge University Press. 365--384 (1991; Zbl 0786.03029)
Lucas, Thierry Monotone modality and the \(T\)- scheme. (Modalité monotone et schéma \(T\).) (French) Zbl 0799.03012 Logique Anal., Nouv. Sér. 34, No. 133-134, 151-158 (1991). MSC: 03B45 PDFBibTeX XMLCite \textit{T. Lucas}, Log. Anal., Nouv. Sér. 34, No. 133--134, 151--158 (1991; Zbl 0799.03012)
Kiriyama, Eiji; Arikawa, Setsuo; Ono, Hiroakira A computational complexity of decision procedure for the intuitionistic logic without weakening rule. (Japanese. English summary) Zbl 0749.03004 Eng. Sci. Rep., Kyushu Univ. 13, No. 2, 205-212 (1991). MSC: 03B25 03D15 PDFBibTeX XMLCite \textit{E. Kiriyama} et al., Eng. Sci. Rep., Kyushu Univ. 13, No. 2, 205--212 (1991; Zbl 0749.03004)
Courcelle, Bruno (ed.) Logic and computer science: an introduction. (Logique et informatique: une introduction. Avant propos de Maurice Nivat.) (French) Zbl 0746.03003 Collection Didactique. 8. Rocquencourt: INRIA. 257 p. (1991). Reviewer: C.Masalagiu (Iaşi) MSC: 03-06 00B15 68-06 03-02 68-02 68Q55 03B25 03F05 03F35 03B40 03B70 68Q60 68N17 03B20 03D15 PDFBibTeX XMLCite \textit{B. Courcelle} (ed.), Logique et informatique: une introduction. Avant propos de Maurice Nivat. Rocquencourt: INRIA (1991; Zbl 0746.03003)
Schroeder-Heister, Peter (ed.) Extensions of logic programming. International workshop, Tübingen, FRG, 8–10 December 1989. Proceedings. (English) Zbl 0770.68025 Lecture Notes in Computer Science 475. Berlin etc.: Springer-Verlag (ISBN 3-540-53590-X). VIII, 364 p. (1991). Reviewer: Jiří Zlatuška (Brno) MSC: 68-06 68T15 03-06 03F05 03F07 03F20 03F30 03F55 03F65 03F99 03B25 03B10 03B15 PDFBibTeX XMLCite \textit{P. Schroeder-Heister} (ed.), Extensions of logic programming. International workshop, Tübingen, FRG, 8--10 December 1989. Proceedings. Berlin etc.: Springer-Verlag (1991; Zbl 0770.68025) Full Text: DOI
Holden, Marit Weak logic theory. (English) Zbl 0724.03020 Theor. Comput. Sci. 79, No. 2, 295-321 (1991). Reviewer: L.Brim (Brno) MSC: 03B70 68Q60 03F05 PDFBibTeX XMLCite \textit{M. Holden}, Theor. Comput. Sci. 79, No. 2, 295--321 (1991; Zbl 0724.03020) Full Text: DOI
Vauzeilles, J.; Strauss, A. Intuitionistic three-valued logic and logic programming. (English) Zbl 0771.68084 RAIRO, Inform. Théor. Appl. 25, No. 6, 557-587 (1991). MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{J. Vauzeilles} and \textit{A. Strauss}, RAIRO, Inform. Théor. Appl. 25, No. 6, 557--587 (1991; Zbl 0771.68084) Full Text: DOI EuDML
Stärk, Robert F. A complete axiomatization of the three-valued completion of logic programs. (English) Zbl 0738.68017 J. Log. Comput. 1, No. 6, 811-834 (1991). MSC: 68N17 03B50 PDFBibTeX XMLCite \textit{R. F. Stärk}, J. Log. Comput. 1, No. 6, 811--834 (1991; Zbl 0738.68017) Full Text: DOI Link
Barba Escriba, Juan A multidimensional modal translation for a formal system motivated by situation semantics. (English) Zbl 0748.03014 Notre Dame J. Formal Logic 32, No. 4, 598-608 (1991). Reviewer: G.Priest (Brisbane) MSC: 03B45 PDFBibTeX XMLCite \textit{J. Barba Escriba}, Notre Dame J. Formal Logic 32, No. 4, 598--608 (1991; Zbl 0748.03014) Full Text: DOI
Abrusci, V. Michele Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. (English) Zbl 0746.03044 J. Symb. Log. 56, No. 4, 1403-1451 (1991). Reviewer: H.Pfeiffer (Hannover) MSC: 03F05 03B70 03B20 03F07 PDFBibTeX XMLCite \textit{V. M. Abrusci}, J. Symb. Log. 56, No. 4, 1403--1451 (1991; Zbl 0746.03044) Full Text: DOI
Tanaka, Kazuyuki A note on the proof method for constructive falsity. (English) Zbl 0741.03026 Z. Math. Logik Grundlagen Math. 37, No. 1, 63-64 (1991). Reviewer: B.Boričić (Beograd) MSC: 03F05 03B20 03B60 PDFBibTeX XMLCite \textit{K. Tanaka}, Z. Math. Logik Grundlagen Math. 37, No. 1, 63--64 (1991; Zbl 0741.03026) Full Text: DOI
Allen, Bill Arithmetizing uniform \(NC\). (English) Zbl 0741.03019 Ann. Pure Appl. Logic 53, No. 1, 1-50 (1991). Reviewer: A.Leitsch (Wien) MSC: 03D15 03F30 68Q15 PDFBibTeX XMLCite \textit{B. Allen}, Ann. Pure Appl. Logic 53, No. 1, 1--50 (1991; Zbl 0741.03019) Full Text: DOI
Legris, Javier An epistemic interpretation of intuitionistic logic. (Eine epistemische Interpretation der intuitionistischen Logik.) (German) Zbl 0744.03010 Unipress: Reihe Philosophie. 6. Würzburg, Regensburg: Königshausen u. Neumann, Univ. Regensburg. 138 S. (1990). Reviewer: W.Lenzen (Osnabrück) MSC: 03B20 03A05 PDFBibTeX XMLCite \textit{J. Legris}, Eine epistemische Interpretation der intuitionistischen Logik. Würzburg: Königshausen u. Neumann; Regensburg: Univ. Regensburg (1990; Zbl 0744.03010)
Hudelmaier, Jörg Bounds for cut elimination in intuitionistic propositional logic. (English) Zbl 0767.03029 Tübingen: Univ. Tübingen, 36 p. (1990). Reviewer: H.Schwichtenberg (München) MSC: 03F05 03B20 03F07 03B25 03F20 PDFBibTeX XMLCite \textit{J. Hudelmaier}, Bounds for cut elimination in intuitionistic propositional logic. Tübingen: Univ. Tübingen (1990; Zbl 0767.03029)
Scedrov, A. A brief guide to linear logic. (English) Zbl 0755.03005 Bull. EATCS 41, 154-165 (1990). Reviewer: Li Xiang (Guiyang) MSC: 03B20 68Q99 68T27 03F05 PDFBibTeX XMLCite \textit{A. Scedrov}, Bull. EATCS 41, 154--165 (1990; Zbl 0755.03005)
Gavilanes-Franco, Antonio A first-order logic for partial recursive functions. (English) Zbl 0732.03026 Mathematical foundations of computer science, Proc. 15th Symp., MFCS ’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 277-284 (1990). MSC: 03B70 03D20 03F05 68Q55 PDFBibTeX XML
Abrusci, V. Michele A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. (English) Zbl 0719.03005 Z. Math. Logik Grundlagen Math. 36, No. 1, 11-15 (1990). Reviewer: O.Štěpánková (Praha) MSC: 03B20 PDFBibTeX XMLCite \textit{V. M. Abrusci}, Z. Math. Logik Grundlagen Math. 36, No. 1, 11--15 (1990; Zbl 0719.03005) Full Text: DOI
Gavilanes-Franco, Antonio; Lucio-Carrasco, Francisca A first order logic for partial functions. (English) Zbl 0707.03021 Theor. Comput. Sci. 74, No. 1, 37-69 (1990). Reviewer: S.Miura MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{A. Gavilanes-Franco} and \textit{F. Lucio-Carrasco}, Theor. Comput. Sci. 74, No. 1, 37--69 (1990; Zbl 0707.03021) Full Text: DOI
Beeson, Michael Some theories conservative over intuitionistic arithmetic. (English) Zbl 0701.03033 Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 1-15 (1990). Reviewer: W.Veldman MSC: 03F50 03F05 PDFBibTeX XML
Yetter, David N. Quantales and (noncommutative) linear logic. (English) Zbl 0701.03026 J. Symb. Log. 55, No. 1, 41-64 (1990). Reviewer: G.Mints MSC: 03F05 18A15 03B45 03G30 06B23 06F05 PDFBibTeX XMLCite \textit{D. N. Yetter}, J. Symb. Log. 55, No. 1, 41--64 (1990; Zbl 0701.03026) Full Text: DOI
Akama, Seiki Subformula semantics for strong negation systems. (English) Zbl 0693.03004 J. Philos. Logic 19, No. 2, 217-226 (1990). MSC: 03B20 03C90 03F05 PDFBibTeX XMLCite \textit{S. Akama}, J. Philos. Log. 19, No. 2, 217--226 (1990; Zbl 0693.03004) Full Text: DOI
Ono, Hiroakira Structural rules and a logical hierarchy. (English) Zbl 0790.03007 Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 95-104 (1990). Reviewer: Y.Komori (Ohya / Shizuoka) MSC: 03B20 03B40 03F05 PDFBibTeX XMLCite \textit{H. Ono}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 95--104 (1990; Zbl 0790.03007)
Lucio-Carrasco, Francisca; Gavilanes-Franco, Antonio A first order logic for partial functions (extended abstract). (English) Zbl 1492.03012 Monien, Burkhard (ed.) et al., STACS 89. 6th annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16–18, 1989. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 349, 47-58 (1989). MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{F. Lucio-Carrasco} and \textit{A. Gavilanes-Franco}, Lect. Notes Comput. Sci. 349, 47--58 (1989; Zbl 1492.03012) Full Text: DOI
Gottwald, Siegfried Mehrwertige Logik: Eine Einführung in Theorie und Anwendungen. (Many- valued logic: An introduction into theory and applications). (German) Zbl 0714.03022 Logica Nova. Berlin: Akademie-Verlag. x, 375 S. DM 42.00 (1989). Reviewer: A.Hoogewijs MSC: 03B50 03B52 03-01 PDFBibTeX XMLCite \textit{S. Gottwald}, Mehrwertige Logik: Eine Einführung in Theorie und Anwendungen. (Many- valued logic: An introduction into theory and applications). Berlin: Akademie-Verlag (1989; Zbl 0714.03022)
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves Proofs and types. (English) Zbl 0671.68002 Cambridge Tracts in Theoretical Computer Science, 7. Cambridge etc.: Univ. Press. XI, 176 p. £17.50 (1989). Reviewer: G.Vorobyov MSC: 68-02 03B15 03B40 03F05 03-02 03B70 03F07 03F10 03F35 PDFBibTeX XMLCite \textit{J.-Y. Girard} et al., Proofs and types. Cambridge etc.: Univ. Press (1989; Zbl 0671.68002)
Curien, Pierre-Louis Alpha conversion, conditions on variables and categorical logic. (English) Zbl 0701.03036 Stud. Log. 48, No. 3, 319-360 (1989). MSC: 03G30 03B40 03F03 03F05 PDFBibTeX XMLCite \textit{P.-L. Curien}, Stud. Log. 48, No. 3, 319--360 (1989; Zbl 0701.03036) Full Text: DOI
Solitro, Ugo A typed calculus based on a fragment of linear logic. (English) Zbl 0694.03035 Theor. Comput. Sci. 68, No. 3, 333-342 (1989). Reviewer: V.Yu.Sazonov MSC: 03F05 03B40 PDFBibTeX XMLCite \textit{U. Solitro}, Theor. Comput. Sci. 68, No. 3, 333--342 (1989; Zbl 0694.03035) Full Text: DOI
Vakarelov, D. Consistency, completeness and negation. (English) Zbl 0692.03016 Paraconsistent logic, Essays on the inconsistent, 328-363 (1989). Reviewer: G.Priest MSC: 03B60 PDFBibTeX XML
Sazonov, V. Yu. The collection principle and the existential quantifier. (English. Russian original) Zbl 0671.03035 Transl., Ser. 2, Am. Math. Soc. 142, 1-8 (1989); translation from Vychisl. Sist. 107, 30-39 (1985). MSC: 03F05 PDFBibTeX XMLCite \textit{V. Yu. Sazonov}, Transl., Ser. 2, Am. Math. Soc. 142, 1--8 (1989; Zbl 0671.03035); translation from Vychisl. Sist. 107, 30--39 (1985) Full Text: DOI
Previale, Flavio Counterexamples to the cut-elimination property and to the consistency of pure logic. (Italian) Zbl 0733.03042 Mathematical foundations, Proc. Meet., Siena/Italy 1987, Atti Incontri Logica Mat. 4, 115-119 (1988). Reviewer: A.Ursini (Siena) MSC: 03F05 PDFBibTeX XML
Corsi, Giovanna On Dummett’s LC quantified. (English) Zbl 0725.03034 Mathematical foundations, Proc. Meet., Siena/Italy 1987, Atti Incontri Logica Mat. 4, 55-58 (1988). MSC: 03F05 03B55 PDFBibTeX XML
Kuzichev, A. A.; Kuzichev, A. S. A conservative extension of a formal arithmetic. (English. Russian original) Zbl 0689.03006 Mosc. Univ. Math. Bull. 43, No. 6, 56-58 (1988); translation from Vestn. Mosk. Univ., Ser. I 1988, No. 6, 77-78 (1988). Reviewer: M.W.Bunder MSC: 03B40 PDFBibTeX XMLCite \textit{A. A. Kuzichev} and \textit{A. S. Kuzichev}, Mosc. Univ. Math. Bull. 43, No. 6, 56--58 (1988; Zbl 0689.03006); translation from Vestn. Mosk. Univ., Ser. I 1988, No. 6, 77--78 (1988)
Došen, Kosta Sequent-systems and groupoid models. I. (English) Zbl 0671.03018 Stud. Log. 47, No. 4, 353-385 (1988). Reviewer: V.Shekhtman MSC: 03B60 03B45 03F05 PDFBibTeX XMLCite \textit{K. Došen}, Stud. Log. 47, No. 4, 353--385 (1988; Zbl 0671.03018) Full Text: DOI
Boričić, Branislav R. A note on sequent calculi intermediate between LJ and LK. (English) Zbl 0664.03020 Stud. Log. 47, No. 2, 151-157 (1988). Reviewer: B.R.Boričić MSC: 03B55 03F05 PDFBibTeX XMLCite \textit{B. R. Boričić}, Stud. Log. 47, No. 2, 151--157 (1988; Zbl 0664.03020) Full Text: DOI
Maeda, Mikio; Murakami, Shuta A design for a fuzzy logic controller. (English) Zbl 0662.93004 Inf. Sci. 45, No. 2, 315-330 (1988). Reviewer: W.Pedrycz MSC: 93A99 93B30 94D05 PDFBibTeX XMLCite \textit{M. Maeda} and \textit{S. Murakami}, Inf. Sci. 45, No. 2, 315--330 (1988; Zbl 0662.93004) Full Text: DOI
Akama, Seiki On the proof method for constructive falsity. (English) Zbl 0662.03049 Z. Math. Logik Grundlagen Math. 34, No. 5, 385-392 (1988). Reviewer: B.R.Boričić MSC: 03F05 03B60 03B20 PDFBibTeX XMLCite \textit{S. Akama}, Z. Math. Logik Grundlagen Math. 34, No. 5, 385--392 (1988; Zbl 0662.03049) Full Text: DOI
Krajíček, Jan; Pudlák, Pavel The number of proof lines and the size of proofs in first order logic. (English) Zbl 0644.03032 Arch. Math. Logic 27, No. 1, 69-84 (1988). Reviewer: S.Artemov MSC: 03F20 03F07 PDFBibTeX XMLCite \textit{J. Krajíček} and \textit{P. Pudlák}, Arch. Math. Logic 27, No. 1, 69--84 (1988; Zbl 0644.03032) Full Text: DOI
Dragalin, A. G. A completeness theorem for higher-order intuitionistic logic: An intuitionistic proof. (English) Zbl 0703.03039 Mathematical logic and its applications, Proc. Adv. Int. Summer Sch. Conf., Druzhba/Bulg. 1986, 107-124 (1987). Reviewer: B.Boričić MSC: 03F50 03B15 03B20 03F55 03F05 PDFBibTeX XML
Izumi, K.; Tanaka, H.; Asai, K. Adjoint fuzzy systems based on L-fuzzy logic and their application. (English) Zbl 0661.93004 Analysis of fuzzy information, Vol. 1: Math. logic, 231-239 (1987). Reviewer: W.Pedrycz MSC: 93A99 03B52 94D05 PDFBibTeX XML
Tennant, Neil Natural deduction and sequent calculus for intuitionistic relevant logic. (English) Zbl 0652.03010 J. Symb. Log. 52, 665-680 (1987). Reviewer: S.Giambrone MSC: 03B45 03F55 PDFBibTeX XMLCite \textit{N. Tennant}, J. Symb. Log. 52, 665--680 (1987; Zbl 0652.03010) Full Text: DOI
Girard, J. Y.; Lafont, Y. Linear logic and lazy computation. (English) Zbl 0647.03016 TAPSOFT ’87, Proc. Int. Conf. Software development, Pisa/Italy 1987, Vol. 2: Functional and logic programming and specifications, Lect. Notes Comput. Sci. 250, 52-66 (1987). MSC: 03B70 03B40 68N01 03F05 PDFBibTeX XML
White, Richard B. A demonstrably consistent type-free extension of the logic BCK. (English) Zbl 0646.03019 Math. Jap. 32, 149-169 (1987). Reviewer: C.F.Kielkopf MSC: 03B60 03E35 03E70 PDFBibTeX XMLCite \textit{R. B. White}, Math. Japon. 32, 149--169 (1987; Zbl 0646.03019)
Miller, Dale A. A compact representation of proofs. (English) Zbl 0644.03033 Stud. Log. 46, 347-370 (1987). Reviewer: P.Štěpánek MSC: 03F20 03B35 03B15 PDFBibTeX XMLCite \textit{D. A. Miller}, Stud. Log. 46, 347--370 (1987; Zbl 0644.03033) Full Text: DOI
Okada, Mitsuhiro A weak intuitionistic propositional logic with purely constructive implication. (English) Zbl 0644.03005 Stud. Log. 46, 371-382 (1987). Reviewer: B.R.Boričić MSC: 03B20 03F05 03B45 PDFBibTeX XMLCite \textit{M. Okada}, Stud. Log. 46, 371--382 (1987; Zbl 0644.03005) Full Text: DOI
Gordeev, L. On cut elimination in the presence of Peirce rule. (English) Zbl 0639.03059 Arch. Math. Logik Grundlagenforsch. 26, 147-164 (1987). Reviewer: O.Sonobe MSC: 03F05 03F20 03B10 PDFBibTeX XMLCite \textit{L. Gordeev}, Arch. Math. Logik Grundlagenforsch. 26, 147--164 (1987; Zbl 0639.03059) Full Text: DOI EuDML