On supervaluations in free logic

DOI10.2307/2274148zbMath0598.03007OpenAlexW2137138637MaRDI QIDQ3731571

Peter W. Woodruff

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274148

zbMATH Keywords

compactnesssecond-order logicsuperconsequencesupervaluational semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Classical first-order logic (03B10) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (4)

Some supervaluation-based consequence relations ⋮ Quasi-Truth, Supervaluations and Free Logic ⋮ Supervaluation fixed-point logics of truth ⋮ Proto-semantics for positive free logic

Cites Work

• The Completeness of Free Logic
• A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic
• Quantification and the empty domain

This page was built for publication: On supervaluations in free logic