Robert C. Flagg

Publication Activity (10 Years)

Years Active: 1978-2002
Publications (10 Years): 0

Publications

Robert C. Flagg, Philipp Sünderhauf
The essence of ideal completion in quantitative form. Theor. Comput. Sci. 278 (1-2) (2002)
Robert C. Flagg
K-continuous lattices and comprehension principles for frege structures. Ann. Pure Appl. Log. 36 (1987)
Robert C. Flagg, John J. Myhill
Implication and analysis in classical frege structures. Ann. Pure Appl. Log. 34 (1) (1987)
Robert C. Flagg
Integrating classical and intuitionistic type theory. Ann. Pure Appl. Log. 32 (1986)
Robert C. Flagg
On the independence of the Bigos-Kalmár axioms for sentential calculus. Notre Dame J. Formal Log. 19 (2) (1978)