Results 31 to 40 of about 28,310 (224)

On some categorical-algebraic conditions in S-protomodular categories [PDF]

, 2017
In the context of protomodular categories, several additional conditions have been considered in order to obtain a closer group-like behavior. Among them are locally algebraic cartesian closedness and algebraic coherence.
Martins-Ferreira, Nelson, Montoli, Andrea, Sobral, Manuela   +2 more
core   +2 more sources

LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE

Kínesis, 2014
Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Espaços de Tarski e uma caracterização como uma lógica modal não normal.
Hércules de Araújo Feitosa, Mauri Cunha do Nascimento   +1 more
doaj   +1 more source

Karl Popper y la rehabilitación de la teoria de la verdad como correspondencia

Enrahonar: Quaderns de Filosofia, 1996
El objetivo fundamental de este artículo es reconstruir y examinar la interpretación que Popper presenta de la teoria tarskiana de la verdad como constituyendo la rehabilitation de la teoria de la verdad como correspondencia.
Luis Fernández Moreno
doaj   +1 more source

On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency [PDF]

, 2016
In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus.
Wybraniec-Skardowska, Urszula
core   +2 more sources

Davidson between Wittgenstein and Tarski

Crítica, 2018
Davidson between Wittgenstein and ...
Richard Rorty
doaj   +1 more source

An upper bound for the Tarski numbers of nonamenable groups of piecewise projective homeomorphisms [PDF]

International journal of algebra and computation, 2016
The Tarski number of a non amenable group is the smallest number of pieces needed for a paradoxical decomposition of the group. Non amenable groups of piecewise projective homeomorphisms were introduced by Monod, and non amenable finitely presented ...
Y. Lodha
semanticscholar   +1 more source

ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS [PDF]

Journal of Symbolic Logic (JSL), 2016
It is shown that Tarski’s set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms. It is also shown that by modifying one of Tarski’s axioms slightly, and in fact by replacing the
H. Andréka, S. Givant, P. Jipsen, I. Németi   +3 more
semanticscholar   +1 more source

Solutions to congruences using sets with the property of Baire

, 2000
Hausdorff's paradoxical decomposition of a sphere with countably many points removed (the main precursor of the Banach-Tarski paradox) actually produced a partition of this set into three pieces A,B,C such that A is congruent to B (i.e., there is an ...
Dougherty, Randall
core   +1 more source

Prawda: własność czy relacja?

Studia Philosophica Wratislaviensia
The starting point of the article is a passage in Tarski’s work entitled The Semantic Concept of Truth and the Foundations of Semantics (1944), in which he points out the difference between the concept of truth and other semantic concepts.
Maciej Chlewicki
doaj   +1 more source

Semantics out of context: nominal absolute denotations for first-order logic and computation

, 2016
Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core   +1 more source