Igor Urbas

Publication Activity (10 Years)

Years Active: 1986-1996
Publications (10 Years): 0

Publications

Igor Urbas
Dual-Intuitionistic Logic. Notre Dame J. Formal Log. 37 (3) (1996)
Igor Urbas
of Arruda and Da Costa. Math. Log. Q. 36 (2) (1990)
Igor Urbas
Paraconsistency and the ℂ-Systems of da Costa. Notre Dame J. Formal Log. 30 (4) (1989)
Robert K. Meyer, Igor Urbas
Conservative Extension in Relevant Arithmetic. Math. Log. Q. 32 (1-5) (1986)