Open formulas and the empty domain

DOI10.1007/BF01982052zbMath0181.29801OpenAlexW1980017601MaRDI QIDQ5571681

Hugues Leblanc, Robert K. Meyer

Publication date: 1969

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

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

zbMATH Keywords

general logic

Related Items (1)

A liberated version of S5

Cites Work

• Unnamed Item
• Unnamed Item
• On the definition of ‘formal deduction’
• Completeness theorems for some presupposition-free logics
• On Meyer and Lambert's quantificational calculus FQ
• On Tarski's formalization of predicate logic with identity
• The completeness of the first-order functional calculus
• On the rules of proof in the pure functional calculus of the first order
• Quantification theory and empty individual-domains
• Quantification and the empty domain

This page was built for publication: Open formulas and the empty domain