scientific article; zbMATH DE number 6741901
From MaRDI portal
Publication:5271383
zbMath1367.03044MaRDI QIDQ5271383
Xavier Parent, Leendert van der Torre
Publication date: 11 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Variable priorities and exclusionary reasons in input/output logic ⋮ From input/output logics to conditional logics via sequents -- with provers ⋮ A concept approach to input/output logic ⋮ AGM contraction and revision of rules
This page was built for publication: