Certain Bounds of Formulas in Free Temporal Algebras

In this paper, we give a basic structure theorem based on the study of extreme cases for the value of ≺ (the classical precedence relation between ultrafilters), i.e., <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mo>≺</mo><mo>=</mo><mo>∅</mo></m...

Fuld beskrivelse

Bibliografiske detaljer

Principais autores:	Francisco Miguel García-Olmedo, Antonio Jesús Rodríguez-Salas, Pedro González-Rodelas
Format:	Artigo
Sprog:	Inglês
Udgivet:	MDPI AG 2023-12-01
Serier:	Axioms
Fag:	temporal logic free temporal algebras polymodal algebras
Online adgang:	https://www.mdpi.com/2075-1680/12/12/1111
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!