Completeness for linear continuous logic

DOI10.1093/LOGCOM/EXV070MaRDI QIDQ3133153zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(12)

• On the logic of continuous algebras
• Completeness of a prover for dense linear orders
• Theory of completeness for logical spaces
• Cauchy completeness in elementary logic
• A note on infinitary continuous logic
• Completeness and Decidability in Sequence Logic
• scientific article; zbMATH DE number 1978362 (Why is no real title available?)
• Maximality of linear continuous logic
• A proof of completeness for continuous first-order logic
• Correctness of linear logic proof structures is NL-complete
• Preservation theorems in linear continuous logic
• Consistency and interpolation in linear continuous logic

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)