scientific article
From MaRDI portal
Publication:3435238
zbMath1117.03035MaRDI QIDQ3435238
Juliana Bueno-Soler, Walter Alexandre Carnielli
Publication date: 25 April 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Conservative translations revisited ⋮ Reconciling First-Order Logic to Algebra ⋮ A survey on categories of logics and algebraizable logics ⋮ Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
This page was built for publication:
