搜索页_+Tarski

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

在“SpringerLink电子期刊”中，命中：301条，耗时：小于0.01 秒

1. Carnapian and Tarskian semantics

作者： Pierre Wagner

关键词：Carnap ; Tarski ; Truth ; Logical truth ; Semantics

刊名：Synthese

出版年：2017

2. The role of universal language in the early work of Carnap and Tarski

作者： Iris Loeb

关键词：Universal language ; Carnap ; Tarski ; Model theory

刊名：Synthese

出版年：2017

3. Finding Proofs in Tarskian Geometry

作者： Michael Beeson ; Larry Wos

关键词：Automated deduction ; Tarski ; Geometry ; Theorem proving

刊名：Journal of Automated Reasoning

出版年：2017

4. A Synthetic Proof of Pappus’ Theorem in Tarski’s Geometry

作者： Gabriel Braun ; Julien Narboux

关键词：Formalization ; Formal proof ; Geometry ; Coq ; Pappus ; Tarski’s axioms

刊名：Journal of Automated Reasoning

出版年：2017

5. Invariant Measure of Rotational Beta Expansion and Tarski’s Plank Problem

作者： Shigeki Akiyama ; Jonathan Caalim

关键词：Beta expansion ; Tarski’s plank problem ; Invariant measures

刊名：Discrete & Computational Geometry

出版年：2017

6. Carnap and the invariance of logical truth

作者： Steve Awodey

关键词：Carnap ; Invariance ; Analyticity ; Logical syntax ; Logicality ; Univalence

刊名：Synthese

出版年：2017

7. Power series solutions of Tarski's associativity law and of the cyclic associativity law

作者： Karsten Schölzel ; Jörg Tomaschek

关键词：Types of associativity ; power series in the complex domain

刊名：Aequationes Mathematicae

出版年：2016

8. Invariant means on Boolean inverse monoids

作者： Ganna Kudryavtseva ; Mark V. Lawson ; Daniel H. Lenz ; Pedro Resende

关键词：Inverse semigroups ; Pseudogroups ; Banach–Tarski paradox ; The Tarski alternative

刊名：Semigroup Forum

出版年：2016

9. Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems

作者： Anthony Narkawicz ; César Mu?oz ; Aaron Dutle

关键词：Non ; linear arithmetic ; Decision procedure ; Prototype Verification System (PVS) ; polynomial inequalities ; Sturm’s theorem ; Tarski’s theorem ; Automated theorem proving ; Interactive Theorem Proving

刊名：Journal of Automated Reasoning

出版年：2015

10. Kazimierz Ajdukiewicz on transcendental idealism from a semantic point of view

作者： Arkadiusz Chrudzimski

关键词：Ajdukiewicz ; Tarski ; Gödel ; Kant ; Idealism ; Semantics ; Syntax ; Truth ; Proof ; Justification ; Concept empiricism

刊名：Studies in East European Thought

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(301)

题名(69)

作者(11)

关键词(71)

文摘(245)

按出版年细分(301)

2017年(6)

2016年(10)

2015年(15)

2014年(13)

2013年(12)

2012年(27)

2011年(2)

2010年(14)

2009年(12)

2008年(12)

2007年(26)

2006年(28)

2005年(17)

2004年(17)

2003年(16)

2002年(20)

2001年(19)

2000年(6)

2000年及以前(29)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.