A constructive proof of the Craig's interpolation theorem for \textbf{QCiore}
From MaRDI portal
Publication:6922541
Cites work
- Aspects of Paraconsistent Logic
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- Cut-free sequent-style systems for a logic associated to involutive Stone algebras
- Definability and quantifier elimination for \(J_ 3\)-theories
- Formal inconsistency and evolutionary databases
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 3993546 (Why is no real title available?)
- scientific article; zbMATH DE number 4114587 (Why is no real title available?)
- scientific article; zbMATH DE number 3453564 (Why is no real title available?)
- scientific article; zbMATH DE number 3192057 (Why is no real title available?)
- Logics of formal inconsistency
- Modular construction of cut-free sequent calculi for paraconsistent logics
- On the logic that preserves degrees of truth associated to involutive Stone algebras
- On the theory of inconsistent formal systems
- Pragmatic truth and approximation to truth
- Proof-theoretic aspects of paraconsistency with strong consistency operator
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- The logic of paradox
This page was built for publication: A constructive proof of the Craig's interpolation theorem for \textbf{QCiore}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6922541)
