×

找到57个文档（结果1-57）

最新的 引文 关联
哈伊纳尔·安德雷卡；Judit X·马达拉斯。；伊斯坦·内梅蒂；谢凯利（Székely，Gergely）

闵可夫斯基时空的类时间、类光和类空间相关性的互定义复杂性。 （英语） Zbl 07501987号

Ann.纯粹应用。逻辑 173，第5期，文章ID 103100，25 p.（2022）.
MSC公司：03B30型 83A05号 03B10号机组 03C40号 03G99型
PDF格式BibTeX公司 XML格式引用
\textit{H.Andréka}等人，Ann.Pure Appl。逻辑173，第5号，文章ID 103100，25页（2022；Zbl 07501987）
全文： DOI程序 arXiv公司
哈伊纳尔·安德雷卡；伊斯坦·内梅蒂

有限变量逻辑不具有弱Beth可定义性。 （英语） Zbl 1371.03042号

Koslow，Arnold（编辑）等人，《通向普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer（ISBN 978-3-319-15367-4/pbk；978-3-316-15368-1/电子书）。《通用逻辑研究》，125-133（2015）。
MSC公司：03C07号机组 03C40号 03B20型 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit｛H.Andréka｝和\textit｛I.Németi｝，在：通往普遍逻辑的道路。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer。125-133（2015；Zbl 1371.03042）
全文： DOI程序 arXiv公司
哈伊纳尔·安德雷卡；约翰·范·本特姆；尼克·贝扎尼什维利；伊斯坦·内梅蒂

改变语义学：机会主义还是勇气？ （英语） Zbl 1347.03014号

Manzano，María（编辑）等人，《Leon Henkin的生活和工作》。关于他的贡献的论文。查姆：Birkhäuser/Springer（ISBN 978-3-319-09718-3/pbk；978-3-3169-09719-0/ebook）。《通用逻辑研究》，307-337（2014）。
MSC公司：03B15号机组 03C85号 03C98号
PDF格式BibTeX公司 XML格式引用
\textit{H.Andréka}等人，《莱昂·亨金的生活和工作》。关于他的贡献的论文。查姆：Birkhäuser/Springer。307--337（2014；Zbl 1347.03014）
全文： DOI程序 arXiv公司
哈伊纳尔·安德雷卡；伊斯坦·内梅蒂

比较理论：词汇变化的动力。 （英语） Zbl 1344.03009号

Baltag，Alexandru（编辑）等人，Johan van Benthem关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。《逻辑的杰出贡献》5，143-172（2014）。
MSC公司：03A10号 83A05号 03B10号机组 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{H.Andréka}和\textit{I.Németi}，Outst。控制日志。5、143--172（2014；Zbl 1344.03009）
全文： DOI程序 arXiv公司
哈伊纳尔·安德雷卡；伊斯坦·内梅蒂

将一阶逻辑减少为\（\mathsf{Df}_3\)，自由代数。 （英语） Zbl 1284.03272号

Andréka，Hajnal（编辑）等，类柱代数和代数逻辑。多德雷赫特：施普林格；布达佩斯：János Bolyai数学学会（ISBN 978-3-642-35024-5/hbk；978-963-9453-15-9/hbk）。博莱学会数学研究22，15-35（2012）。
MSC公司：03G15年 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Andréka}和\textit{I.Németi}，Bolyai Soc.Math。螺柱22、15-35（2012；Zbl 1284.03272）
哈伊纳尔·安德雷卡；朱迪特·马达拉斯；伊斯坦·内梅蒂

相对论中的可判定性、不可判定性和哥德尔不完全性。 （英语） Zbl 1288.03032号

并行过程。莱特。 22，第3号，文章ID 1240011，第14页（2012年）.
MSC公司：03F40型 03B25号 03B30型 03E35号 83立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{H.Andréka}等人，《并行处理》。莱特。22，第3号，文章ID 1240011，14 p.（2012；Zbl 1288.03032）
全文： DOI程序
安德雷卡，H。；内梅蒂，我。

