Results 11 to 20 of about 28,310 (224)
Tarski's influence on computer science [PDF]
Logical Methods in Computer Science, 2006 The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of ...
Solomon Feferman
doaj +4 more sources
Free Monadic Tarski and MMI3-Algebras [PDF]
Demonstratio Mathematica, 2014 MMI3-algebras are a generalization of the monadic Tarski algebras as defined by A. Monteiro and L. Iturrioz, and a particular case of the MMIn+1-algebras defined by A. Figallo.
Entizne Rosana V. +3 more
doaj +3 more sources
Tarski’s Undefinability Theorem and the Diagonal Lemma [PDF]
Logic Journal of the IGPL, 2020 We prove the equivalence of the semantic version of Tarski’s theorem on the undefinability of truth with the semantic version of the diagonal lemma and also show the equivalence of a syntactic version of Tarski’s undefinability theorem with a weak ...
Saeed Salehi
semanticscholar +1 more source
Duality for powerset coalgebras [PDF]
Logical Methods in Computer Science, 2022 Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to CSL has a left
Guram Bezhanishvili +2 more
doaj +1 more source
Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Principia: An International Journal of Epistemology, 2010 Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator.
Hércules A. Feitosa +2 more
doaj +3 more sources
Formalized Mathematics, 2014 Summary This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work. The article is an extension and upgrading of the source code written by the first author with the
Richter, William +2 more
openaire +2 more sources
Transposition Regular TA-Groupoids and Their Structures
Axioms, 2022 Tarski associative groupoid (TA-groupoid) is a kind of non-associative groupoid satisfying Tarski associative law. In this paper, the new notions of transposition regular TA-groupoid are proposed and their properties and structural characteristics are ...
Xiaogang An, Xiaohong Zhang
doaj +1 more source
Tarski's theorem on intuitionistic logic, for polyhedra [PDF]
Annals of Pure and Applied Logic, 2017 In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space R^n with n >= 1 suffices, as does
N. Bezhanishvili +3 more
semanticscholar +1 more source
Did Tarski commit “Tarski's fallacy”? [PDF]
Journal of Symbolic Logic, 1996 In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p.
openaire +3 more sources
On the ‘Definability of Definable’ Problem of Alfred Tarski
Mathematics, 2020 In this paper we prove that for any m≥1 there exists a generic extension of L, the constructible universe, in which it is true that the set of all constructible reals (here subsets of ω) is equal to the set D1m of all reals definable by a parameter free ...
V. Kanovei, V. Lyubetsky
semanticscholar +1 more source