A temporal semantics for basic logic

DOI10.1007/S11225-009-9192-3MaRDI QIDQ1037596zbMATH OpenOpenAlexWikidataFDO

Authors Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra

Publication date 16 November 2009

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-009-9192-3

zbMATH Keywords

basic logicmany-valued logicsmodal logicstemporal logicstemporal semanticsŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Review text

In this paper, the authors give a temporal semantics of Basic Fuzzy Logic, the many-valued logic of continuous t-norms [see \textit{P. Hájek}, Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)]. The algebraic counterparts of Basic Fuzzy Logic are the BL-algebras. Any linearly ordered BL-algebra can be decomposed as the ordinal sum of linearly ordered MV-algebras (that are the algebraic counterpart of Łukasiewicz logic). Using this decomposition and the completeness theorem of Basic Logic with respect to linearly ordered BL-algebras, a temporal semantics is given for Basic Logic in such a way that the logic of each instant is Łukasiewicz logic with a finite or infinite number of truth values. The main result of the paper is the soundness with respect to flows of time that do not branch in the future and completeness with respect to all finite linear flows of time.

Recommendations

• A temporal semantics for nilpotent minimum logic
• The semantics and generalized tautology of fuzzy temporal logic
• scientific article; zbMATH DE number 1775476
• On Metric Temporal Łukasiewicz Logic
• A way to interpret Łukasiewicz logic and basic logic

Cites work

• A propositional calculus with denumerable matrix
• A treatise on many-valued logics
• Basic hoops: an algebraic study of continuous t-norms
• Dialogue games for many-valued logics -- an overview
• Generating the variety of BL-algebras
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 705155 (Why is no real title available?)
• Metamathematics of fuzzy logic
• Varieties of BL-algebras

Cited in

(13)

• Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
• Semantics of temporal classes
• Temporal alethic-deontic logic and semantic tableaux
• Poset products as relational models
• Probability over Płonka sums of Boolean algebras: states, metrics and topology
• Alternative semantics for temporal logics
• A temporal semantics for nilpotent minimum logic
• Some modal and temporal translations of generalized basic logic
• A really temporal logic
• scientific article; zbMATH DE number 6787711 (Why is no real title available?)
• A temporal logic for sortals
• A Kripke Semantics for Hajek's BL
• Interpolation in Hájek's basic logic

This page was built for publication: A temporal semantics for basic logic

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