A constructive investigation of satisfiability
From MaRDI portal
Publication:651313
DOI10.1016/J.APAL.2011.06.019zbMath1246.03023OpenAlexW2056060841MaRDI 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
Other constructive mathematics (03F65) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: A constructive investigation of satisfiability