Results 81 to 90 of about 2,771 (212)

Tarski's conception of logic

Annals of Pure and Applied Logic, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

What are logical notions? [PDF]

, 1986
In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space ...
Tarski, Alfred
core  

Complexity of deciding Tarski algebra

, 1988
Let a formula of Tarski algebra contain k atomic subformulas of the kind (fi ⩾ 0), 1 ⩽ t ⩽ k, where the polynomials fi ∈ ℤ [X1,...,Xn] have degrees deg (fi) < d, let 2M be an upper bound for the absolute value of every coeffieient of the polynomials fi ...
Grigor'ev, D. Yu
core   +1 more source

Reexamination of Tarski's semantics

Annals of Pure and Applied Logic, 2004
In the paper under review one finds comments and remarks about Tarski's work (mainly his work in syntax and semantics) both from the point of view of linguistics and from a philosophical perspective. In particular, Tarski's concept of truth is examined from the point of view of its applicability to ordinary language.
openaire   +1 more source

Formal Proof of Banach-Tarski Paradox

, 2017
International audienceBanach-Tarski Paradox states that a ball in 3D space is equidecomposable with twice itself, i.e. we can break a ball into a finite number of pieces, and with these pieces, build two balls having the same size as the initial ball ...
de Rauglaudre, Daniel
core   +1 more source

Alfred Tarski [PDF]

, 2013
Alfred Tarski è unanimemente ritenuto uno dei grandi della storia della logica matematica. I suoi contributi variano dalla teoria degli insiemi alla teoria dei modelli, dalla semantica dei linguaggi ai fondamenti della geometria, dall'algebra della ...
TOFFALORI, Carlo
core  

Reflections on Complexity, Evidence, and Law: A Reply to Tuzet and Ubertone

Ratio Juris, Volume 38, Issue 2, Page 129-135, July 2025.
Ronald J. Allen
wiley   +1 more source

The problem of Horn and Tarski

Proceedings of the American Mathematical Society, 2014
In 1948 A. Horn and A. Tarski asked whether the notions of a σ \sigma
openaire   +2 more sources

Il Paradosso di Banach-Tarski e i gruppi amenabili [PDF]

, 2018
La seguente tesi di laurea tratterà il paradosso di Banach-Tarski attraverso lo studio preliminare del paradosso di Hausdorff.
Capomagi, Gemma
core  

Tarski monoids: Matui’s spatial realization theorem

, 2017
This paper continues the study of a class of inverse monoids, called Tarski monoids, that can be regarded as non-commutative generalizations of the unique countable, atomless Boolean algebra.
Mark V. Lawson, Lawson, Mark V.
core   +1 more source