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) Proof theory in general (including proof-theoretic semantics) (03F03) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

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

(11)

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