Results 21 to 30 of about 5,613 (178)
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
The Knaster-Tarski theorem versus monotone nonexpansive mappings [PDF]
, 2017 Let $X$ be a Hausdorff topological compact space with a partial order $% \preceq $ for which the order intervals are closed and let $\mathcal{F}$ be a nonempty commutative family of monotone maps from $X$ into $X$.
R. Espínola, Andrzej Wi'snicki
semanticscholar +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
J. Appl. Non Class. Logics, 2019 In this work we will study Tarski algebras endowed with a subordination, called subordination Tarski algebras. We will define the notion of round filters, and we will study the class of irreducible round filters and the maximal round filters, called ends.
S. Celani
semanticscholar +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
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 +3 more
semanticscholar +1 more source