Strict Canonical Constructive Systems
From MaRDI portal
Publication:3585998
DOI10.1007/978-3-642-15025-8_4zbMath1287.03099OpenAlexW2155262709MaRDI QIDQ3585998
Publication date: 3 September 2010
Published in: Fields of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15025-8_4
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Simple consequence relations
- A non-deterministic view on non-classical negations
- Towards a semantic characterization of cut-elimination
- Non-deterministic semantics for dynamic topological logic
- Gentzen-type systems, resolution and tableaux
- Non-deterministic Multiple-valued Structures
- Canonical Constructive Systems