Results 11 to 20 of about 401 (180)
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
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
William Richter +2 more
openaire +2 more sources
Proceedings of the American Mathematical Society, 1977 A Tarski semigroup is an algebraic system which mirrors a fragment of the additive theory of cardinal numbers. Here we show that any two such systems have the same universal theory. We also give a simple arithmetical necessary and sufficient condition for a universal sentence to hold in a Tarski semigroup.
openaire +2 more sources
Sahlqvist via Translation [PDF]
Logical Methods in Computer Science, 2019 In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions.
Willem Conradie +2 more
doaj +1 more source
Carnap's Contribution to Tarski's Truth.
Journal for the History of Analytical Philosophy, 2015 In his seminal work “The Concept of Truth in Formalized Languages” (1933), Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been
Monika Gruber
doaj +1 more source
On Implicative and Positive Implicative GE Algebras
Bulletin of the Section of Logic, 2023 GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebras verifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of these
Andrzej Walendziak
doaj +1 more source
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 +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
Davidson between Wittgenstein and Tarski
Crítica, 2018 Davidson between Wittgenstein and ...
Richard Rorty
doaj +1 more source
Free Monadic Tarski and MMI3-Algebras
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 +1 more source