The quest for basic fuzzy logic was initiated by Petr Hájek when he proposed his basic fuzzy
logic BL, complete with respect to the semantics given by all continuous t-norms. Later …

Substructural logics extending the full Lambek calculus FL have largely benefited from a
systematical algebraic approach based on the study of their algebraic counterparts …

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 …

Abstract The Belnap–Dunn logic (also known as First Degree Entailment, or FDE) is a well-
known and well-studied four-valued logic, but until recently little has been known about its …

Completeness and other forms of Zorn's Lemma are sometimes invoked for semantic proofs
of conservation in relatively elementary mathematical contexts in which the corresponding …

As part of a general research programme into the expressive power of different
generalisations of the sequent framework we investigate hypersequent calculi given by rules …

This paper considers Henkin's proof of completeness of classical first-order logic and
extends its scope to the realm of algebraizable logics in the sense of Blok and Pigozzi …

We continue our program of establishing connections between proof-theoretic and order-
algebraic properties in the setting of substructural logics and residuated lattices. Extending …

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 STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS Page 1 THE REVIEW OF
SYMBOLIC LOGIC Volume 11, Number 4, December 2018 A STUDY OF TRUTH PREDICATES …