First-order substructural logics

Authors: Petr Cintula
Publication year: 2019
Publication type: Abstrakt
Periodical: WoLLIC 2019. Programme
Bibliographic citation: CINTULA, Petr. First-order substructural logics. In: WoLLIC 2019. Programme. Utrecht: Utrecht University, 2019. Dostupné z: https://wollic2019.sites.uu.nl/wp-content/uploads/sites/455/2019/06/Cintula.pdf
ID: 508234

Abstract

Substructural logics are a prominent family of non-classical logics whose complete semantics is given by classes of residuated lattices. While there is a vast literature on all thinkable aspects of propositional substructural logics, the works focusing on first-order predicate substructural logics are few and far between (with most prominent contributions by Hiroakira Ono.