PhilPapers
PhilPeople
PhilArchive
PhilEvents
PhilJobs
Sign in
Sign in
News Feed
Find Philosophers
Departments
Radar
Help
Drag to reposition
Save
Cancel
University of Calgary
Department of Philosophy
Follow
News
Feed
Department Members
21
Regular faculty
7
Other faculty
4
Retired faculty
36
Graduate students
49
Undergraduates
16
Alumni
1
Other
Department Activity
News and Updates
Publications
More details
Details
MA program offered
PhD program offered
Website
Administrators
Nicole Wyatt
Also at University of Calgary
Libraries And Cultural Resources
All departments
Other departments
Department Members
21
Regular faculty
7
Other faculty
4
Retired faculty
36
Graduate students
49
Undergraduates
16
Alumni
1
Other
Department Activity
News and Updates
Publications
Also at University of Calgary
Libraries And Cultural Resources
All departments
Other departments
Topic
All topics
Metaphysics & Epistemology
Epistemology
Epistemological Theories
Epistemic Contextualism
Metaphilosophy
Metaphysics
Phil. of Action
Free Will
Theories of Free Will
Incompatibilism
Libertarianism about Free Will
Topics in Free Will
Alternative Possibilities
Free Will & Responsibility
Action Theory
Phil. of Language
Specific Expressions
Phil. of Mind
Phil. of Religion
Value Theory
Aesthetics
Applied Ethics
Meta-Ethics
Moral Responsibility
Normative Ethics
Phil. of Gender, Race, & Sexuality
Phil. of Law
Social & Political Phil.
Value Theory, Misc.
Ethics
Science, Logic, & Mathematics
Logic & Phil. of Logic
Logics
Nonclassical Logics
Logic & Phil. of Logic, Misc.
Proof Theory
Phil. of Biology
Evolutionary Biology
Genetics & Molecular Biology
Phil. of Biology, Misc.
Systematic Biology
Species
Phil. of Cognitive Science
Phil. of Computing & Information
Phil. of Mathematics
Phil. of Physical Science
Phil. of Social Science
Phil. of Probability
General Phil. of Science
Phil. of Science, Misc
History of Western Phil.
Ancient Greek & Roman Phil.
Medieval & Renaissance Phil.
17th / 18th Century Phil.
19th Century Phil.
19th Century American Phil.
Charles Sanders Peirce
19th Century German Phil.
Friedrich Nietzsche
20th Century Phil.
Philosophical Traditions
Asian Phil.
Continental Phil.
European Phil.
Phil. of the Americas
Phil., Misc
Phil., Introductions & Anthologies
Teaching Phil.
Other Academic Areas
Social Sciences
Formal Sciences
Arts & Humanities
Professional Areas
Order
Newest
Viewings
Faculty only
Richard Zach
,
Numbers and functions in Hilbert's finitism
Taiwanese Journal for History and Philosophy of Science
10 33-60. 1998.
Jeremy Fantl
,
Arda Denkel, Object and Property Reviewed by
Philosophy in Review
17 (3): 162-164. 1997.
Jeremy Fantl
,
Arda Denkel, Object and Property
(review)
Philosophy in Review
17 162-164. 1997.
Jeremy Fantl
,
DM Armstrong, CB Martin and UT Place, Dispositions: A Debate Reviewed by
Philosophy in Review
17 (2): 80-82. 1997.
Jeremy Fantl
,
D.M. Armstrong, C.B. Martin And U.T. Place, Dispositions: A Debate
(review)
Philosophy in Review
17 80-82. 1997.
Matthias Baaz
, Alexander Leitsch, and
Richard Zach
,
Completeness of a first-order temporal logic with time-gaps
Theoretical Computer Science
160 (1-2): 241-270. 1996.
Matthias Baaz
, Alexander Leitsch, and
Richard Zach
,
Incompleteness of a first-order Gödel logic and some temporal logics of programs
In Kleine Büning Hans (ed.),
Computer Science Logic. CSL 1995. Selected Papers
, Springer. pp. 1--15. 1996.
Matthias Baaz
and
Richard Zach
,
Generalizing theorems in real closed fields
Annals of Pure and Applied Logic
75 (1-2): 3-23. 1995.
Petr Hajek and
Richard Zach
,
Leonard Bolc and Piotr Borowik: Many-valued logics: 1. Theoretical foundations, Berlin: Springer, 1991
(review)
Journal of Applied Non-Classical Logics
4 (2): 215-220. 1994.
Matthias Baaz
and
Richard Zach
,
Short Proofs of Tautologies using the Schema of Equivalence
In Börger Egon, Gurevich Yuri & Meinke Karl (eds.),
Computer Science Logic. 7th Workshop, CSL '93, Swansea. Selected Papers
, Springer. pp. 33-35. 1994.
Matthias Baaz
and
Richard Zach
,
Approximating Propositional Calculi by Finite-valued Logics
In Baaz Matthias & Zach Richard (eds.),
24th International Symposium on Multiple-valued Logic, 1994. Proceedings
, Ieee Press. 1994.
Matthias Baaz
, Christian G. Fermüller, and
Richard Zach
,
Systematic construction of natural deduction systems for many-valued logics
In Unknown (ed.),
Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993
, Ieee Press. pp. 208-213. 1993.
Matthias Baaz
, Christian G. Fermüller, and
Richard Zach
,
Dual Systems of Sequents and Tableaux for Many-Valued Logics
Bulletin of the EATCS
51 192-197. 1993.
Matthias Baaz
, Christian G. Fermüller, and
Richard Zach
,
Elimination of Cuts in First-order Finite-valued Logics
Journal of Information Processing and Cybernetics EIK
29 (6): 333-355. 1993.
Matthias Baaz
and
Richard Zach
,
Algorithmic Structuring of Cut-free Proofs
In Börger Egon, Kleine Büning Hans, Jäger Gerhard, Martini Simone & Richter Michael M. (eds.),
Computer Science Logic. CSL’92, San Miniato, Italy. Selected Papers
, Springer. 1993.
Richard Zach
,
Proof Theory of Finite-valued Logics
Dissertation,
Technische Universität Wien
. 1993.
Richard Zach
,
Gödel’s first incompleteness theorem and mathematical instrumentalism
Robert Trueman
,
Richard Zach
, and
Chanwoo Lee
,
양상논리 맛보기 (Tasting Modal Logic)
Nicole Wyatt
,
Naming and Refusing
Daniel Steel
and
Megan Delehanty
,
Models and mechanisms: On the methodology of animal extrapolation
Prev.
1
2
3
4
5
6
7
Next
Details
MA program offered
PhD program offered
Website
Administrators
Nicole Wyatt