Results 1 to 10 of about 401 (180)
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 +5 more sources
Cefiderocol in the Successful Treatment of Complicated Hospital-Acquired K. pneumoniae NDM, OXA48 Intraabdominal Infection [PDF]
Infection and Drug ResistanceIgnacy Tarski,1 Jakub Śmiechowicz,2 Wiesława Duszyńska2 1Faculty of Medicine, Wroclaw Medical University, Wroclaw, Poland; 2Department and Clinic of Anesthesiology and Intensive Therapy, Wroclaw Medical University, Wroclaw ...
Tarski I, Śmiechowicz J, Duszyńska W
doaj +2 more sources
Evaluating Etchemendy's Critiques of Tarski’s Analysis of Logical Consequence [PDF]
Journal of Philosophical Investigations, 2022 According to Tarski's model-theoretic analysis of logical consequence, the sentence X is a logical consequence of a set of sentences Γ if and only if any model for Γ is also a model for X.
Hamid Alaeinejad, Morteza Hajhosseini
doaj +1 more source
Could Tajtelbaum Question What Tarski Could Not? [PDF]
Organon F, 2020 The paper discusses Tarski’s approach to quotation. It starts from showing that it is vulnerable to semantic inconsistencies connected with what is known as Reach’s puzzle, formulated in 1938 by a Czech logician Karel Reach.
Jan Wiślicki
doaj +1 more source
Research on a Class of Special Quasi TA-Neutrosophic Extended Triplet: TA-Groups [PDF]
Neutrosophic Sets and Systems, 2023 Tarski associative groupoid (TA-groupoid) and Tarski associative neutrosophic extended triplet groupoid (TA-NET-groupoid) are two interesting structures in non-associative algebra. In this paper, a new concept of TA-group is proposed based on TA-groupoid,
Mingming Chen, Yudan Du, Xiaogang An
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
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
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
Note sur Popper lecteur de Tarski
Philosophia Scientiæ, 2007 1. Introduction. 2. Is Tarski’s theory of truth, as Popper claims after Tarski himself, a rehabilitation of the traditional view of truth as correspondence to facts? — Yes, but not for the reasons he gives. 3.
Philippe de Rouilhan
doaj +1 more source
Peitho, 2017 Alfred Tarski frequently declared that his semantic definition of truth was inspired by Aristotle’s views. The present paper discusses this issue in the context of Marian Wesoły’s criticism of the thesis that there is an affinity between Tarski’s views ...
Jan Woleński
doaj +1 more source