Subramani, K.; Wojciechowski, Piotr Integer feasibility and refutations in UTVPI constraints using bit-scaling. (English) Zbl 1507.68220 Algorithmica 85, No. 2, 610-637 (2023). MSC: 68R05 68W05 68W40 90C10 PDFBibTeX XMLCite \textit{K. Subramani} and \textit{P. Wojciechowski}, Algorithmica 85, No. 2, 610--637 (2023; Zbl 1507.68220) Full Text: DOI
Wiśniewski, Andrzej Towards a uniform account of proofs and refutations. (English) Zbl 07585089 Urbański, Mariusz (ed.) et al., Reasoning: games, cognition, logic. Proceedings of the Poznań reasoning week multi-conference, Poznań, Poland, September 11–15, 2018. London: College Publications. Stud. Log. (Lond.) 83, 181-188 (2020). MSC: 03Bxx PDFBibTeX XMLCite \textit{A. Wiśniewski}, Stud. Log. (Lond.) 83, 181--188 (2020; Zbl 07585089)
Başkent, Can Inquiry, refutations and the inconsistent. (English) Zbl 1439.03015 Başkent, Can (ed.), Perspectives on interrogative models of inquiry. Developments in inquiry and questions. Cham: Springer. Log. Argum. Reason. 8, 57-71 (2016). MSC: 03A05 03B53 PDFBibTeX XMLCite \textit{C. Başkent}, Log. Argum. Reason. 8, 57--71 (2016; Zbl 1439.03015) Full Text: DOI HAL
Lee, Troy; Prakash, Anupam; de Wolf, Ronald; Yuen, Henry On the sum-of-squares degree of symmetric quadratic functions. (English) Zbl 1380.68203 Raz, Ran (ed.), 31st conference on computational complexity, CCC’16, Tokyo, Japan, May 29 – June 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-008-8). LIPIcs – Leibniz International Proceedings in Informatics 50, Article 17, 31 p. (2016). MSC: 68Q17 41A10 68Q12 90C09 90C22 90C27 90C60 PDFBibTeX XMLCite \textit{T. Lee} et al., LIPIcs -- Leibniz Int. Proc. Inform. 50, Article 17, 31 p. (2016; Zbl 1380.68203) Full Text: DOI arXiv
Trillas, E.; García-Honrado, I.; Termini, S. Some algebraic clues towards a syntactic view on the principles of non-contradiction and excluded-middle. (English) Zbl 1286.03099 Int. J. Gen. Syst. 43, No. 2, 162-171 (2014). MSC: 03B52 03E72 PDFBibTeX XMLCite \textit{E. Trillas} et al., Int. J. Gen. Syst. 43, No. 2, 162--171 (2014; Zbl 1286.03099) Full Text: DOI
Zhao, Xinshun Comments on Müller and Tzameret. (English) Zbl 1320.03085 van Benthem, Johan (ed.) et al., Logic across the university: foundations and applications. Proceedings of the Tsinghua logic conference, Beijing, China, October 14–16, 2013. London: College Publications (ISBN 978-1-84890-122-3/pbk). Studies in Logic (London) 47, 212-213 (2013). MSC: 03F20 03B05 PDFBibTeX XMLCite \textit{X. Zhao}, Stud. Log. (Lond.) 47, 212--213 (2013; Zbl 1320.03085)
Van Gelder, Allen Producing and verifying extremely large propositional refutations. (English) Zbl 1273.68329 Ann. Math. Artif. Intell. 65, No. 4, 329-372 (2012). Reviewer: Nail Zamov (Kazan) MSC: 68T15 PDFBibTeX XMLCite \textit{A. Van Gelder}, Ann. Math. Artif. Intell. 65, No. 4, 329--372 (2012; Zbl 1273.68329) Full Text: DOI
Castelnérac, Benoît; Marion, Mathieu Arguing for inconsistency: dialectical games in the academy. (English) Zbl 1255.01003 Primiero, Giuseppe (ed.) et al., Acts of knowledge. History, philosophy and logic. Essays dedicated to Göran Sundholm. London: College Publications (ISBN 978-1-904987-92-5/pbk). Tributes 9, 35-71 (2009). Reviewer: Gregor Nickel (Siegen) MSC: 01A20 03-03 03A05 00A30 03B65 PDFBibTeX XMLCite \textit{B. Castelnérac} and \textit{M. Marion}, Tributes 9, 35--71 (2009; Zbl 1255.01003)
Li, Wei A symbolic calculus on defect revisions of axiomatic systems. (English) Zbl 1176.03007 Shum, K. P. (ed.) et al., Advances in algebra and combinatorics. Proceedings of the 2nd international congress in algebra and combinatorics, Guangzhou, China, July 2–4, 2007, Beijing, China, July 6–11, 2007 and Xian, China, July 12–15, 2007. Hackensack, NJ: World Scientific (ISBN 978-981-279-000-2/hbk). 275-291 (2008). MSC: 03B35 68Q60 68T15 PDFBibTeX XMLCite \textit{W. Li}, in: Advances in algebra and combinatorics. Proceedings of the 2nd international congress in algebra and combinatorics, Guangzhou, China, July 2--4, 2007, Beijing, China, July 6--11, 2007 and Xian, China, July 12--15, 2007. Hackensack, NJ: World Scientific. 275--291 (2008; Zbl 1176.03007) Full Text: DOI
Amjad, Hasan Compressing propositional refutations. (English) Zbl 1335.68222 Merz, Stephan (ed.) et al., Proceedings of the 6th international workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, September 18–19, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 185, 3-15 (2007). MSC: 68T15 PDFBibTeX XMLCite \textit{H. Amjad}, Electron. Notes Theor. Comput. Sci. 185, 3--15 (2007; Zbl 1335.68222) Full Text: DOI
Impagliazzo, Russell; Segerlind, Nathan Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations. (English) Zbl 1367.03106 ACM Trans. Comput. Log. 7, No. 2, 199-218 (2006). MSC: 03F20 PDFBibTeX XMLCite \textit{R. Impagliazzo} and \textit{N. Segerlind}, ACM Trans. Comput. Log. 7, No. 2, 199--218 (2006; Zbl 1367.03106) Full Text: DOI arXiv
D’Agostino, Marcello Classical natural deduction. (English) Zbl 1279.03077 Artemov, Sergei (ed.) et al., We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. London: College Publications (ISBN 1-904987-11-7/pbk; 1-904987-25-7/hbk). Tributes 1, 429-468 (2005). MSC: 03F05 PDFBibTeX XMLCite \textit{M. D'Agostino}, Tributes 1, 429--468 (2005; Zbl 1279.03077)
Narens, Louis A theory of belief for scientific refutations. (English) Zbl 1082.03504 Synthese 145, No. 3, 397-423 (2005). MSC: 03B48 PDFBibTeX XMLCite \textit{L. Narens}, Synthese 145, No. 3, 397--423 (2005; Zbl 1082.03504) Full Text: DOI
Beckmann, Arnold; Buss, Samuel R. Separation results for the size of constant-depth propositional proofs. (English) Zbl 1089.03048 Ann. Pure Appl. Logic 136, No. 1-2, 30-55 (2005). MSC: 03F20 03F07 68Q15 PDFBibTeX XMLCite \textit{A. Beckmann} and \textit{S. R. Buss}, Ann. Pure Appl. Logic 136, No. 1--2, 30--55 (2005; Zbl 1089.03048) Full Text: DOI
Ben-Sasson, Eli; Impagliazzo, Russell; Wigderson, Avi Near optimal seperation of tree-like and general resolution. (English) Zbl 1063.03043 Combinatorica 24, No. 4, 585-603 (2004). MSC: 03F20 03B35 68Q17 PDFBibTeX XMLCite \textit{E. Ben-Sasson} et al., Combinatorica 24, No. 4, 585--603 (2004; Zbl 1063.03043) Full Text: DOI
Ben-Sasson, Eli; Galesi, Nicola Space complexity of random formulae in resolution. (English) Zbl 1048.03046 Random Struct. Algorithms 23, No. 1, 92-109 (2003). MSC: 03F20 03D15 68Q17 03B35 05C70 68R10 91A43 PDFBibTeX XMLCite \textit{E. Ben-Sasson} and \textit{N. Galesi}, Random Struct. Algorithms 23, No. 1, 92--109 (2003; Zbl 1048.03046) Full Text: DOI
Hansen, Pierre; Mélot, Hadrien Computers and discovery in algebraic graph theory. (English) Zbl 1015.05087 Linear Algebra Appl. 356, No. 1-3, 211-230 (2002). MSC: 05C85 PDFBibTeX XMLCite \textit{P. Hansen} and \textit{H. Mélot}, Linear Algebra Appl. 356, No. 1--3, 211--230 (2002; Zbl 1015.05087) Full Text: DOI
Buss, Sam; Grigoriev, Dima; Impagliazzo, Russell; Pitassi, Toniann Linear gaps between degrees for the polynomial calculus modulo distinct primes. (English) Zbl 1007.03052 J. Comput. Syst. Sci. 62, No. 2, 267-289 (2001). MSC: 03F20 68Q17 68Q25 68W30 PDFBibTeX XMLCite \textit{S. Buss} et al., J. Comput. Syst. Sci. 62, No. 2, 267--289 (2001; Zbl 1007.03052) Full Text: DOI
Alekhnovich, Michael; Buss, Sam; Moran, Shlomo; Pitassi, Toniann Minimum propositional proof length is NP-hard to linearly approximate. (English) Zbl 0977.03032 J. Symb. Log. 66, No. 1, 171-191 (2001). MSC: 03F20 68Q17 68Q25 PDFBibTeX XMLCite \textit{M. Alekhnovich} et al., J. Symb. Log. 66, No. 1, 171--191 (2001; Zbl 0977.03032) Full Text: DOI
Caferra, Ricardo; Peltier, Nicolas The connection method, constraints and model building. (English) Zbl 0996.03006 Hölldobler, Steffen (ed.), Intellectics and computational logic. Papers in honor of Wolfgang Bibel. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 19, 67-84 (2000). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{R. Caferra} and \textit{N. Peltier}, Appl. Log. Ser. 19, 67--84 (2000; Zbl 0996.03006)
Caporossi, Gilles; Hansen, Pierre Variable neighborhood search for extremal graphs. I: The AutoGraphiX system. (English) Zbl 0947.90130 Discrete Math. 212, No. 1-2, 29-44 (2000). MSC: 90C59 05C35 PDFBibTeX XMLCite \textit{G. Caporossi} and \textit{P. Hansen}, Discrete Math. 212, No. 1--2, 29--44 (2000; Zbl 0947.90130) Full Text: DOI
Skura, Tomasz Aspects of refutation procedures in the intuitionistic logic and related modal systems. (English) Zbl 1025.03009 Acta Univ. Wratislav. 2190, Log. 20, 84 p. (1999). MSC: 03B20 03B45 PDFBibTeX XMLCite \textit{T. Skura}, Acta Univ. Wratislav. 2190, 84 p. (1999; Zbl 1025.03009)
Urquhart, Alasdair The symmetry rule in propositional logic. (English) Zbl 0938.03023 Discrete Appl. Math. 96-97, 177-193 (1999). Reviewer: U.Schöning (Ulm) MSC: 03B35 03B05 03F20 68T15 PDFBibTeX XMLCite \textit{A. Urquhart}, Discrete Appl. Math. 96--97, 177--193 (1999; Zbl 0938.03023) Full Text: DOI
Kleine Büning, Hans An upper bound for minimal resolution refutations. (English) Zbl 0934.03015 Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 171-178 (1999). MSC: 03B35 03F20 PDFBibTeX XMLCite \textit{H. Kleine Büning}, Lect. Notes Comput. Sci. 1584, 171--178 (1999; Zbl 0934.03015)
Caferra, Ricardo; Peltier, Nicolas Disinference rules, model building and abduction. (English) Zbl 0923.03040 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 331-353 (1999). MSC: 03B60 68T27 03B35 68N17 PDFBibTeX XMLCite \textit{R. Caferra} and \textit{N. Peltier}, Stud. Fuzziness Soft Comput. 24, 331--353 (1999; Zbl 0923.03040)
Buss, Samuel R.; Pitassi, Toniann Good degree bounds on Nullstellensatz refutations of the induction principle. (English) Zbl 0921.68088 J. Comput. Syst. Sci. 57, No. 2, 162-171 (1998). MSC: 68T15 PDFBibTeX XMLCite \textit{S. R. Buss} and \textit{T. Pitassi}, J. Comput. Syst. Sci. 57, No. 2, 162--171 (1998; Zbl 0921.68088) 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 PDFBibTeX XMLCite \textit{J. Lambek}, Dialogue 36, No. 1, 33--43 (1997; Zbl 0923.03045) Full Text: DOI
Peltier, Nicolas Increasing model building capabilities by constraint solving on terms with integer exponents. (English) Zbl 0945.03012 J. Symb. Comput. 24, No. 1, 59-101 (1997). MSC: 03B35 68W30 03B25 PDFBibTeX XMLCite \textit{N. Peltier}, J. Symb. Comput. 24, No. 1, 59--101 (1997; Zbl 0945.03012) Full Text: DOI Link
Mints, Grigori; Orevkov, Vladimir; Tammet, Tanel Transfer of sequent calculus strategies to resolution for S4. (English) Zbl 0869.03010 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, 17-31 (1996). Reviewer: N.Zamov (Kazan’) MSC: 03B45 03B35 PDFBibTeX XMLCite \textit{G. Mints} et al., Appl. Log. Ser. 2, 17--31 (1996; Zbl 0869.03010)
Ko, Hai-Ping; McAllester, David; Nadel, Mark E. Lower bounds for the lengths of refutations. (English) Zbl 0782.68025 J. Log. Program. 17, No. 1, 31-58 (1993). Reviewer: J.Henno (Naasa) MSC: 68N17 68T15 68Q25 PDFBibTeX XMLCite \textit{H.-P. Ko} et al., J. Log. Program. 17, No. 1, 31--58 (1993; Zbl 0782.68025) Full Text: DOI
Caferra, Ricardo A tableaux method for systematic simultaneous search for refutations and models using equational problems. (English) Zbl 0786.03008 J. Log. Comput. 3, No. 1, 3-25 (1993). Reviewer: L.State (Bucureşti) MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{R. Caferra}, J. Log. Comput. 3, No. 1, 3--25 (1993; Zbl 0786.03008) 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)
Koetsier, Teun Lakatos’ philosophy of mathematics. A historical approach. (English) Zbl 0743.00017 Studies in the History and Philosophy of Mathematics. 3. Amsterdam etc.: North-Holland. xi, 312 p. (1991). Reviewer: A.M.Coyne (Asheville) MSC: 00A30 PDFBibTeX XMLCite \textit{T. Koetsier}, Lakatos' philosophy of mathematics. A historical approach. Amsterdam etc.: North-Holland (1991; Zbl 0743.00017)
Urquhart, Alasdair Hard examples for resolution. (English) Zbl 0639.68093 J. Assoc. Comput. Mach. 34, 209-219 (1987). Reviewer: E.Savin MSC: 68T15 03B35 68Q25 PDFBibTeX XMLCite \textit{A. Urquhart}, J. Assoc. Comput. Mach. 34, 209--219 (1987; Zbl 0639.68093) Full Text: DOI
Loganantharaj, Rasiah; Mueller, Robert A. Parallel theorem proving with connection graphs. (English) Zbl 0642.68156 Automated deduction, Proc. 8th Int. Conf., Oxford/Engl. 1986, Lect. Notes Comput. Sci. 230, 337-352 (1986). MSC: 68T15 PDFBibTeX XML
Lakatos, Imre Worrall, John (ed.); Zahar, Elie (ed.) Beweise und Widerlegungen. Die Logik mathematischer Entdeckungen. Hrsg. von John Worrall and Elie Zahar. Übers. aus dem Englischen. (German) Zbl 0421.00007 Wissenschaftstheorie, Wissenschaft und Philosophie, 14. Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn. XII, 161 S. DM 24.80 (1979). MSC: 00A30 03A05 03F99 00-02 03-02 PDFBibTeX XML