Completeness and super-valuations
From MaRDI portal
Publication:815011
DOI10.1007/s10992-004-6302-6zbMath1085.03008OpenAlexW2105643768MaRDI QIDQ815011
Publication date: 8 February 2006
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-004-6302-6
Abstract deductive systems (03B22) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Model-theoretic forcing (03C25)
Related Items (6)
Derivability and metainferential validity ⋮ Two traditions in abstract valuational model theory ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ Inferentializing semantics ⋮ Valuations: bi, tri, and tetra ⋮ What is a non-truth-functional logic?
This page was built for publication: Completeness and super-valuations
