Search results for "Tarski"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Alfred Tarski, Steven Givant	Tarski's system of geometry.	Bull. Symb. Log.	1999	DBLP DOI BibTeX RDF
60	Christopher W. Brown 0001	Fast simplifications for Tarski formulas.	ISSAC	2009	DBLP DOI BibTeX RDF	tarski formulas, simplification
54	Sergei N. Artëmov, Elena Nogina	Topological Semantics of Justification Logic.	CSR	2008	DBLP DOI BibTeX RDF	Justification Logic, Logic of Proofs, topological semantics, Tarski, modal logic
49	Solomon Feferman	Tarski's Influence on Computer Science.	LICS	2005	DBLP DOI BibTeX RDF
49	Maarten Marx	XML Navigation and Tarski's Relation Algebras.	CSL	2005	DBLP DOI BibTeX RDF
43	Yifeng Chen	A Fixpoint Theory for Non-monotonic Parallelism.	CSL	2002	DBLP DOI BibTeX RDF
41	Jan Tarski	Historical Background of Gödel's Theorem.	Analysis of Dynamical and Cognitive Systems	1993	DBLP DOI BibTeX RDF
41	Leon Henkin, J. Donald Monk, Alfred Tarski	Representable cylindric algebras.	Ann. Pure Appl. Log.	1986	DBLP DOI BibTeX RDF
41	Alfred Tarski	An interpolation theorem for irredundant bases of closure structures.	Discret. Math.	1975	DBLP DOI BibTeX RDF
41	Alfred Tarski	A Problem Concerning the Notion of Definability.	J. Symb. Log.	1948	DBLP DOI BibTeX RDF
41	J. C. C. McKinsey, Alfred Tarski	Some Theorems About the Sentential Calculi of Lewis and Heyting.	J. Symb. Log.	1948	DBLP DOI BibTeX RDF
41	Alfred Tarski	On the Calculus of Relations.	J. Symb. Log.	1941	DBLP DOI BibTeX RDF
41	Alfred Tarski	On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth.	J. Symb. Log.	1939	DBLP DOI BibTeX RDF
40	Xi Chen 0001, Yuhao Li 0002, Mihalis Yannakakis	Reducing Tarski to Unique Tarski (in the Black-box Model).	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
40	Xi Chen 0001, Yuhao Li 0002, Mihalis Yannakakis	Reducing Tarski to Unique Tarski (In the Black-Box Model).	CCC	2023	DBLP DOI BibTeX RDF
40	Zoltán Kovács, Christopher W. Brown 0001, Tomás Recio, Róbert Vajda	A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets.	SYNASC	2022	DBLP DOI BibTeX RDF
40	Xiaohong Zhang 0001, Wangtao Yuan, Mingming Chen, Florentin Smarandache	A Kind of Variation Symmetry: Tarski Associative Groupoids (TA-Groupoids) and Tarski Associative Neutrosophic Extended Triplet Groupoids (TA-NET-Groupoids).	Symmetry	2020	DBLP DOI BibTeX RDF
40	Young Bae Jun, Min Su Kang	Fuzzifications of generalized Tarski filters in Tarski algebras.	Comput. Math. Appl.	2011	DBLP DOI BibTeX RDF
40	G. Y. Sher	Did Tarski Commit "Tarski's Fallacy"?	J. Symb. Log.	1996	DBLP DOI BibTeX RDF
40	Keiko Imai, Akitoshi Kawamura, Jirí Matousek 0001, Daniel Reem, Takeshi Tokuyama	Distance k-sectors exist.	SCG	2010	DBLP DOI BibTeX RDF	distance k-sectors, knaster-tarski fixed point theorem
40	Yves Bertot, Vladimir Komendantsky	Fixed point semantics and partial recursion in Coq.	PPDP	2008	DBLP DOI BibTeX RDF	least fixed point semantics, non-terminating functions, program extraction, the Knaster-Tarski theorem, automated theorem proving
40	Andrzej Grzegorczyk	Undecidability without Arithmetization.	Stud Logica	2005	DBLP DOI BibTeX RDF	discernibility, Kurt Gödel, Alfred Tarski, representability, decidability, arithmetization, concatenation
40	Grzegorz Malinowski	Inferential Intensionality.	Stud Logica	2004	DBLP DOI BibTeX RDF	consequence, C-equivalence, C-equality, rule of inference, Tarski, ukasiewicz, modal system, modal logic, inference, proof, acceptance, rejection, four-valued logic, four-valued logic
34	András Bezdek	On a Generalization of Tarski's Plank Problem.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
34	Julien Narboux	Mechanical Theorem Proving in Tarski's Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
34	Alasdair Urquhart	Duality Theory for Projective Algebras.	RelMiCS	2005	DBLP DOI BibTeX RDF
34	Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo	An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF	Calculus of relations, logic programming, relation algebras, algebraic specifications, computational logic
34	Jan Van den Bussche	Applications of Alfred Tarski's Ideas in Database Theory.	CSL	2001	DBLP DOI BibTeX RDF
34	Ivo Düntsch, Marc Roubens	Tangent Circle Algebras.	RelMiCS	2001	DBLP DOI BibTeX RDF
34	Jan E. Jonker	Knaster-Tarski Revisited.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Complete partial order, Generalization, Fixpoint
29	Nuel Belnap	Truth Values, Neither-true-nor-false, and Supervaluations.	Stud Logica	2009	DBLP DOI BibTeX RDF	neither-true-nor-false, non-denoting terms, future tense, vagueness, paradoxes, truth values
29	Marcin Wolski	Rough Set Theory: Ontological Systems, Entailment Relations and Approximation Operators.	Trans. Rough Sets	2009	DBLP DOI BibTeX RDF
29	Gianpiero Cattaneo, Davide Ciucci	Lattices with Interior and Closure Operators and Abstract Approximation Spaces.	Trans. Rough Sets	2009	DBLP DOI BibTeX RDF
29	Yoshihiro Maruyama	A Duality for Algebras of Lattice-Valued Modal Logic.	WoLLIC	2009	DBLP DOI BibTeX RDF
29	Richard C. Holt	WCRE 1998 Most Influential Paper: Grokking Software Architecture.	WCRE	2008	DBLP DOI BibTeX RDF
29	Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt	Model Theory Makes Formulas Large.	ICALP	2007	DBLP DOI BibTeX RDF
29	Roberto Di Cosmo, Thomas Dufour	The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable.	LPAR	2004	DBLP DOI BibTeX RDF
29	Tomás Feder, Moshe Y. Vardi	Homomorphism Closed vs. Existential Positive.	LICS	2003	DBLP DOI BibTeX RDF
29	Savvas Pericleous, Nicolai N. Vorobjov Jr.	New complexity bounds for cylindrical decompositions of sub-pfaffian sets.	ISSAC	2001	DBLP DOI BibTeX RDF
29	Ingbert Kupka	Unique Fixpoints in Complete Lattices with Applications to Formal Languages and Semantics.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
29	Dima Grigoriev	How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set.	ISSAC	1990	DBLP DOI BibTeX RDF
25	Akitoshi Kawamura, Jirí Matousek 0001, Takeshi Tokuyama	Zone diagrams in Euclidean spaces and in other normed spaces.	SCG	2010	DBLP DOI BibTeX RDF	knaster-tarski fixed point theorem, zone diagrams
25	Josep Maria Font, Ramon Jansana, Don Pigozzi	On the Closure Properties of the Class of Full G-models of a Deductive System.	Stud Logica	2006	DBLP DOI BibTeX RDF	Leibniz congruence, Tarski congruence, generalized matrix, full generalized model, fully adequate Gentzen system, algebraizable logic, abstract algebraic logic, protoalgebraic logic
25	George Voutsadakis	Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems
25	Saugata Basu, Richard Pollack, Marie-Françoise Roy	On the Combinatorial and Algebraic Complexity of Quantifier Elimination.	J. ACM	1996	DBLP DOI BibTeX RDF	Tarski-Seidenberg principle, quantifier elimination, real closed fields
20	David Hitchcock	Tarski's Theory of the Formal Correctness of Definitions.	J. Philos. Log.	2024	DBLP DOI BibTeX RDF
20	Pierre Boutry, Stéphane Kastenbaum, Clément Saintier	Towards an Independent Version of Tarski's System of Geometry.	CoRR	2024	DBLP DOI BibTeX RDF
20	Sergio A. Celani	Relational representation for subordination Tarski algebras.	J. Appl. Non Class. Logics	2024	DBLP DOI BibTeX RDF
20	Zoltán Kovács, Christopher W. Brown 0001, Tomás Recio, Róbert Vajda	Computing with Tarski formulas and semi-algebraic sets in a web browser.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
20	Raffael Stenzel	On notions of compactness, object classifiers, and weak Tarski universes.	Math. Struct. Comput. Sci.	2023	DBLP DOI BibTeX RDF
20	Yann Braouezec, Keyvan Kiani	A generalized Nash equilibrium problem arising in banking regulation: An existence result with Tarski's theorem.	Oper. Res. Lett.	2023	DBLP DOI BibTeX RDF
20	Julian Müller	Enumerating Tarski fixed points on lattices of binary relations.	CoRR	2023	DBLP DOI BibTeX RDF
20	Bart Bogaerts 0001, Balder ten Cate, Brett McLean, Jan Van den Bussche	Preservation theorems for Tarski's relation algebra.	CoRR	2023	DBLP DOI BibTeX RDF
20	Joshua Maher	Banach-Tarski Embeddings and Transformers.	CoRR	2023	DBLP DOI BibTeX RDF
20	Matteo Tesi, Sara Negri	The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
20	Garibaldi Sarmento	A note on Tarski's remarks about the non-admissibility of a general theory of semantics.	FLAP	2022	DBLP BibTeX RDF
20	John Fearnley, Dömötör Pálvölgyi, Rahul Savani	A Faster Algorithm for Finding Tarski Fixed Points.	ACM Trans. Algorithms	2022	DBLP DOI BibTeX RDF
20	Yoshihito Tanaka	An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
20	Xi Chen 0001, Yuhao Li 0002	Improved Upper Bounds for Finding Tarski Fixed Points.	CoRR	2022	DBLP BibTeX RDF
20	Saeed Salehi	A Reunion of Godel, Tarski, Carnap, and Rosser.	CoRR	2022	DBLP DOI BibTeX RDF
20	Farhad Naderian	Non-Transferability in Communication Channels and Tarski's Truth Theorem.	CoRR	2022	DBLP DOI BibTeX RDF
20	Zhen Zhao	An Update of Tarski: Two Usages of the Word "True".	J. Log. Lang. Inf.	2022	DBLP DOI BibTeX RDF
20	Jelle Hellings, Yuqing Wu, Marc Gyssens, Dirk Van Gucht	The power of Tarski's relation algebra on trees.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
20	Nils Kürbis	Normalisation and subformula property for a system of classical logic with Tarski's rule.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
20	Saeed Salehi	Tarski's Undefinability Theorem and the Diagonal Lemma.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
20	Xi Chen 0001, Yuhao Li 0002	Improved Upper Bounds for Finding Tarski Fixed Points.	EC	2022	DBLP DOI BibTeX RDF
20	Jagadish Bapanapally, Ruben Gamboa	A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem in ACL2(R).	ITP	2022	DBLP DOI BibTeX RDF
20	Jagadish Bapanapally, Ruben Gamboa	A Formal Proof of the Banach-Tarski Theorem in ACL2(r).	ISAIM	2022	DBLP BibTeX RDF
20	Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill	The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces.	Bull. Symb. Log.	2021	DBLP DOI BibTeX RDF
20	Jim de Groot, Tadeusz Litak, Dirk Pattinson	Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication.	CoRR	2021	DBLP BibTeX RDF
20	Christopher W. Brown 0001, Zoltán Kovács, Róbert Vajda	Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski.	ADG	2021	DBLP DOI BibTeX RDF
20	Nils Kürbis	Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule.	CoRR	2021	DBLP BibTeX RDF
20	Roland Coghetto	Tarski's Parallel Postulate implies the 5th Postulate of Euclid, the Postulate of Playfair and the original Parallel Postulate of Euclid.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
20	Roberto Ghiselli Ricci	A note on a Tarski type fixed-point theorem.	Int. J. Game Theory	2021	DBLP DOI BibTeX RDF
20	Jim de Groot, Tadeusz Litak, Dirk Pattinson	Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication.	LICS	2021	DBLP DOI BibTeX RDF
20	Yijia Chen, Jörg Flum	Forbidden Induced Subgraphs and the Łoś-Tarski Theorem.	LICS	2021	DBLP DOI BibTeX RDF
20	John Fearnley, Rahul Savani	A Faster Algorithm for Finding Tarski Fixed Points.	STACS	2021	DBLP DOI BibTeX RDF
20	Chuangyin Dang, Yinyu Ye 0001	Erratum/Correction to "On the complexity of an expanded Tarski's fixed point problem under the componentwise ordering" [Theor. Comput. Sci. 732 (2018) 26-45].	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
20	Yijia Chen, Jörg Flum	Forbidden Induced Subgraphs and the Łoś-Tarski Theorem.	CoRR	2020	DBLP BibTeX RDF
20	Sabah Al-Fedaghi	Towards Conceptual Modeling Semantics: Eventizing Tarski's Truth Schema.	CoRR	2020	DBLP BibTeX RDF
20	Chuangyin Dang, Qi Qi 0003, Yinyu Ye 0001	Computations and Complexities of Tarski's Fixed Points and Supermodular Games.	CoRR	2020	DBLP BibTeX RDF
20	John Fearnley, Rahul Savani	A faster algorithm for finding Tarski fixed points.	CoRR	2020	DBLP BibTeX RDF
20	Frantisek Vcelar, Zuzana Pátíková	A comparative study of Tarski's fixed point theorems with the stress on commutative sets of L-fuzzy isotone maps with respect to transitivities.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
20	Kousha Etessami, Christos H. Papadimitriou, Aviad Rubinstein, Mihalis Yannakakis	Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria.	ITCS	2020	DBLP DOI BibTeX RDF
20	Roland Coghetto, Adam Grabowski	Tarski Geometry Axioms. Part IV - Right Angle.	Formaliz. Math.	2019	DBLP DOI BibTeX RDF
20	Neil Tennant	On Tarski's Axiomatization of Mereology.	Stud Logica	2019	DBLP DOI BibTeX RDF
20	Kousha Etessami, Christos H. Papadimitriou, Aviad Rubinstein, Mihalis Yannakakis	Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria.	CoRR	2019	DBLP BibTeX RDF
20	Sergio A. Celani	Subordination Tarski algebras.	J. Appl. Non Class. Logics	2019	DBLP DOI BibTeX RDF
20	Massimo Marinacci, Luigi Montrucchio	Unique Tarski Fixed Points.	Math. Oper. Res.	2019	DBLP DOI BibTeX RDF
20	Albert Visser	From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
20	Sergio A. Celani	Complete and atomic Tarski algebras.	Arch. Math. Log.	2019	DBLP DOI BibTeX RDF
20	Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González	The McKinsey-Tarski Theorem for Topological Evidence Logics.	WoLLIC	2019	DBLP DOI BibTeX RDF
20	Abhisekh Sankaran	Revisiting the Generalized Łoś-Tarski Theorem.	ICLA	2019	DBLP DOI BibTeX RDF
20	Chad E. Brown, Cezary Kaliszyk, Karol Pak	Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.	ITP	2019	DBLP DOI BibTeX RDF
20	Chuangyin Dang, Yinyu Ye 0001	On the complexity of an expanded Tarski's fixed point problem under the componentwise ordering.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
20	Bruce E. Litow	A transfer method from bounded existential Diophantine equations to Tarski algebra formulas.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
20	Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill	A New Proof of the McKinsey-Tarski Theorem.	Stud Logica	2018	DBLP DOI BibTeX RDF
20	Abhisekh Sankaran	Revisiting the generalized Łoś-Tarski theorem.	CoRR	2018	DBLP BibTeX RDF
20	Abhisekh Sankaran	A Generalization of the Łoś-Tarski Preservation Theorem - Dissertation Summary.	CoRR	2018	DBLP BibTeX RDF
20	Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini	Tarski's theorem on intuitionistic logic, for polyhedra.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF