Completeness theorems for some presupposition-free logics

DOI10.4064/fm-62-2-125-164zbMath0162.31202OpenAlexW1911653709MaRDI QIDQ5545946

Richmond H. Thomason, Hugues Leblanc

Publication date: 1968

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214012

zbMATH Keywords

algebraic logic, model theory

Related Items (6)

Open formulas and the empty domain ⋮ Proof-theory and semantics for a theory of definite descriptions ⋮ Life on the Range: Quine’s Thesis and Semantic Indeterminacy ⋮ State-of-affairs semantics for positive free logic ⋮ A mechanization of strong Kleene logic for partial functions ⋮ Proto-semantics for positive free logic

This page was built for publication: Completeness theorems for some presupposition-free logics