Locally tabular \(\neq \) locally finite

DOI10.1007/s11787-017-0174-3zbMath1420.03023OpenAlexW2734500746MaRDI QIDQ1682298

Umberto Rivieccio, Sérgio Marcelino

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)

Related Items (2)

Compositional meaning in logic ⋮ Characterizing finite-valuedness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• Metamathematics of fuzzy logic
• An algebraic view of super-Belnap logics
• On the closure properties of the class of full G-models of a deductive system
• The logic of distributive bilattices
• On the characterization of fibred logics, with applications to conservativity and finite-valuedness
• Algebraizable logics
• An infinity of super-Belnap logics
• Deducibility and many-valuedness
• Protoalgebraic logics

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