1.A Logical Framework for Set Theories

作　　者：Arnon Avron

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;81:3-15.doi:10.4204/EPTCS.81.1

出版社：Open Publishing Association

文章 ID：83120409

文章详细全文下载
2.Formalizing Scientifically Applicable Mathematics in a Definitional Framework

作　　者：Arnon Avron ;Liron Cohen

出　　处：Journal of Formalized Reasoning. 2016 ;9(1):53-70.doi:10.6092/issn.1972-5787/4573

出版社：Alma Mater Studiorum - University of Bologna

文章 ID：184649921

文章详细全文下载
3.Canonical Calculi with (n,k)-ary Quantifiers

作　　者：Arnon Avron ;Anna Zamansky

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:2)2008

出版社：Technical University of Braunschweig

文章 ID：47109795

文章详细全文下载
4.Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency

作　　者：Ofer Arieli ;Arnon Avron

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:7:1-7:15.doi:10.4230/LIPIcs.FSCD.2016.7

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847439

文章详细全文下载
5.Safety, Absoluteness, and Computability

作　　者：Arnon Avron ;Shahar Lev ;Nissan Levi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-17.doi:10.4230/LIPIcs.CSL.2018.8

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213283

文章详细全文下载

	德国	3篇
	意大利	1篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Arnon Avron")))) )) ) )"

	Arnon Avron	5篇
	Anna Zamansky	1篇
	Liron Cohen	1篇
	Nissan Levi	1篇
	Ofer Arieli	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Journal of Formalized Reasoning	1篇
	Logical Methods in Computer Science	1篇

	2018	1篇
	2016	2篇
	2011	1篇
	2008	1篇