Completeness for linear continuous logic

DOI10.1093/LOGCOM/EXV070zbMATH Open1444.03133OpenAlexW2589418655MaRDI QIDQ3133153FDOQ3133153

Authors: Seyed Mohammad Bagheri, Roghieh Safari 

Publication date: 13 February 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv070

Recommendations

• A proof of completeness for continuous first-order logic
• Maximality of linear continuous logic
• Preservation theorems in linear continuous logic
• scientific article; zbMATH DE number 7184880
• A completeness theorem for continuous predicate modal logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cited In (11)

• Correctness of linear logic proof structures is NL-complete
• A proof of completeness for continuous first-order logic
• Maximality of linear continuous logic
• A note on infinitary continuous logic
• Title not available (Why is that?)
• Cauchy completeness in elementary logic
• Consistency and interpolation in linear continuous logic
• Completeness of a prover for dense linear orders
• Theory of completeness for logical spaces
• Completeness and Decidability in Sequence Logic
• On the logic of continuous algebras

This page was built for publication: Completeness for linear continuous logic

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