Basic Constructive Connectives, Determinism and Matrix-Based Semantics
From MaRDI portal
Publication:3010364
DOI10.1007/978-3-642-22119-4_11zbMath1333.03237MaRDI QIDQ3010364
Agata Ciabattoni, Anna Zamansky, Ori Lahav
Publication date: 1 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22119-4_11
03F05: Cut-elimination and normal-form theorems
Cites Work
- Towards a semantic characterization of cut-elimination
- Non-deterministic Multiple-valued Structures
- On Constructive Connectives and Systems
- Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
- Logical connectives for intuitionistic propositional logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item