University of Pittsburgh
Department of Philosophy
PhD, 1966
Areas of Specialization
Areas of Interest
•  6
•  13
##### Truth or Consequences (edited book) with A. Gupta Kluwer Academic Publishers. 1990.
This collection of essays was compiled for the occasion of Nuel Belnap's 60th birthday.
•  3
##### Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics with Katalin Bimbo and Nicholas Ferenz Australasian Journal of Logic 15 (2): 171-209. 2018.
A ternary relation is often used nowadays to interpret an implication connective of a logic, a practice that became dominant in the semantics of relevance logics. This paper examines two early manuscripts --- one by Routley, another by Meyer --- in which they were developing set-theoretic semantics for various relevance logics. A standard presentation of a ternary relational semantics for, let us say, the logic of relevant implication R is quite illuminating, yet the invention of this semantics …Read more
•  28
##### Four-valued Logic with Katalin Bimbó Notre Dame Journal of Formal Logic 42 (3): 171-192. 2001.
Four-valued semantics proved useful in many contexts from relevance logics to reasoning about computers. We extend this approach further. A sequent calculus is defined with logical connectives conjunction and disjunction that do not distribute over each other. We give a sound and complete semantics for this system and formulate the same logic as a tableaux system. Intensional conjunction and its residuals can be added to the sequent calculus straightforwardly. We extend a simplified version of t…Read more
•  9
•  4
•  3
•  5
•  5
•  2
•  2
•  7
•  8
•  1
•  4
•  3
•  5
•  2
•  29
•  6
•  93
•  18
##### New Consecution Calculi for $R^{t}_{\to}$ with Katalin Bimbó Notre Dame Journal of Formal Logic 53 (4): 491-509. 2012.
The implicational fragment of the logic of relevant implication, $R_{\to}$ is one of the oldest relevance logics and in 1959 was shown by Kripke to be decidable. The proof is based on $LR_{\to}$ , a Gentzen-style calculus. In this paper, we add the truth constant $\mathbf{t}$ to $LR_{\to}$ , but more importantly we show how to reshape the sequent calculus as a consecution calculus containing a binary structural connective, in which permutation is replaced by two structural rules that involve \$\m…Read more
•  4