将集合论形式化为弱逻辑，寻找具有哥德尔不完全性性质的最弱逻辑。 arXiv:11111.0995

预印本，arXiv:11111.0995[math.LO]（2011）。
MSC公司：03G15年 03B10号机组 03B20型 03B45号 06E25年 03E30年 03E75型
BibTeX公司 引用
\textit{H.Andréka}和\textit{I.Németi}，“弱逻辑中的形式化集合理论，寻找具有G“模型的不完全性属性”的最弱逻辑”，Preprint，arXiv:11111.0995[math.LO]（2011）
全文： arXiv公司
OA许可证
Madarász，朱迪特·X。；伊斯坦·内梅蒂；谢凯利（Székely，Gergely）

相对论的一阶逻辑基础。 （英语） Zbl 1117.83360号

Gabbay，Dov M.（编辑）等人，《应用逻辑中的数学问题》。二、。21世纪的逻辑学。纽约州纽约市：施普林格出版社（ISBN 978-0-387-69244-9/hbk）。国际数学系列（纽约）5217-252（2007）。
MSC公司：83D05号 03B10号机组 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{J.X.Madarász}等人，《国际数学》。序列号。，纽约5，217--252（2007；Zbl 1117.83360）
全文： arXiv公司
哈伊纳尔·安德雷卡；Judit X·马达拉斯。；伊斯坦·内梅蒂

时空的逻辑公理化。文献样本。 （英语） Zbl 1102.03037号

Prékopa，András等人，《非核素几何》。贾诺斯·博利艾纪念册。双曲线几何国际会议论文，匈牙利布达佩斯，2002年7月6日至12日。纽约州纽约市：施普林格出版社（ISBN 0-387-29554-2/hbk；0-387-29505-0/电子书）。数学及其应用（Springer）58115-185（2006）。
MSC公司：03B80号 83A05号 03-02 83-02
PDF格式BibTeX公司 XML格式引用
\textit｛H.Andréka｝等人，数学。申请。，施普林格581，155--185（2006；Zbl 1102.03037）
Judit X·马达拉斯。；伊斯坦·内梅蒂；特克，Csaba

关于将时空的逻辑方法推广到广义相对论：第一步。 （英语） Zbl 1096.03030号

Hendricks，Vincent（编辑）等人，重温了一阶逻辑。FOL75-75年一阶逻辑会议论文集，德国柏林洪堡大学，2003年9月18-21日。柏林：Logos Verlag（ISBN 3-8325-0475-3/pbk）。《逻辑哲学》12，225-268（2004）。
MSC公司：03B80号 03B10号机组 83个C99
PDF格式BibTeX公司 XML格式引用
\textit{J.X.Madarász}等人，《逻辑哲学》。12、225--268（2004年；Zbl 1096.03030）
安德雷卡，H。；J.X.马达拉斯。；内梅蒂，我。

相对论的逻辑分析。 （英语） 兹比尔1096.03029

Hendricks，Vincent（编辑）等人，重温了一阶逻辑。FOL75-75年一阶逻辑会议论文集，德国柏林洪堡大学，2003年9月18-21日。柏林：Logos Verlag（ISBN 3-8325-0475-3/pbk）。《逻辑哲学》12，7-36（2004）。
MSC公司：03B80号 03B10号机组 83A05号
PDF格式BibTeX公司 XML格式引用
\textit{H.Andréka}等人，《逻辑哲学》。12、7--36（2004年；Zbl 1096.03029）
伊斯坦·内梅蒂

一阶逻辑的精细结构分析。 （英语） Zbl 0879.03004号

