Free modal Riesz spaces are Archimedean: a syntactic proof

DOI10.1007/978-3-030-88701-8_17OpenAlexW3208636581MaRDI QIDQ2695359

Christophe Lucas, Matteo Mio

Publication date: 30 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-88701-8_17

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Coquelicot

Cites Work

• Untersuchungen über das logische Schliessen. II
• Coquelicot: a user-friendly library of real analysis for Coq
• Towards a structural proof theory of probabilistic \(\mu\)-calculi
• Proof theory for fuzzy logics
• Free Vector Lattices
• The mix rule
• Łukasiewicz μ-calculus
• Riesz Modal Logic with Threshold Operators
• Free Vector Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Free modal Riesz spaces are Archimedean: a syntactic proof