Results 31 to 40 of about 2,769 (212)

Tarski 1.31-20230104b

, 2023
Tarski, a system for computing with Tarski formulas and semi-algebraic ...
Christopher W. Brown, Tomás Recio, Róbert Vajda, Zoltán Kovács   +3 more
core   +1 more source

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, Alessandra Palmigiano, Zhiguang Zhao   +2 more
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

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

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, Mauri Cunha do Nascimento   +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

Relational representation for subordination Tarski algebras

, 2023
In this work, we study the relational representation of the class of Tarski algebras endowed with a subordination, called subordination Tarski algebras.
Sergio A. Celani, Celani, Sergio Arturo
core   +1 more source

Davidson between Wittgenstein and Tarski

Crítica, 2018
Davidson between Wittgenstein and ...
Richard Rorty
doaj   +1 more source

Tarski: A Platform for Automated Analysis of Traceability

, 2017
<p>Tarski is a tool that supports automated reasoning about traces based on configurable trace semantics. It has been implemented as a set of Eclipse plug-ins that activate the user interfaces and provides the features specifying trace types and ...
Ferhat Erata
core   +1 more source

Prawda: własność czy relacja?

Studia Philosophica Wratislaviensia
The starting point of the article is a passage in Tarski’s work entitled The Semantic Concept of Truth and the Foundations of Semantics (1944), in which he points out the difference between the concept of truth and other semantic concepts.
Maciej Chlewicki
doaj   +1 more source