scientific article; zbMATH DE number 2079776

zbMath1043.03508MaRDI QIDQ4471865

Seiki Akama, Jair Minoro Abe

Publication date: 30 July 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1952/19520217.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

paraconsistencyparaconsistent temporal logictime in paraconsistent logics

Mathematics Subject Classification ID

Temporal logic (03B44) Paraconsistent logics (03B53)

Related Items (5)

Temporal BI: proof system, semantics and translations ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ A Survey of Annotated Logics ⋮ Paraconsistency, Chellas’s Conditional Logics, and Association Rules ⋮ Jair Minoro Abe on Paraconsistent Engineering

This page was built for publication: