Francez, Nissim; Kaminski, Michael Structural rules for multi-valued logics. (English) Zbl 07061142 Log. Univers. 13, No. 1, 65-75 (2019). MSC: 03F03 03B22 PDF BibTeX XML Cite \textit{N. Francez} and \textit{M. Kaminski}, Log. Univers. 13, No. 1, 65--75 (2019; Zbl 07061142) Full Text: DOI
Wu, Hongbo; Liang, Ying The properties of closed theories with its application in the formal deductive system \({\mathscr{L}^*}\). (Chinese. English summary) Zbl 1413.03005 Acta Math. Sin., Chin. Ser. 61, No. 1, 123-134 (2018). MSC: 03B52 03B22 03G25 PDF BibTeX XML Cite \textit{H. Wu} and \textit{Y. Liang}, Acta Math. Sin., Chin. Ser. 61, No. 1, 123--134 (2018; Zbl 1413.03005)
Citkin, Alex Hereditarily structurally complete superintuitionistic deductive systems. (English) Zbl 1439.03067 Stud. Log. 106, No. 4, 827-856 (2018). Reviewer: Valery Plisko (Moskva) MSC: 03B55 03B20 PDF BibTeX XML Cite \textit{A. Citkin}, Stud. Log. 106, No. 4, 827--856 (2018; Zbl 1439.03067) Full Text: DOI arXiv
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek A characterisation of some \(\mathbf{Z}\)-like logics. (English) Zbl 06913953 Log. Univers. 12, No. 1-2, 207-219 (2018). MSC: 03B53 03B45 03B22 PDF BibTeX XML Cite \textit{K. Mruczek-Nasieniewska} and \textit{M. Nasieniewski}, Log. Univers. 12, No. 1--2, 207--219 (2018; Zbl 06913953) Full Text: DOI
Cintula, Petr; Noguera, Carles Implicational (semilinear) logics. III: Completeness properties. (English) Zbl 06860720 Arch. Math. Logic 57, No. 3-4, 391-420 (2018). MSC: 03B22 03B47 03B52 03G99 PDF BibTeX XML Cite \textit{P. Cintula} and \textit{C. Noguera}, Arch. Math. Logic 57, No. 3--4, 391--420 (2018; Zbl 06860720) Full Text: DOI
Milne, Peter Classical logic through the looking-glass. (English) Zbl 1410.03009 Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications. 133-156 (2016). MSC: 03B10 03B50 03B22 PDF BibTeX XML Cite \textit{P. Milne}, in: The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15--19, 2015. London: College Publications. 133--156 (2016; Zbl 1410.03009)
Echenim, Mnacho; Peltier, Nicolas A superposition calculus for abductive reasoning. (English) Zbl 1433.03023 J. Autom. Reasoning 57, No. 2, 97-134 (2016). MSC: 03B35 68Q60 68V15 PDF BibTeX XML Cite \textit{M. Echenim} and \textit{N. Peltier}, J. Autom. Reasoning 57, No. 2, 97--134 (2016; Zbl 1433.03023) Full Text: DOI
Raftery, James G. Admissible rules and the Leibniz hierarchy. (English) Zbl 1357.03041 Notre Dame J. Formal Logic 57, No. 4, 569-606 (2016). Reviewer: Osamu Sonobe (Follonica) MSC: 03B22 03G27 03B47 08C10 PDF BibTeX XML Cite \textit{J. G. Raftery}, Notre Dame J. Formal Logic 57, No. 4, 569--606 (2016; Zbl 1357.03041) Full Text: DOI Euclid
de Freitas, Renata; Viana, Petrucio Set Venn diagrams applied to inclusions and non-inclusions. (English) Zbl 1350.03016 J. Logic Lang. Inf. 24, No. 4, 457-485 (2015). MSC: 03B22 03B99 03E20 PDF BibTeX XML Cite \textit{R. de Freitas} and \textit{P. Viana}, J. Logic Lang. Inf. 24, No. 4, 457--485 (2015; Zbl 1350.03016) Full Text: DOI
Takemura, Ryo Counter-example construction with Euler diagrams. (English) Zbl 1370.03076 Stud. Log. 103, No. 4, 669-696 (2015). Reviewer: Osamu Sonobe (Follonica) MSC: 03F50 03B65 03F05 03B99 PDF BibTeX XML Cite \textit{R. Takemura}, Stud. Log. 103, No. 4, 669--696 (2015; Zbl 1370.03076) Full Text: DOI
Cintula, Petr; Noguera, Carles A Henkin-style proof of completeness for first-order algebraizable logics. (English) Zbl 1372.03102 J. Symb. Log. 80, No. 1, 341-358 (2015). MSC: 03G27 03B10 03B22 PDF BibTeX XML Cite \textit{P. Cintula} and \textit{C. Noguera}, J. Symb. Log. 80, No. 1, 341--358 (2015; Zbl 1372.03102) Full Text: DOI
Voutsadakis, George Categorical abstract algebraic logic: cryptofibring of logical systems. (English) Zbl 1325.03081 Adv. Appl. Math. Sci. 13, No. 4, 155-193 (2014). MSC: 03G27 03G30 03B22 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Adv. Appl. Math. Sci. 13, No. 4, 155--193 (2014; Zbl 1325.03081)
Ivlev, Yuriy V. Generalization of Kalmar’s method for quasi-matrix logic. (English) Zbl 1273.03042 Karpenko, A. S. (ed.), Logicheskie issledovaniya. 19. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-143-6/hbk). 281-307 (2013). MSC: 03B22 03B45 03B50 PDF BibTeX XML Cite \textit{Y. V. Ivlev}, in: Logicheskie issledovaniya. 19. Moskva: Tsentr Gumanitarnykh Initsiativ. 281--307 (2013; Zbl 1273.03042)
Wallmann, Christian A shared framework for consequence operations and abstract model theory. (English) Zbl 1295.03024 Log. Univers. 7, No. 2, 125-145 (2013). MSC: 03C95 03B05 03B22 06A15 PDF BibTeX XML Cite \textit{C. Wallmann}, Log. Univers. 7, No. 2, 125--145 (2013; Zbl 1295.03024) Full Text: DOI
Cintula, Petr; Metcalfe, George Admissible rules in the implication-negation fragment of intuitionistic logic. (English) Zbl 1225.03011 Ann. Pure Appl. Logic 162, No. 2, 162-171 (2010). MSC: 03B20 03B22 03B55 PDF BibTeX XML Cite \textit{P. Cintula} and \textit{G. Metcalfe}, Ann. Pure Appl. Logic 162, No. 2, 162--171 (2010; Zbl 1225.03011) Full Text: DOI
Gomi, Kensaku Theory of completeness for logical spaces. (English) Zbl 1255.03021 Log. Univers. 3, No. 2, 243-291 (2009). MSC: 03B22 PDF BibTeX XML Cite \textit{K. Gomi}, Log. Univers. 3, No. 2, 243--291 (2009; Zbl 1255.03021) Full Text: DOI
Cintula, Petr; Metcalfe, George Structural completeness in fuzzy logics. (English) Zbl 1190.03027 Notre Dame J. Formal Logic 50, No. 2, 153-182 (2009). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B52 03B22 03B47 03B50 PDF BibTeX XML Cite \textit{P. Cintula} and \textit{G. Metcalfe}, Notre Dame J. Formal Logic 50, No. 2, 153--182 (2009; Zbl 1190.03027) Full Text: DOI
Pudlák, Pavel Quantum deduction rules. (English) Zbl 1173.03045 Ann. Pure Appl. Logic 157, No. 1, 16-29 (2009). Reviewer: Albert A. Mullin (Madison) MSC: 03F20 68Q17 81P68 03B22 03B35 03D15 PDF BibTeX XML Cite \textit{P. Pudlák}, Ann. Pure Appl. Logic 157, No. 1, 16--29 (2009; Zbl 1173.03045) Full Text: DOI
Codescu, Mihai; Găină, Daniel Birkhoff completeness in institutions. (English) Zbl 1179.03069 Log. Univers. 2, No. 2, 277-309 (2008). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03B22 03C95 03F03 PDF BibTeX XML Cite \textit{M. Codescu} and \textit{D. Găină}, Log. Univers. 2, No. 2, 277--309 (2008; Zbl 1179.03069) Full Text: DOI
Olson, J. S.; Raftery, J. G.; van Alten, C. J. Structural completeness in substructural logics. (English) Zbl 1168.03012 Log. J. IGPL 16, No. 5, 453-495 (2008). MSC: 03B47 PDF BibTeX XML Cite \textit{J. S. Olson} et al., Log. J. IGPL 16, No. 5, 453--495 (2008; Zbl 1168.03012) Full Text: DOI
Pogorzelski, Witold A.; Wojtylak, Piotr Completeness theory for propositional logics. (English) Zbl 1143.03001 Studies in Universal Logic. Basel: Birkhäuser (ISBN 978-3-7643-8517-0/pbk). viii, 178 p. (2008). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03-02 03B05 03B20 03B22 03B45 03B50 03G10 03G25 PDF BibTeX XML Cite \textit{W. A. Pogorzelski} and \textit{P. Wojtylak}, Completeness theory for propositional logics. Basel: Birkhäuser (2008; Zbl 1143.03001)
Olson, Jeffrey S.; Raftery, James G. Positive Sugihara monoids. (English) Zbl 1128.03054 Algebra Univers. 57, No. 1, 75-99 (2007). Reviewer: Clint van Alten (Wits) MSC: 03G25 03B47 06F05 08C15 PDF BibTeX XML Cite \textit{J. S. Olson} and \textit{J. G. Raftery}, Algebra Univers. 57, No. 1, 75--99 (2007; Zbl 1128.03054) Full Text: DOI
Kacprzak, Magdalena A strong completeness result for a MAS logic. (English) Zbl 1097.68124 Fundam. Inform. 72, No. 1-3, 197-213 (2006). MSC: 68T27 68Q85 PDF BibTeX XML Cite \textit{M. Kacprzak}, Fundam. Inform. 72, No. 1--3, 197--213 (2006; Zbl 1097.68124)
Hardegree, Gary M. Completeness and super-valuations. (English) Zbl 1085.03008 J. Philos. Log. 34, No. 1, 81-95 (2005). MSC: 03B22 03C25 06A15 PDF BibTeX XML Cite \textit{G. M. Hardegree}, J. Philos. Log. 34, No. 1, 81--95 (2005; Zbl 1085.03008) Full Text: DOI
Jamil, Hasan M.; Dobbie, Gillian On logical foundations of multilevel secure databases. (English) Zbl 1076.68023 J. Intell. Inf. Syst. 23, No. 3, 271-294 (2004). MSC: 68P15 PDF BibTeX XML Cite \textit{H. M. Jamil} and \textit{G. Dobbie}, J. Intell. Inf. Syst. 23, No. 3, 271--294 (2004; Zbl 1076.68023) Full Text: DOI
Caleiro, C.; Carnielli, W. A.; Coniglio, M. E.; Sernadas, A.; Sernadas, C. Fibring non-truth-functional logics: Completeness preservation. (English) Zbl 1015.03010 J. Logic Lang. Inf. 12, No. 2, 183-211 (2003). MSC: 03B22 03B53 PDF BibTeX XML Cite \textit{C. Caleiro} et al., J. Logic Lang. Inf. 12, No. 2, 183--211 (2003; Zbl 1015.03010) Full Text: DOI
Pomortsev, L. A. Algebraic interpretation of derivation axioms completeness. (Russian. English summary) Zbl 1047.03024 Fundam. Prikl. Mat. 8, No. 1, 195-219 (2002). Reviewer: Elena M. Kreines (Moskva) MSC: 03B70 03B22 68P15 PDF BibTeX XML Cite \textit{L. A. Pomortsev}, Fundam. Prikl. Mat. 8, No. 1, 195--219 (2002; Zbl 1047.03024)
Jamil, Hasan M.; Dobbie, Gillian A model theoretic semantics for multi-level secure deductive databases. (English) Zbl 1045.68052 Stuckey, Peter J. (ed.), Logic programming. 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 – August 1, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43930-7). Lect. Notes Comput. Sci. 2401, 130-147 (2002). MSC: 68P15 PDF BibTeX XML Cite \textit{H. M. Jamil} and \textit{G. Dobbie}, Lect. Notes Comput. Sci. 2401, 130--147 (2002; Zbl 1045.68052) Full Text: Link
Konikowska, Beata Rasiowa-Sikorski deduction systems in computer science applications. (English) Zbl 1058.03029 Theor. Comput. Sci. 286, No. 2, 323-366 (2002). MSC: 03B70 03B22 03F07 68Q60 68T27 PDF BibTeX XML Cite \textit{B. Konikowska}, Theor. Comput. Sci. 286, No. 2, 323--366 (2002; Zbl 1058.03029) Full Text: DOI
Došen, Kosta Abstraction and application in adjunction. (English) Zbl 1002.18001 Proceedings of the 10th congress of Yugoslav mathematicians, Belgrade, Yugoslavia, January 21-24, 2001. Belgrade: University of Belgrade, Faculty of Mathematics. 33-46 (2001). Reviewer: Zoran Petrić (Beograd) MSC: 18A15 03F99 18D15 18A40 PDF BibTeX XML Cite \textit{K. Došen}, in: Proceedings of the 10th congress of Yugoslavian mathematicians, Belgrade, Yugoslavia, January 21--24, 2001. Belgrade: University of Belgrade, Faculty of Mathematics. 33--46 (2001; Zbl 1002.18001)
Di Lascio, L. Analytic fuzzy tableaux. (English) Zbl 0988.03043 Soft Comput. 5, No. 6, 434-439 (2001). MSC: 03B52 PDF BibTeX XML Cite \textit{L. Di Lascio}, Soft Comput. 5, No. 6, 434--439 (2001; Zbl 0988.03043) Full Text: DOI
Zanardo, Alberto; Sernadas, Amilcar; Sernadas, Cristina Fibring: Completeness preservation. (English) Zbl 0981.03011 J. Symb. Log. 66, No. 1, 414-439 (2001). Reviewer: Branislav Boričić (Beograd) MSC: 03B22 03B45 03G30 PDF BibTeX XML Cite \textit{A. Zanardo} et al., J. Symb. Log. 66, No. 1, 414--439 (2001; Zbl 0981.03011) Full Text: DOI
Lichtenstein, Orna; Pnueli, Amir Propositional temporal logics: Decidability and completeness. (English) Zbl 1033.03009 Log. J. IGPL 8, No. 1, 55-85 (2000). MSC: 03B44 03B25 68Q60 PDF BibTeX XML Cite \textit{O. Lichtenstein} and \textit{A. Pnueli}, Log. J. IGPL 8, No. 1, 55--85 (2000; Zbl 1033.03009) Full Text: DOI
Viganò, Luca Labelled non-classical logics. With a foreword by Dov M. Gabbay. (English) Zbl 1003.03001 Dordrecht: Kluwer Academic Publishers. xiv, 291 p. (2000). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03B45 03F07 68T15 03F05 03B70 PDF BibTeX XML Cite \textit{L. Viganò}, Labelled non-classical logics. With a foreword by Dov M. Gabbay. Dordrecht: Kluwer Academic Publishers (2000; Zbl 1003.03001)
Zeitz, Philip Parametrized \(\in_{T}\)-logic. A theory of the extension of abstract logics concerning the concepts of truth, reference and classical negation. (Parametrisierte \(\in_{T}\)-Logik. Eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation.) (German) Zbl 0992.03013 Berlin: Logos Verlag. Berlin: TU Berlin (Diss. 1999), vi, 145 S. (2000). MSC: 03B22 03-02 PDF BibTeX XML Cite \textit{P. Zeitz}, Parametrisierte \(\in_{T}\)-Logik. Eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation. Berlin: Logos Verlag; Berlin: TU Berlin (Diss. 1999) (2000; Zbl 0992.03013)
Vasyukov, V. L. Implicative logics, Lambek systems and exponential multicategories. (Russian. English summary) Zbl 0980.03023 Karpenko, A. S. (ed.), Logical investigations. No. 7. Papers from the 2nd international conference “Smirnov’s Readings”, Moscow, Russia, May 1999. Moskva: Nauka. 90-118 (2000). MSC: 03B47 03F05 PDF BibTeX XML Cite \textit{V. L. Vasyukov}, in: Logicheskie issledovaniya. Vyp. 7. Moskva: Nauka. 90--118 (2000; Zbl 0980.03023)
Gil, Àngel J.; Rebagliato, Jordi; Verdú, Ventura A strong completeness theorem for the Gentzen systems associated with finite algebras. (English) Zbl 1033.03014 J. Appl. Non-Class. Log. 9, No. 1, 9-36 (1999). MSC: 03B50 03F03 03F05 03B22 PDF BibTeX XML Cite \textit{À. J. Gil} et al., J. Appl. Non-Class. Log. 9, No. 1, 9--36 (1999; Zbl 1033.03014) Full Text: DOI
Chakraborty, Mihir K.; Basu, Sanjukta Introducing grade to some metalogical notions. (English) Zbl 0943.03023 Dubois, Didier (ed.) et al., Fuzzy sets, logics and reasoning about knowledge. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 15, 85-99 (1999). MSC: 03B52 68T37 03B22 PDF BibTeX XML Cite \textit{M. K. Chakraborty} and \textit{S. Basu}, Appl. Log. Ser. 15, 85--99 (1999; Zbl 0943.03023)
Konikowska, Beata Rasiowa-Sikorski deduction systems: A handy tool for computer science logics. (English) Zbl 0949.03006 Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 183-197 (1999). Reviewer: M.Duží (Opava) MSC: 03B22 03B70 03B10 03B50 PDF BibTeX XML Cite \textit{B. Konikowska}, Lect. Notes Comput. Sci. 1589, 183--197 (1999; Zbl 0949.03006)
Preller, Anne; Duroux, P. Normalisation of the theory \(\mathbf T\) of Cartesian closed categories and conservativity of extensions \(\mathbf T[x]\) of \(\mathbf T\). (English) Zbl 0936.03011 Theor. Inform. Appl. 33, No. 3, 227-257 (1999). MSC: 03B25 18D15 03F05 18A15 03B40 PDF BibTeX XML Cite \textit{A. Preller} and \textit{P. Duroux}, Theor. Inform. Appl. 33, No. 3, 227--257 (1999; Zbl 0936.03011) Full Text: DOI EuDML
Tishkovskij, D. E. Algebraic semantics for superintuitionistic predicate logics. (English. Russian original) Zbl 0924.03112 Algebra Logika 38, No. 1, 68-95 (1999); translation in Algebra Logic 38, No. 1, 36-50 (1999). Reviewer: S.P.Odintsov (Novosibirsk) MSC: 03G25 03B55 PDF BibTeX XML Cite \textit{D. E. Tishkovskij}, Algebra Logika 38, No. 1, 68--95 (1999; Zbl 0924.03112); translation in Algebra Logic 38, No. 1, 36--50 (1999) Full Text: EuDML
Broda, Krysia; Finger, Marcelo; Russo, Alessandra Labelled natural deduction for substructural logics. (English) Zbl 0929.03059 Log. J. IGPL 7, No. 3, 283-318 (1999). MSC: 03F52 03B20 03B47 PDF BibTeX XML Cite \textit{K. Broda} et al., Log. J. IGPL 7, No. 3, 283--318 (1999; Zbl 0929.03059) Full Text: DOI
Woleński, Jan Logic from a metalogical point of view. (English) Zbl 0924.03009 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 25-35 (1999). MSC: 03A05 03B22 PDF BibTeX XML Cite \textit{J. Woleński}, Stud. Fuzziness Soft Comput. 24, 25--35 (1999; Zbl 0924.03009)
Hintikka, Jaakko On Gödel’s philosophical assumptions. (English) Zbl 0935.01008 Synthese 114, No. 1, 13-23 (1998). Reviewer: V.Peckhaus (Erlangen) MSC: 01A60 03-03 03A05 PDF BibTeX XML Cite \textit{J. Hintikka}, Synthese 114, No. 1, 13--23 (1998; Zbl 0935.01008) Full Text: DOI
Paris, J.; Vencovská, A. Proof systems for probabilistic uncertain reasoning. (English) Zbl 0918.03015 J. Symb. Log. 63, No. 3, 1007-1039 (1998). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B48 68T30 03B60 68T27 PDF BibTeX XML Cite \textit{J. Paris} and \textit{A. Vencovská}, J. Symb. Log. 63, No. 3, 1007--1039 (1998; Zbl 0918.03015) Full Text: DOI
Lambek, J. An extension of the formulas-as-types paradigm. (English) Zbl 0923.03045 Dialogue 36, No. 1, 33-43 (1997). MSC: 03B70 PDF BibTeX XML Cite \textit{J. Lambek}, Dialogue 36, No. 1, 33--43 (1997; Zbl 0923.03045) Full Text: DOI
Wójtowicz, Anna The interpolation, Halldén-completeness, Robinson and Beth properties in modal logics. (English) Zbl 0878.03022 Bull. Sect. Log., Univ. Łódź, Dep. Log. 26, No. 2, 67-72 (1997). MSC: 03C40 03B45 03B22 03B10 PDF BibTeX XML Cite \textit{A. Wójtowicz}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 26, No. 2, 67--72 (1997; Zbl 0878.03022)
Kołowska-Gawiejnowicz, Mirosława Powerset residuated algebras and generalized Lambek calculus. (English) Zbl 0870.03028 Math. Log. Q. 43, No. 1, 60-72 (1997). Reviewer: M.Kołowska-Gawiejnowicz (Poznań) MSC: 03G25 PDF BibTeX XML Cite \textit{M. Kołowska-Gawiejnowicz}, Math. Log. Q. 43, No. 1, 60--72 (1997; Zbl 0870.03028) Full Text: DOI
Rybakov, V. V. Admissibility of logical inference rules. (English) Zbl 0872.03002 Studies in Logic and the Foundations of Mathematics. 136. Amsterdam: Elsevier. 617 p. (1997). Reviewer: B.Boričić (Beograd) MSC: 03-02 03B05 03B10 03B22 03B25 03B20 03B45 03B55 03C05 PDF BibTeX XML Cite \textit{V. V. Rybakov}, Admissibility of logical inference rules. Amsterdam: Elsevier (1997; Zbl 0872.03002)
Hintikka, Jaakko; Sandu, Gabriel A revolution in logic? (English) Zbl 0891.03001 Nord. J. Philos. Log. 1, No. 2, 169-183 (1996). Reviewer: L.Löfgren (Lund) MSC: 03A05 03-03 01A55 PDF BibTeX XML Cite \textit{J. Hintikka} and \textit{G. Sandu}, Nord. J. Philos. Log. 1, No. 2, 169--183 (1996; Zbl 0891.03001) Full Text: Link
Došen, Kosta; Petrić, Zoran Modal functional completeness. (English) Zbl 0862.03008 Wansing, Heinrich (ed.), Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19–20, 1993. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 2, 167-211 (1996). MSC: 03B45 03G30 PDF BibTeX XML Cite \textit{K. Došen} and \textit{Z. Petrić}, Appl. Log. Ser. 2, 167--211 (1996; Zbl 0862.03008)
Preller, A.; Simonet, G. Functional completeness of the free locally cartesian closed category and interpretations of Martin-Löf’s theory of dependent types. (English) Zbl 0860.03044 Math. Struct. Comput. Sci. 6, No. 4, 387-408 (1996). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03G30 18D30 18A15 03F35 PDF BibTeX XML Cite \textit{A. Preller} and \textit{G. Simonet}, Math. Struct. Comput. Sci. 6, No. 4, 387--408 (1996; Zbl 0860.03044) Full Text: DOI
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 PDF BibTeX XML Cite \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)
Skura, Tomasz Some aspects of refutation rules. (English) Zbl 0858.03011 Rep. Math. Logic 29, 109-116 (1995). MSC: 03B22 03B45 PDF BibTeX XML Cite \textit{T. Skura}, Rep. Math. Logic 29, 109--116 (1995; Zbl 0858.03011)
Béziau, Jean-Yves Negation: What it is & what it is not. (English) Zbl 0857.03002 Bol. Soc. Parana. Mat., II. Sér. 15, No. 1-2, 37-43 (1995). MSC: 03B22 03B53 PDF BibTeX XML Cite \textit{J.-Y. Béziau}, Bol. Soc. Parana. Mat., II. Sér. 15, No. 1--2, 37--43 (1995; Zbl 0857.03002)
Zuber, Ryszard Structural completeness and \(\L\)-complete systems. (La complétude structurale et les systèmes \(\L\)-complets.) (French) Zbl 0839.03004 C. R. Acad. Sci., Paris, Sér. I 321, No. 4, 391-394 (1995). MSC: 03B22 03D03 03B25 PDF BibTeX XML Cite \textit{R. Zuber}, C. R. Acad. Sci., Paris, Sér. I 321, No. 4, 391--394 (1995; Zbl 0839.03004)
Pynko, Alexej P. Algebraic study of Sette’s maximal paraconsistent logic. (English) Zbl 0817.03004 Stud. Log. 54, No. 1, 89-128 (1995). Reviewer: M.Urchs (Berlin) MSC: 03B22 03B53 03G25 PDF BibTeX XML Cite \textit{A. P. Pynko}, Stud. Log. 54, No. 1, 89--128 (1995; Zbl 0817.03004) Full Text: DOI
Donskoj, V. I. Logic production systems: Analysis and synthesis. (English. Russian original) Zbl 0835.03007 Cybern. Syst. Anal. 30, No. 4, 479-488 (1994); translation from Kibern. Sist. Anal. 4, 11-22 (1994). MSC: 03D03 03D10 68T27 PDF BibTeX XML Cite \textit{V. I. Donskoj}, Cybern. Syst. Anal. 30, No. 4, 479--488 (1994; Zbl 0835.03007); translation from Kibern. Sist. Anal. 4, 11--22 (1994) Full Text: DOI
Surma, Stan J. Alternatives to the consequence-theoretic approach to metalogic. (English) Zbl 0820.03006 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, 1-30 (1994). MSC: 03B22 PDF BibTeX XML Cite \textit{S. J. Surma}, 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. 1--30 (1994; Zbl 0820.03006)
Lambek, J. Some aspects of categorical logic. (English) Zbl 0824.03035 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, 69-89 (1994). Reviewer: K.I.Rosenthal (Schenectady) MSC: 03G30 03-02 03F05 18B25 PDF BibTeX XML Cite \textit{J. Lambek}, Stud. Logic Found. Math. 134, 69--89 (1994; Zbl 0824.03035)
Hooker, J. N. Needed: An empirical science of algorithms. (English) Zbl 0805.90119 Oper. Res. 42, No. 2, 201-212 (1994). MSC: 90C99 90C60 PDF BibTeX XML Cite \textit{J. N. Hooker}, Oper. Res. 42, No. 2, 201--212 (1994; Zbl 0805.90119) Full Text: DOI
Goranko, Valentin Refutation systems in modal logic. (English) Zbl 0803.03005 Stud. Log. 53, No. 2, 299-324 (1994). Reviewer: U.Scheffler (Berlin) MSC: 03B22 03B45 PDF BibTeX XML Cite \textit{V. Goranko}, Stud. Log. 53, No. 2, 299--324 (1994; Zbl 0803.03005) Full Text: DOI
Christian, Curt C. General soundness and completeness theorem for maximally consistent calculi. (Allgemeiner Korrektheits-und Vollständigkeitssatz für maximal konsistente Kalküle.) (German) Zbl 0792.03003 Sitzungsber., Abt. II, Österr. Akad. Wiss., Math.-Naturwiss. Kl. 202, No. 1-10, 23-45 (1993). Reviewer: C.C.Christian MSC: 03B10 03B22 PDF BibTeX XML Cite \textit{C. C. Christian}, Sitzungsber., Abt. II, Österr. Akad. Wiss., Math.-Naturwiss. Kl. 202, No. 1--10, 23--45 (1993; Zbl 0792.03003)
Pliuškevičius, Regimantas On the saturation principle for a linear temporal logic. (English) Zbl 0793.03014 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, 289-300 (1993). Reviewer: D.Gruska (Bratislava) MSC: 03B45 PDF BibTeX XML Cite \textit{R. Pliuškevičius}, Lect. Notes Comput. Sci. 713, 289--300 (1993; Zbl 0793.03014)
Walker, Adrian Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete. (English) Zbl 0784.68025 J. Autom. Reasoning 11, No. 1, 1-22 (1993). MSC: 68N17 PDF BibTeX XML Cite \textit{A. Walker}, J. Autom. Reasoning 11, No. 1, 1--22 (1993; Zbl 0784.68025) Full Text: DOI
Gargov, George; Goranko, Valentin Modal logic with names. (English) Zbl 0793.03012 J. Philos. Log. 22, No. 6, 607-636 (1993). Reviewer: U.Scheffler (Berlin) MSC: 03B45 PDF BibTeX XML Cite \textit{G. Gargov} and \textit{V. Goranko}, J. Philos. Log. 22, No. 6, 607--636 (1993; Zbl 0793.03012) Full Text: DOI
Došen, Kosta Modal logic as metalogic. (English) Zbl 0793.03011 J. Logic Lang. Inf. 1, No. 3, 173-201 (1992). MSC: 03B45 18A15 PDF BibTeX XML Cite \textit{K. Došen}, J. Logic Lang. Inf. 1, No. 3, 173--201 (1992; Zbl 0793.03011) Full Text: DOI
Frisch, Alan M.; Scherl, Richard B. A constraint logic approach to modal deduction. (English) Zbl 0796.03013 Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 234-250 (1991). MSC: 03B35 03B45 PDF BibTeX XML Cite \textit{A. M. Frisch} and \textit{R. B. Scherl}, Lect. Notes Comput. Sci. 478, 234--250 (1991; Zbl 0796.03013)
Bauer, Friedrich L.; Wirsing, Martin Elementare Aussagenlogik. (German) Zbl 0721.68001 Mathematik für Informatiker. Berlin etc.: Springer-Verlag. X, 228 p. DM 49.00 (1991). Reviewer: R.S.Lubarsky (Lancaster) MSC: 68-01 03-01 68Q99 PDF BibTeX XML Cite \textit{F. L. Bauer} and \textit{M. Wirsing}, Elementare Aussagenlogik. Berlin etc.: Springer-Verlag (1991; Zbl 0721.68001)
Takano, Mitio; Yamakami, Tomoyuki Classification of intermediate predicate logics under the type of deductive completeness. (English) Zbl 0759.03014 Rep. Math. Logic 24, 17-23 (1990). MSC: 03B55 PDF BibTeX XML Cite \textit{M. Takano} and \textit{T. Yamakami}, Rep. Math. Logic 24, 17--23 (1990; Zbl 0759.03014)
Kandulski, Maciej The non-associative Lambek calculus. (English) Zbl 0693.03014 Categorial grammar, 141-151 (1988). MSC: 03B99 PDF BibTeX XML
Mikhajlov, V. Yu. Solution of technological problems with models. (English. Russian original) Zbl 0684.68114 Sov. Math. 32, No. 9, 67-80 (1988); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1988, No. 9(316), 46-54 (1988). MSC: 68U20 68N01 68T99 PDF BibTeX XML Cite \textit{V. Yu. Mikhajlov}, Sov. Math. 32, No. 9, 67--80 (1988; Zbl 0684.68114); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1988, No. 9(316), 46--54 (1988)
Blok, W. J.; Pigozzi, Don Alfred Tarski’s work on general metamathematics. (English) Zbl 0651.03002 J. Symb. Log. 53, No. 1, 36-50 (1988). Reviewer: U.Bottazzini MSC: 03-03 01A60 03-02 03F99 PDF BibTeX XML Cite \textit{W. J. Blok} and \textit{D. Pigozzi}, J. Symb. Log. 53, No. 1, 36--50 (1988; Zbl 0651.03002) Full Text: DOI
Sakalauskajte, Yurate Alternating propositional dynamic logic. (Russian. English summary) Zbl 0642.03020 Mat. Logika Primen. 5, 92-116 (1987). MSC: 03B70 03B45 PDF BibTeX XML Cite \textit{Y. Sakalauskajte}, Mat. Logika Primen. 5, 92--116 (1987; Zbl 0642.03020)
Bergmann, Ansgar Final structures in ZFC in view of partial algebras. (Finalstrukturen in ZFC im Hinblick auf partielle Algebren.) (German) Zbl 0606.18003 Bonn. Math. Schr. 173, 147 p. (1986). Reviewer: J. Adámek (Braunschweig) MSC: 18B10 08A55 18A15 18B05 PDF BibTeX XML
van Benthem, Johan Themes from a workshop. (English) Zbl 0586.03020 Generalized quantifiers in natural language, Int. Workshop, Groningen 1983, Groningen-Amst. Stud. Semantics 4, 161-169 (1985). MSC: 03B65 03-02 PDF BibTeX XML
Passy, Solomon; Tinchev, Tinko Quantifiers in combinatory PDL: completeness, definability, incompleteness. (English) Zbl 0578.03006 Fundamentals of computation theory, Proc. 5th Int. Conf., Cottbus/Ger. 1985, Lect. Notes Comput. Sci. 199, 512-519 (1985). Reviewer: J.Zlatuska MSC: 03B45 68Q65 68Q60 03B40 PDF BibTeX XML
Goldblatt, Robert On the role of the Baire category theorem and dependent choice in the foundations of logic. (English) Zbl 0567.03023 J. Symb. Log. 50, 412-422 (1985). MSC: 03E25 06E10 54E52 PDF BibTeX XML Cite \textit{R. Goldblatt}, J. Symb. Log. 50, 412--422 (1985; Zbl 0567.03023) Full Text: DOI Backlinks: MO
Bencivenga, Ermanno Strong completeness of a pure free logic. (English) Zbl 0567.03009 Z. Math. Logik Grundlagen Math. 31, 35-38 (1985). MSC: 03C35 PDF BibTeX XML Cite \textit{E. Bencivenga}, Z. Math. Logik Grundlagen Math. 31, 35--38 (1985; Zbl 0567.03009) Full Text: DOI
Radev, Slavian Propositional logics of formal languages. (English) Zbl 0586.03011 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 447-482 (1984). Reviewer: A.P.Stolboushkin MSC: 03B45 03C75 68Q65 68N01 03F99 PDF BibTeX XML Cite \textit{S. Radev}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 447--482 (1984; Zbl 0586.03011)
Biela, Andrzej; Stepien, Teodor Lindenbaum’s extensions. (English) Zbl 0523.03008 Rep. Math. Logic 15, 3-11 (1983). MSC: 03B20 03B05 PDF BibTeX XML Cite \textit{A. Biela} and \textit{T. Stepien}, Rep. Math. Logic 15, 3--11 (1983; Zbl 0523.03008)
Andreka, H.; Nemeti, I. Generalization of the concept of variety and quasivariety to partial algebras through category theory. (English) Zbl 0518.08007 Diss. Math. 204, 51 p. (1983). MSC: 08A55 18A15 03C05 08B05 08C15 08C05 03C60 03C35 PDF BibTeX XML
Makkai, M. Stone duality for first order logic. (English) Zbl 0522.03006 Logic colloquium ’81, Proc. Herbrand Symp., Marseille 1981, Stud. Logic Found. Math. 107, 217-232 (1982). MSC: 03B10 03G30 18A15 PDF BibTeX XML
Biela, Andrzej; Stepien, Teodor Lindenbaum’s extensions. (English) Zbl 0457.03027 Bull. Sect. Logic, Pol. Acad. Sci. 10, 42-47 (1981). MSC: 03B99 PDF BibTeX XML Cite \textit{A. Biela} and \textit{T. Stepien}, Bull. Sect. Logic, Pol. Acad. Sci. 10, 42--47 (1981; Zbl 0457.03027)
Diaz, M. Richard Deductive completeness and conditionalization in systems of weak implication. (English) Zbl 0368.02030 Notre Dame J. Formal Logic 21, 119-130 (1980). MSC: 03B99 PDF BibTeX XML Cite \textit{M. R. Diaz}, Notre Dame J. Formal Logic 21, 119--130 (1980; Zbl 0368.02030) Full Text: DOI
Harnik, Victor; Makkai, Michael New axiomatizations for logics with generalized quantifiers. (English) Zbl 0404.03023 Isr. J. Math. 32, 257-281 (1979). MSC: 03C70 03C80 03C35 PDF BibTeX XML Cite \textit{V. Harnik} and \textit{M. Makkai}, Isr. J. Math. 32, 257--281 (1979; Zbl 0404.03023) Full Text: DOI
Szabo, M. E. Algebra of proofs. (English) Zbl 0532.03030 Studies in Logic and the Foundations of Mathematics, Vol. 88. Amsterdam - New York - Oxford: North-Holland Publishing Company. XII, 297 p. $ 43.50; Dfl. 100.00 (1978). MSC: 03G30 03F50 03F55 03-02 18-02 18D10 18D05 18D15 18B25 18A15 PDF BibTeX XML
Volger, Hugo Logical categories, semantical categories and topoi. (English) Zbl 0338.18002 Model Theor. Topoi, Collect. Lect. var. Auth., Lect. Notes Math. 445, 87-100 (1975). MSC: 18A15 18B99 03C99 03C35 03B55 PDF BibTeX XML
Volger, Hugo Completeness theorem for logical categories. (English) Zbl 0338.18001 Model Theor. Topoi, Collect. Lect. var. Auth., Lect. Notes Math. 445, 51-86 (1975). MSC: 18A15 18A35 18B99 03C99 03C35 PDF BibTeX XML
Mijoule, Richard Une formalisation des fondements par les logiques internes. (French) Zbl 0323.18001 C. R. Acad. Sci., Paris, Sér. A 281, 1071-1073 (1975). MSC: 18A15 03C99 03B99 03C35 PDF BibTeX XML Cite \textit{R. Mijoule}, C. R. Acad. Sci., Paris, Sér. A 281, 1071--1073 (1975; Zbl 0323.18001)
Mijoule, Richard La completude pour les systèmes categoriques. (French) Zbl 0313.18004 C. R. Acad. Sci., Paris, Sér. A 279, 765-767 (1974). MSC: 18A15 03B99 03C35 03C99 PDF BibTeX XML Cite \textit{R. Mijoule}, C. R. Acad. Sci., Paris, Sér. A 279, 765--767 (1974; Zbl 0313.18004)
Mijoule, Richard Notion categorique de langage et formule. (French) Zbl 0313.18003 C. R. Acad. Sci., Paris, Sér. A 279, 753-756 (1974). MSC: 18A15 03B99 03C35 03C99 PDF BibTeX XML Cite \textit{R. Mijoule}, C. R. Acad. Sci., Paris, Sér. A 279, 753--756 (1974; Zbl 0313.18003)
Dickmann, M. A. The problem of non-finite axiomatizability of \(\aleph_{1}\)-categorical theories. (English) Zbl 1416.03015 Bell, John (ed.) et al., The proceedings of the Bertrand Russell memorial logic conference, Uldum, Denmark, August 4–16, 1971. Leeds: Bertrand Russell Memorial Logic Conference. 141-216 (1973). MSC: 03C35 03B22 PDF BibTeX XML Cite \textit{M. A. Dickmann}, in: The proceedings of the Bertrand Russell memorial logic conference, Uldum, Denmark, August 4--16, 1971. Leeds: Bertrand Russell Memorial Logic Conference. 141--216 (1973; Zbl 1416.03015)
Routley, R. A simple natural deduction systems. (English) Zbl 0207.00402 Logique Anal., Nouv. Sér. 12, 129-152 (1969). MSC: 03B22 03C10 03C35 PDF BibTeX XML Cite \textit{R. Routley}, Log. Anal., Nouv. Sér. 12, 129--152 (1969; Zbl 0207.00402)