Sequents, frames, and completeness

DOI10.1007/3-540-44622-2_18MaRDI QIDQ2753679zbMATH OpenFDO

Authors Thierry Coquand, Guoqiang Zhang

Publication date 3 December 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44622-2_18

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Frames, locales (06D22) Semantics in the theory of computing (68Q55)

Recommendations

• Entailment systems for stably locally compact locales
• Cut elimination for entailment relations
• Point-Free Spectra of Linear Spreads
• scientific article; zbMATH DE number 1420837
• Completeness and Decidability in Sequence Logic

Cited in

(18)

• A representation of stably compact spaces, and patch topology.
• Entailment systems for stably locally compact locales
• Eliminating disjunctions by disjunction elimination
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• A syntactical proof of the Marriage Lemma.
• Clausal logic and logic programming in algebraic domains
• Towards formal Baer criteria
• Cut elimination for entailment relations
• Point-Free Spectra of Linear Spreads
• Completeness and Decidability in Sequence Logic
• scientific article; zbMATH DE number 2051680 (Why is no real title available?)
• Extension by conservation. Sikorski's theorem
• scientific article; zbMATH DE number 6863852 (Why is no real title available?)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Eliminating disjunctions by disjunction elimination
• scientific article; zbMATH DE number 3316015 (Why is no real title available?)
• A general Glivenko-Gödel theorem for nuclei
• Conservation as translation

This page was built for publication: Sequents, frames, and completeness

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