Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Lattices of Intermediate Theories via Ruitenburg’s Theorem

Capitolo di libro
Data di Pubblicazione:
2022
Abstract:
For every univariate formula chi (i.e., containing at most one atomic proposition) we introduce a lattice of intermediate theories: the lattice of chi-logics. The key idea to define chi-logics is to interpret atomic propositions as fixpoints of the formula chi(2), which can be characterised syntactically using Ruitenburg's theorem. We show that chi-logics form a lattice, dually isomorphic to a special class of varieties of Heyting algebras. This approach allows us to build and describe five distinct lattices-corresponding to the possible fixpoints of univariate formulas-among which the lattice of negative variants of intermediate logics.
Tipologia CRIS:
02A-Contributo in volume
Elenco autori:
Grilletti, Gianluca; Quadrellaro, Davide Emilio
Link alla scheda completa:
https://iris.unito.it/handle/2318/2015450
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/2015450/1378128/2004.00989v1.pdf
Titolo del libro:
Language, Logic, and Computation -- 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Aree Di Ricerca

Aree Di Ricerca

Settori (5)


PE1_1 - Logic and foundations - (2024)

PE1_2 - Algebra - (2024)

SCIENZE DELLA VITA e FARMACOLOGIA - Interazioni tra molecole, cellule, organismi e ambiente

SCIENZE MATEMATICHE, CHIMICHE, FISICHE - Algebra e Geometria

SCIENZE MATEMATICHE, CHIMICHE, FISICHE - Storia e insegnamento della Matematica
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0