Completeness Theorem for a First Order Linear-time Logic
Zoran Ognjanović (2001)
Publications de l'Institut Mathématique
Similarity:
Zoran Ognjanović (2001)
Publications de l'Institut Mathématique
Similarity:
Andrzej Grzegorczyk (1968)
Compositio Mathematica
Similarity:
Chris Brink (1993)
Banach Center Publications
Similarity:
The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.
Don Pigozzi, Antonino Salibra (1993)
Banach Center Publications
Similarity:
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.
Izbaş, Olga, Rusu, Andrei (2006)
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Similarity:
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
George Boolos (1980)
Fundamenta Mathematicae
Similarity:
Krister Segerberg (1982)
Banach Center Publications
Similarity:
L. Banachowski, A. Kreczmar, G. Mirkowska, H. Rasiowa, A. Sławicki (1977)
Banach Center Publications
Similarity:
María Manzano, Manuel Crescencio Moreno (2017)
Bulletin of the Section of Logic
Similarity:
This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested either in how to define it using other logical concepts or in the opposite scheme....