A constructive investigation of satisfiability
From MaRDI portal
Publication:651313
DOI10.1016/j.apal.2011.06.019zbMath1246.03023MaRDI QIDQ651313
Publication date: 12 December 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2011.06.019
03F65: Other constructive mathematics
03F03: Proof theory in general (including proof-theoretic semantics)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Cites Work
- Formal Zariski topology: Positivity and points
- Finiteness in a Minimalist Foundation
- Formal topologies on the set of first-order formulae
- An application of constructive completeness
- Pretopologies and completeness proofs
- A constructive semantics for non‐deducibility
- Proof theory
- Unnamed Item
- Unnamed Item
- Unnamed Item