scientific article; zbMATH DE number 7668100
From MaRDI portal
Publication:5884949
George Metcalfe, Unnamed Author, Petr Cintula
Publication date: 24 March 2023
Full work available at URL: https://arxiv.org/abs/2209.08566
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interpolationmodal logicsequent calculussubstructural logicsone-variable fragmentsuperamalgamationlattice-valued logics
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
This page was built for publication:
