Tense logics based on posets

DOI10.1093/LOGCOM/EXAE081MaRDI QIDQ6909833zbMATH OpenFDO

Authors Ivan Chajda, Helmut Länger, Antonio Ledda, Jan Paseka, Gandolfo Vergottini

Publication date 29 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE081

zbMATH Keywords

adjoint operatoradjoint pairDedekind-MacNeille completionimplicationorthomodular posetposettense logictense operatortime frame

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Temporal logic (03B44) Quantum logic (03G12) Other algebras related to logic (03G25) Algebraic aspects of posets (06A11) Partial algebras (08A55) Computer science (68-XX)

Cites work

• Algebraic approach to tense operators
• Algebraic foundations of many-valued reasoning
• An alternative definition of tense operators on residuated lattices
• Dynamic order algebras as an axiomatization of modal and tense logics
• scientific article; zbMATH DE number 432737 (Why is no real title available?)
• scientific article; zbMATH DE number 3889596 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• scientific article; zbMATH DE number 3027414 (Why is no real title available?)
• Introduction to Boolean Algebras
• Linear Tense Logics of Increasing Sets
• Metamathematics of fuzzy logic
• On semilattice-based logics with an algebraizable assertional companion
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Residuated lattices. An algebraic glimpse at substructural logics
• Semilattice structures.
• Tense logic based on finite orthomodular posets
• Tense operators on De Morgan algebras
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
• The logic of quantum mechanics
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• The MacNeille completions for residuated S-posets

This page was built for publication: Tense logics based on posets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6909833)