Marx，Maarten（编辑）等人，《阿罗逻辑与多模态逻辑》。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和信息研究。221-247 (1996).
审核人：L.Esakia（第比利斯）
MSC公司：03B10号机组 03G15年 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{I.Németi}，in：箭头逻辑和多模态逻辑。加利福尼亚州斯坦福：CSLI出版物。221--247（1996；Zbl 0879.03004）
哈伊纳尔·安德雷卡；阿格内斯·库鲁茨；伊斯坦·内梅蒂；伊尔迪科·塞恩；安德烈斯·西蒙

箭头逻辑和多模态逻辑中不可判定性的原因和补救措施。 （英语） Zbl 0874.03023号

Marx，Maarten（编辑）等人，《阿罗逻辑与多模态逻辑》。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和信息研究。63-99 (1996).
MSC公司：03B45号 03B70号 03天35分 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{H.Andréka}等人，in：箭头逻辑和多模态逻辑。加利福尼亚州斯坦福：CSLI出版物。63-99（1996年；Zbl 0874.03023）
马克思，马尔滕；米库拉斯（Mikulás，Szabolcs）；伊斯坦·内梅蒂；伊尔迪科·塞恩

箭头逻辑调查。 （英语） Zbl 0874.03022号

Marx，Maarten（编辑）等人，《阿罗逻辑和多模态逻辑》。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和信息研究。35-61（1996年）。
MSC公司：03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.马克思}等人，in：箭头逻辑和多模态逻辑。加利福尼亚州斯坦福：CSLI出版物。35-61（1996；Zbl 0874.03022）
伊斯坦·内梅蒂

一阶逻辑和柱相关集代数的可判定版本。 （英语） Zbl 0852.0302号

Csirmaz，László（编辑）等人，1992年8月9日至15日在匈牙利维斯普雷姆举行的逻辑研讨会。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和计算研究。177-241 (1995).
审核人：B.M.Schein（费耶特维尔）
MSC公司：03B20型 03G15年 03财年03 03C13号机组 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{I.Németi}，摘自：1992年逻辑学术讨论会，匈牙利维斯普雷姆，1992年8月9日至15日。加利福尼亚州斯坦福：CSLI出版物。177-241（1995年；兹bl 0852.03002）
米库拉斯（Mikulás，Szabolcs）；伊斯坦·内梅蒂；伊尔迪科·塞恩

动态趋势的判定逻辑和相对化关系代数。 （英语） Zbl 0843.03008号

Csirmaz，László（编辑）等人，1992年8月9日至15日在匈牙利维斯普雷姆举行的逻辑研讨会。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和计算研究。165-175 (1995).
MSC公司：03B45号 03B25号 03G15年
PDF格式BibTeX公司 XML格式引用
\textit{S.MikuláS}等人，1992年8月9日至15日，匈牙利维斯普雷姆，1992年逻辑学术讨论会。加利福尼亚州斯坦福：CSLI出版物。165--175（1995；Zbl 0843.03008）
阿拉斯加州库鲁茨。；内梅蒂，我。；塞恩，I。；A.西蒙。

半格序半群、带算子的布尔代数和扩展Lambek演算的逻辑的不可判定变种。 （英语） Zbl 0798.03009号

牛市。IGPL公司 第1期，第91-98页（1993年）.
MSC公司：03B25号 03C05号机组 08B99号 05年6月 2007年7月20日 03B45号 06E25年
PDF格式BibTeX公司 XML格式引用
\textit{阿尔·库鲁茨}等人，公牛。IGPL 1，编号1，91--98（1993；Zbl 0798.03009）
全文： DOI程序
哈伊纳尔·安德雷卡；伊斯坦·内梅蒂；伊尔迪科·塞恩

时间证明的力量。 （英语） Zbl 0754.03017号

计算机科学数学基础。第十四交响曲。，89年MFCS，Porąbka-Kozubnik/Pol。1989年，Lect。注释计算。科学。379, 135-144 (1989).
审核人：O.Sonobe（福洛妮卡）
MSC公司：03B70号 03B45号 60年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Andréka}等人，Lect。注释计算。科学。无，135--144（1989；Zbl 0754.03017）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件