A simple strong completeness proof for sentential logic.
نویسندگان
چکیده
منابع مشابه
A Simple Proof of Arithmetical Completeness for Π1-conservativity Logic
Hájek and Montagna proved that the modal propositional logic ILM is the logic of Π1-conservativity over sound theories containing IΣ1 (PA with induction restricted to Σ1 formulas). I give a simpler proof of the
متن کاملStrong conceptual completeness for first-order logic
By a strong conceptual completeness (XC) statement for a logical doctrine we mean an assertion that says that any theory of the doctrine can be recovered from an appropriate structure formed by the models of the theory. The expression ‘logical doctrine’ is used here as in [9] to mean a specific selection of logical operations giving rise to a notion of theory, in the form of a structured catego...
متن کاملA proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) to various natural classes of complete metric structures (such as probability algebras, Hilbert spaces, and Banach spaces). With research in continuous first-order logic preoccupied with studying the model theory of this fr...
متن کاملA Hierarchical Completeness Proof for Propositional Temporal Logic
We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). This makes use of a natural hierarchy of logics and notions and is an interesting alternative to the proofs in the literature based on tableaux, filtration, game theory and other methods. In particular we exploit the deductive com...
متن کامل9 a Proof of Completeness for Continuous First - Order Logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) to various natural classes of complete metric structures (such as probability algebras, Hilbert spaces, and Banach spaces). With research in continuous first-order logic preoccupied with studying the model theory of this fr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1980
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093882952