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

many-valued logicsmodal logicstemporal logicsbasic logictemporal semanticsŁukasiewicz logic

Mathematics Subject Classification ID

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

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

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 705155 (Why is no real title available?)
• 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
• Metamathematics of fuzzy logic
• Varieties of BL-algebras

Cited in

(12)

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

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)