Advertisement

Completeness

  • Kenneth A. Bowen
Chapter
  • 115 Downloads
Part of the Synthese Library book series (SYLI, volume 127)

Abstract

Our approach to the completeness problem is in the style of Henkin as developed by Lemmon and Scott (1966), Makinson (1966), Routley (1970), Schutte (1970), van Fraasen (1969), and Thomason (1970) (cf. also Aczel (1968), Åqvist (1971), Kripke (1959), and Thomason (1968)). An S-theory T is said to be S-consistent if there are no nonlogical axioms B 1, …, B n of T such that
$$\Gamma _T^S\neg \;{B_1} \vee \ldots \vee \neg \;{B_n}$$
(4.1)
.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1979

Authors and Affiliations

  • Kenneth A. Bowen
    • 1
  1. 1.Syracuse UniversityUSA

Personalised recommendations