Compactness=JEP in any logic
Daniele Mundici (1983)
Fundamenta Mathematicae
Similarity:
Daniele Mundici (1983)
Fundamenta Mathematicae
Similarity:
George Boolos (1980)
Fundamenta Mathematicae
Similarity:
Daniele Mundici (1984)
Fundamenta Mathematicae
Similarity:
Guus Broesterhuizen (1975)
Colloquium Mathematicae
Similarity:
Krister Segerberg (1982)
Banach Center Publications
Similarity:
Jan Woleński (2017)
Bulletin of the Section of Logic
Similarity:
This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, topical neutrality and validity (truth in all models). All theses senses can be proved to be justified. The fourth understanding, namely the amount of expressive power, is connected with the criticism of the first-order thesis: first-order logic is the logic....
Izbaş, Olga, Rusu, Andrei (2006)
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Similarity:
Andrzej Grzegorczyk (1968)
Compositio Mathematica
Similarity:
Javier Legris, Jorge A. Molina (2001)
Philosophia Scientiae
Similarity:
In this paper we analyze the consideration of intuitionistic logic as an extension of classical logic. This — at first sight surprising — point of view has been sustained explicitly by Jan Łukasiewicz on the basis of a mapping of classical propositional logic into intuitionistic propositional logic by Kurt Gödel in 1933. Simultaneously with Gödel, Gerhard Gentzen had proposed another mapping of Peano´s arithmetic into Heyting´s arithmetic. We shall discuss these mappings in connection...
Slobodan Vujošević (2012)
Review of the National Center for Digitization
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....