Locally tabular locally finite

DOI10.1007/S11787-017-0174-3zbMATH Open1420.03023OpenAlexW2734500746MaRDI QIDQ1682298FDOQ1682298

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

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

zbMATH Keywords

matrix semanticslocally finitelocally tabularselfextensional logics

Mathematics Subject Classification ID

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

Cites Work

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

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)