Robert C. Flagg

According to our database, Robert C. Flagg authored at least 9 papers between 1978 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

The essence of ideal completion in quantitative form.

Robert C. Flagg, Philipp Sünderhauf

Theor. Comput. Sci., 2002

1987

Implication and analysis in classical frege structures.

Robert C. Flagg, John J. Myhill

Ann. Pure Appl. Log., 1987

Maximality in modal logic.

Robert C. Flagg, Harvey M. Friedman

Ann. Pure Appl. Log., 1987

K-continuous lattices and comprehension principles for frege structures.

Robert C. Flagg

Ann. Pure Appl. Log., 1987

1986

Epistemic and intuitionistic formal systems.

Robert C. Flagg, Harvey M. Friedman

Ann. Pure Appl. Log., 1986

Integrating classical and intuitionistic type theory.

Robert C. Flagg

Ann. Pure Appl. Log., 1986

1985

Epistemic Set Theory is a Conservative Extension of Intuitionistic Set Theory.

Robert C. Flagg

J. Symb. Log., 1985

1978

On the independence of the Bigos-Kalmár axioms for sentential calculus.

Robert C. Flagg

Notre Dame J. Formal Log., 1978

Implementation of an Iterative Technique for the Solution of Generalized Emden - Fowler Eigenproblems.

Robert C. Flagg, C. D. Luning, W. L. Perry

Proceedings of the Codes for Boundary-Value Problems in Ordinary Differential Equations, 1978