Locally tabular locally finite

DOI10.1007/S11787-017-0174-3MaRDI QIDQ1682298zbMATH OpenOpenAlexFDO

Authors Sérgio Marcelino, Umberto Rivieccio

Publication date 29 November 2017

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-017-0174-3

zbMATH Keywords

matrix semanticslocally finitelocally tabularselfextensional logics

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Recommendations

• Local tabularity without transitivity
• Finite axiomatizability of locally tabular superintuitionistic logics
• On the density of truth of locally finite logics
• Characterizing finite-valuedness
• The tabularity problem over the minimal logic

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• Algebraizable logics
• An algebraic view of super-Belnap logics
• An infinity of super-Belnap logics
• Deducibility and many-valuedness
• Metamathematics of fuzzy logic
• On the characterization of fibred logics, with applications to conservativity and finite-valuedness
• On the closure properties of the class of full G-models of a deductive system
• Protoalgebraic logics
• The logic of distributive bilattices
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(4)

• Local tabularity without transitivity
• Finite axiomatizability of locally tabular superintuitionistic logics
• Compositional meaning in logic
• Characterizing finite-valuedness

This page was built for publication: Locally tabular \(\neq \) locally finite

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1682298)