Next Issue
Volume 3, June
Previous Issue
Volume 2, December
 
 

Logics, Volume 3, Issue 1 (March 2025) – 1 article

  • Issues are regarded as officially published after their release is announced to the table of contents alert mailing list.
  • You may sign up for e-mail alerts to receive table of contents of newly released issues.
  • PDF is the official format for papers published in both, html and pdf forms. To view the papers in pdf format, click on the "PDF Full-text" link, and use the free Adobe Reader to open them.
Order results
Result details
Select all
Export citation of selected articles as:
21 pages, 500 KiB  
Article
A Van Benthem Characterization Result for Distribution-Free Logics
by Chrysafis Hartonas
Logics 2025, 3(1), 1; https://doi.org/10.3390/logics3010001 - 3 Jan 2025
Cited by 1 | Viewed by 583
Abstract
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the more general setting of the logics of [...] Read more.
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the more general setting of the logics of normal lattice expansions. Our proof approach makes use of a fully abstract translation of the language of the logics of interest into the language of sorted residuated modal logic, building on an analogous translation of substructural logics recently published by the author. The article is intended as a demonstration and application of a project of reduction of non-distributive logics to (sorted) residuated modal logics. The reduction makes the proof of a van Benthem characterization of non-distributive logics possible, by adapting, reusing and generalizing existing results. Full article
Previous Issue
Next Issue
Back to TopTop