Prof. Tiede pursues research in applied logic and mathematical linguistics. He serves as editor of the Journal of Logic, Language, and Information. Prof. Tiede is also active in the American Association of University Professors (AAUP) and currently serves on Committee A on Academic Freedom and Tenure, as well as the Committee on College and University Governance. Prof. Tiede regularly teaches Programming Languages, Models of Computing, Computer Science II, Applications of Sets, Logic, and Recursion, and Introduction to Cognitive Science.
Academic Freedom and Tenure
Academic Freedom and Tenure: University of Northern Iowa (with Michael Bérubé, Ernst Benjamin, and Sharon E. Wood) (2012)
This report concerns actions taken in February and March 2012 by the administration of the...
Applied Modal Logic
Applications of Modal Logic in Linguistics (with Lawrence Moss), Handbook of Modal Logic (2007)
This is a survey of work in semantics and syntax that uses modal logic, treating...
Learnability Theory
Identifiability in the Limit of Context-Free Generalized Quantifiers, Journal of Language and Computation (1999)
We investigate the indentifiability in the limit of subclasses of generalized quantifiers definable in Presburger...
Methodology of Linguistics
Inessential Features and Expressive Power of Descriptive Metalanguages (with Geoffrey K. Pullum), Features: Perspectives on a Key Notion in Linguistics (2010)
Linguists employ a variety of features, ranging from traditional, such as morphosyntactic features like those...
Model Theoretic Syntax
Monadic Second-Order Logic and Transitive Closure Logics Over Trees (with Stephan Kepser), Research on Language & Computation (2009)
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural...
Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax, Journal of Logic, Language and Information (2008)
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal...
Proof Theoretical Syntax
Proof Theory and Formal Grammars - Applications of Normalization, Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics. (2003)
Proof Tree Automata, Words, Proofs, and Diagrams (2002)
In this paper, we continue our investigation of the strong generative capacity of proof theoretical...
Lambek Calculus Proofs and Tree Automata, Logical Aspects of Computational Linguistics (2001)
We investigate natural deduction proofs of the Lambek calculus from the point of view of...
Counting the Number of Proofs in the Commutative Lambek Calculus, JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday (1999)
This paper is concerned with the study of the number of proofs of a sequent...
Ph.D. Thesis
Deductive Systems and Grammars (1999)
During the last fifteen years, much of the research of proof theoretical grammars has been...