Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser
modalities such as globalization and “very true” are presented here both algebraically in the …

This research monograph presents our approach to the general algebraic study of non-
classical logics. More precisely, it offers a systematic study of weakly implicative logics, a …

This paper presents an overview of the methods of hypersequents and display sequents in
the proof theory of non-classical logics. In contrast with existing surveys dedicated to …

An approximate Herbrand theorem is established for first-order infinite-valued Łukasiewicz
Logic and used to obtain a proof-theoretic proof of Skolemization. These results are then …

This paper presents an abstract study of completeness properties of non-classical logics
with respect to matricial semantics. Given a class of reduced matrix models we define three …

A non-distributive two-sorted hypersequent calculus PDBL and its modal extension MPDBL
are proposed for the classes of pure double Boolean algebras and pure double Boolean …

Proof-theoretic methods are developed and exploited to establish properties of the variety of
lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to …

A note on standard completeness for some extensions of uninorm logic | SpringerLink Skip to
main content Advertisement SpringerLink Log in Menu Find a journal Publish with us Search …

This paper presents several results on the non-commutative fuzzy logic HpsUL, a Hilbert
system whose corresponding algebraic semantics is the variety of bounded representable …

The admissible rules of a logic (understood as a structural consequence relation) may be
described as rules that can be added to the logic without producing any new theorems, or …