A constructive investigation of satisfiability

DOI10.1016/J.APAL.2011.06.019zbMath1246.03023OpenAlexW2056060841MaRDI QIDQ651313

Francesco Ciraulo

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

zbMATH Keywords

intuitionistic logicsatisfiabilitytopological semanticsconstructivity

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

A Minimalist Foundation at Work ⋮ The overlap algebra of regular opens

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