The following pages link to Richard Zach (Q288246):
Displaying 39 items.
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- The epsilon calculus and Herbrand complexity (Q817706) (← links)
- Note on generalizing theorems in algebraically closed fields (Q1267838) (← links)
- Completeness of a first-order temporal logic with time-gaps (Q1350524) (← links)
- Labeled calculi and finite-valued logics (Q1580658) (← links)
- Carnap's early metatheory: scope and limits (Q1708750) (← links)
- Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) (Q1826435) (← links)
- Generalizing theorems in real closed fields (Q1899140) (← links)
- Corrections to: ``Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)'' (Q2144212) (← links)
- First-order Gödel logics (Q2370370) (← links)
- (Q2753673) (← links)
- (Q2767023) (← links)
- HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC (Q2795296) (← links)
- Tableaux for Reasoning about Atomic Updates (Q2996198) (← links)
- (Q3016124) (← links)
- Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC (Q3121056) (← links)
- (Q3142560) (← links)
- Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs (Q3160441) (← links)
- (Q4282535) (← links)
- (Q4283227) (← links)
- (Q4431386) (← links)
- (Q4525273) (← links)
- MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
- (Q4840168) (← links)
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic (Q4940735) (← links)
- (Q4967207) (← links)
- (Q4967208) (← links)
- An Introduction to Proof Theory (Q5010232) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- The Significance of the Curry-Howard Isomorphism (Q5115868) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- Computer Science Logic (Q5292657) (← links)
- Effective Finite-Valued Approximations of General Propositional Logics (Q5452176) (← links)
- Logical Approaches to Computational Barriers (Q5898854) (← links)
- THE GENEALOGY OF ‘’ (Q6051426) (← links)
- Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC (Q6107288) (← links)
- Epsilon Theorems in Intermediate Logics (Q6321846) (← links)
