Igor Urbas

According to our database¹, Igor Urbas authored at least 4 papers between 1986 and 1996.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1996

Dual-Intuitionistic Logic.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1996

1990

On subsystems of the system J<sub>1</sub> of Arruda and Da Costa.

[BibT_eX]

[DOI]

Math. Log. Q., 1990

1989

Paraconsistency and the ℂ-Systems of da Costa.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1989

1986

Conservative Extension in Relevant Arithmetic.

[BibT_eX]

[DOI]

Math. Log. Q., 1986