Peter Roeper

12 papers Journal 12

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	Reasoning with Truth. J. Philos. Log. Peter Roeper
2006	J	`jnl`	The Aristotelian Continuum. A Formal Characterization. Notre Dame J. Formal Log. Peter Roeper
2004	J	`jnl`	A Sequent Formulation of Conditional Logic Based on Belief Change Operations. Stud Logica Peter Roeper
2004	J	`jnl`	First- and Second-Order Logic of Mass Terms. J. Philos. Log. Peter Roeper
1999	J	`jnl`	Absolute Probability Functions for Intuitionistic Propositional Logic. J. Philos. Log. Peter Roeper, Hugues Leblanc
1997	J	`jnl`	Region-Based Topology. J. Philos. Log. Peter Roeper
1995	J	`jnl`	Consequence and Confirmation. Notre Dame J. Formal Log. Peter Roeper, Hugues Leblanc
1991	J	`jnl`	Henkin's Completeness Proof: Forty Years Later. Notre Dame J. Formal Log. Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver
1991	J	`jnl`	Indiscernability and Identiy in Probability Theory. Notre Dame J. Formal Log. Peter Roeper, Hugues Leblanc
1989	J	`jnl`	On Relativizing Kolmogorov's Absolute Probability Functions. Notre Dame J. Formal Log. Hugues Leblanc, Peter Roeper
1987	J	`jnl`	Principles of abstraction for events and processes. J. Philos. Log. Peter Roeper
1985	J	`jnl`	Generalisation of First-Order Logic to Nonatomic Domains. J. Symb. Log. Peter Roeper