Comments for Richard Zach
https://richardzach.org
Thu, 06 May 2021 19:28:33 +0000
hourly
1 https://wordpress.org/?v=5.7.2
Comment on Systematic construction of natural deduction systems for many-valued logics by Proof Theory of Finite-Valued Logics – Richard Zach
https://richardzach.org/1993/05/24/systematic-construction-of-natural-deduction-systems-for-many-valued-logics/#comment-39641
Thu, 06 May 2021 19:28:33 +0000http://rztest.ucalgaryblogs.ca/systematic-construction-of-natural-deduction-systems-for-many-valued-logics/#comment-39641[…] The results about natural deduction were published in Systematic construction of natural deduction systems for many-valued logics. […]
]]>
Comment on Elimination of cuts in first-order finite-valued logics by Proof Theory of Finite-Valued Logics – Richard Zach
https://richardzach.org/1994/06/12/elimination-of-cuts-in-first-order-many-valued-logics/#comment-39636
Thu, 06 May 2021 19:18:16 +0000http://rztest.ucalgaryblogs.ca/elimination-of-cuts-in-first-order-many-valued-logics/#comment-39636[…] The results about the positive sequent calculus were published in Elimination of cuts in first-order finite-valued logics. […]
]]>
Comment on Proof Theory of Finite-Valued Logics by Elimination of cuts in first-order finite-valued logics – Richard Zach
https://richardzach.org/1993/11/01/proof-theory-of-finite-valued-logics/#comment-39608
Thu, 06 May 2021 16:39:52 +0000http://rztest.ucalgaryblogs.ca/proof-theory-of-finite-valued-logics/#comment-39608[…] The results in this paper are discussed in more detail (and also for a different version of sequents) in: Proof Theory of Finite-Valued Logics […]
]]>
Comment on Many-sided Sequent Calculi and Many-valued Logics by MUltlog 1.13 released – Richard Zach
https://richardzach.org/2005/09/16/many-sided-sequent-calculi-and-many-valued-logics/#comment-38990
Tue, 04 May 2021 03:01:25 +0000http://logicblog.wordpress.com/2005/09/16/many-sided-sequent-calculi-and-many-valued-logics#comment-38990[…] or first-order) into optimal inference rules for a number of related analytic proof systems: many-sided sequent calculus, signed tableaux, many-sided natural deduction, and clause translation calculi for signed […]
]]>
Comment on Logic Courseware? by Martin Frické
https://richardzach.org/2017/09/21/logic-courseware/#comment-37674
Fri, 23 Apr 2021 14:31:41 +0000http://richardzach.org/?p=2376#comment-37674Try https://softoption.us . Suggesting for a friend.
]]>
Comment on Elimination of cuts in first-order finite-valued logics by Many-sided Sequent Calculi and Many-valued Logics – Richard Zach
https://richardzach.org/1994/06/12/elimination-of-cuts-in-first-order-many-valued-logics/#comment-37165
Mon, 12 Apr 2021 02:42:38 +0000http://rztest.ucalgaryblogs.ca/elimination-of-cuts-in-first-order-many-valued-logics/#comment-37165[…] Baaz, Christian G. Fermüller, Richard Zach, Elimination of cuts in first-order many-valued logics, Journal of Information Processing and Cybernetics 29 (1994) […]
]]>
Comment on Hilbert’s “Verunglückter Beweis,” the first epsilon theorem, and consistency proofs by More on Gödel in the Bulletin of Symbolic Logic – Richard Zach
https://richardzach.org/2004/04/01/hilberts-verungluckter-beweis-the-first-epsilon-theorem-and-consistency-proofs/#comment-37164
Mon, 12 Apr 2021 02:41:01 +0000http://rztest.ucalgaryblogs.ca/hilberts-verungluckter-beweis-the-first-epsilon-theorem-and-consistency-proofs/#comment-37164[…] for the issue to appear on Project Euclid. (The issue also has a nice review by Dirk Schlimm of my paper on Hilbert’s “verunglückter Beweis”–thanks, […]
]]>
Comment on Kurt Gödel Centenary Research Prize Fellowship by Kurt Gödel Centenary Research Prize Finalists – Richard Zach
https://richardzach.org/2006/12/02/kurt-godel-centenary-research-prize-fellowship/#comment-37163
Mon, 12 Apr 2021 02:39:21 +0000http://logicblog.wordpress.com/2006/12/02/kurt-godel-centenary-research-prize-fellowship#comment-37163[…] finalists for the Kurt Gödel Centenary Research Prizes have been announced. They […]
]]>
Comment on First-order Gödel logics by First-order Gödel Logics – Richard Zach
https://richardzach.org/2007/02/12/first-order-godel-logics-3/#comment-37162
Mon, 12 Apr 2021 02:33:27 +0000http://rztest.ucalgaryblogs.ca/first-order-godel-logics/#comment-37162[…] this is hopefully my last paper ever on many-valued logics. Well, maybe not. In any case, it’s […]
]]>
Comment on Systematic construction of natural deduction systems for many-valued logics by Many-sided Sequent Calculi and Many-valued Logics – Richard Zach
https://richardzach.org/1993/05/24/systematic-construction-of-natural-deduction-systems-for-many-valued-logics/#comment-37161
Mon, 12 Apr 2021 02:32:33 +0000http://rztest.ucalgaryblogs.ca/systematic-construction-of-natural-deduction-systems-for-many-valued-logics/#comment-37161[…] Baaz, Christian G. Fermüller, Richard Zach, Systematic construction of natural deduction systems for many-valued logics, 23rd International Symposium on Multiple Valued Logic. Sacramento. (IEEE Press, Los Alamitos, […]
]]>