A mereotopology based on sequent algebras
From MaRDI portal
Publication:4586239
DOI10.1080/11663081.2017.1420590zbMATH Open1398.03147OpenAlexW2791734279MaRDI QIDQ4586239FDOQ4586239
Publication date: 12 September 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2017.1420590
Recommendations
- A necessary relation algebra for mereotopology
- A universal algebraic set theory built on mereology with applications
- On a sequential model of the algebra of finite-valued logic
- Sequent calculi for semi-De Morgan and De Morgan algebras
- Sequent calculi and quasivarieties
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
- On the Algebraization of Many-Sorted Logics
- scientific article; zbMATH DE number 672330
- A calculus of multiary sequent terms
- A constructive sequence algebra for the calculus of indications
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Foundations of classical theories (including reverse mathematics) (03B30) Other algebras related to logic (03G25)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Region-based theory of discrete spaces: A proximity approach
- A representation theorem for Boolean contact algebras
- Title not available (Why is that?)
- Region-based theory of space: algebras of regions, representation theory, and logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logics of space with connectedness predicates: complete axiomatizations
Cited In (3)
This page was built for publication: A mereotopology based on sequent algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586239)
