On Metric Temporal Łukasiewicz Logic

DOI10.1016/j.entcs.2009.07.016zbMath1348.03023OpenAlexW2093580490MaRDI QIDQ4982626

Elisa B. P. Tiezzi, Tommaso Flaminio

Publication date: 9 April 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.016

zbMATH Keywords

sequent calculusŁukasiewicz logicmetric temporal logiclogical model

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50) Temporal logic (03B44) Combinatory logic and lambda calculus (03B40)

Related Items

Model checking fuzzy computation tree logic

Cites Work

• Transactions on Computational Systems Biology VI
• Programming in metric temporal logic
• Metamathematics of fuzzy logic
• Mathematical modeling of observed natural behavior: a fuzzy logic approach
• Finiteness in infinite-valued Łukasiewicz logic
• A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain
• Logic for Programming, Artificial Intelligence, and Reasoning
• Łukasiewicz Logic: From Proof Systems To Logic Programming
• Fuzzy logic programming