( en | de | ru )

 

Disambiguation of "Zach, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Dual systems of sequents and tableaux for many-valued logics.

, , and . Bulletin of the EATCS, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frank Zach

Krista Zach

Rupert Zach

Cornelius Zach

Alexandra Zach

 

Other publications of authors with the same name

Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic., and . CSL, volume 1862 of Lecture Notes in Computer Science, page 187-201. Springer, (2000)The Epsilon Calculus (Tutorial)., and . CSL, volume 2803 of Lecture Notes in Computer Science, page 455. Springer, (2003)Helmut Veith (1971-2016)., and . Bull. EATCS, (2016)Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta., , and . ISMVL, page 9. IEEE Computer Society, (2006)Completeness before Post: Bernays, Hilbert, and the development of propositional logic.. Bull. Symb. Log., 5 (3): 331-366 (1999)Effective Finite-Valued Approximations of General Propositional Logics., and . Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 107-129. Springer, (2008)Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs., , and . CSL, volume 1092 of Lecture Notes in Computer Science, page 1-15. Springer, (1995)Algorithmic Structuring of Cut-free Proofs., and . CSL, volume 702 of Lecture Notes in Computer Science, page 29-42. Springer, (1992)Approximating Propositional Calculi by Finite-Valued Logics., and . ISMVL, page 257-263. IEEE Computer Society, (1994)Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of Logic., and . Bull. Symb. Log., 21 (2): 164-187 (2015)