Locally tabular \(\neq \) locally finite
From MaRDI portal
Publication:1682298
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
Related Items (2)
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