Results 151 to 160 of about 712,824 (175)

The completeness theorem for infinitary logic

Journal of Symbolic Logic, 1972
It will be proven that a set of sentences of infinitary logic is satisfiable iff it is proof theoretically consistent. Since this theorem is known to be false, it must be quickly added that an extended notion of model is being used; truth values may be taken from an arbitrary complete Boolean algebra.
openaire   +1 more source

Infinitary logics

2018
An infinitary logic arises from ordinary first-order logic when one or more of its finitary properties is allowed to become infinite, for example, by admitting infinitely long formulas or infinitely long or infinitely branched proof figures. The need to extend first-order logic became pressing in the late 1950s when it was realized that many of the ...
openaire   +1 more source

A note on infinitary continuous logic

Mathematical Logic Quarterly, 2015
We show how to extend the Continuous Propositional Logic by means of an infinitary rule in order to achieve a Strong Completeness Theorem. Eventually we investigate how to recover a weak version of the Deduction Theorem.
openaire   +4 more sources

Infinitary logic and admissible sets

Journal of Symbolic Logic, 1969
In recent years much effort has gone into the study of languages which strengthen the classical first-order predicate calculus in various ways. This effort has been motivated by the desire to find a language which is(I) strong enough to express interesting properties not expressible by the
openaire   +3 more sources

Infinitary combinatorics and modal logic

Journal of Symbolic Logic, 1990
AbstractWe show that the modal propositional logic G, originally introduced to describe the modality “it is provable that”, is also sound for various interpretations using filters on ordinal numbers, for example the end-segment filters, the club filters, or the ineffable filters. We also prove that G is complete for the interpretation using end-segment
openaire   +1 more source

Supervenience and Infinitary Logic

Noûs, 2001
Etude de l'interaction entre la survenance et la logique infinie. Examinant l'usage restreint et l'usage non restreint de la logique infinie, ainsi que les problemes metaphysiques qui en resultent, l'A. met en evidence les dangers de la cloture infinie, et montre que la logique infinie souleve un nouveau paradoxe concernant le statut physique de l ...
openaire   +1 more source

Complexity of Commutative Infinitary Action Logic

Lecture Notes in Computer Science, 2020
Stepan Kuznetsov
exaly  

Affine systems of equations and counting infinitary logic

Theoretical Computer Science, 2009
Albert Atserias, Andrei Bulatov, Anuj Dawar   +2 more
exaly  

α Logic and Infinitary Languages

Mathematical Logic Quarterly, 1976
Newton C. A. da Costa, Charles C. Pinter
openaire   +2 more sources

Cut-elimination Theorems for Some Infinitary Modal Logics

Mathematical Logic Quarterly, 2001
Yoshihito Tanaka
exaly