Comments for Richard Zach
https://richardzach.org
Thu, 29 Jul 2021 19:45:55 +0000
hourly
1 https://wordpress.org/?v=5.8
Comment on Alfred Tarski: Life and Logic by New details on why Tarski was reluctant to leave Poland before WWII – Richard Zach
https://richardzach.org/2004/09/08/alfred-tarski-life-and-logic/#comment-43927
Thu, 29 Jul 2021 19:45:55 +0000http://logicblog.wordpress.com/2004/09/08/alfred-tarski-life-and-logic#comment-43927[…] Tarski was hesitant, something we now, in hindsight, find puzzling. The Fefermans, in their biography of Tarski, also found this puzzling. Their explanation was that Tarski’s “surpreme absence of […]
]]>
Comment on Satisfaction and assignments by Updates to OLP for Fall 2021 edition of Sets, Logic, Computation – Open Logic Project
https://richardzach.org/2020/05/18/satisfaction-and-assignments/#comment-43057
Sat, 10 Jul 2021 23:22:53 +0000https://richardzach.org/?p=3383#comment-43057[…] (s[m/x]) as the assignment just like (s), except assigning (m) to (x). See the discussion here and Section 7.4 in SLC. […]
]]>
Comment on Adding online exercises with automated grading to any logic course with Carnap by forall x: Calgary goes international (and other updates) – Open Logic Project
https://richardzach.org/2020/01/19/adding-online-exercises-with-automated-grading-to-any-logic-course-with-carnap/#comment-42280
Sun, 20 Jun 2021 21:26:44 +0000https://richardzach.org/?p=3325#comment-42280[…] now old-ish) post on how to add automatically graded exercises to your logic course using Carnap here; it links to some practice exercises on Carnap to go along with forall x: Calgary. The older proof […]
]]>
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, […]
]]>