Avron, Arnon On formal criteria for relevance. (English) Zbl 07576843 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 54-64 (2022). MSC: 03B47 PDFBibTeX XMLCite \textit{A. Avron}, Tributes 46, 54--64 (2022; Zbl 07576843)
Avron, Arnon Proof systems for 3-valued logics based on Gödel’s implication. (English) Zbl 1494.03059 Log. J. IGPL 30, No. 3, 437-453 (2022). MSC: 03B50 03B53 PDFBibTeX XMLCite \textit{A. Avron}, Log. J. IGPL 30, No. 3, 437--453 (2022; Zbl 1494.03059) Full Text: DOI
Avron, Arnon Quasi-canonical systems and their semantics. (English) Zbl 1525.03110 Synthese 198, Suppl. 22, S5353-S5371 (2021). MSC: 03F03 03B50 03F05 PDFBibTeX XMLCite \textit{A. Avron}, Synthese 198, S5353--S5371 (2021; Zbl 1525.03110) Full Text: DOI
Avron, Arnon Implication, equivalence, and negation. (English) Zbl 07642556 Log. Issled. 27, No. 1, 31-45 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{A. Avron}, Log. Issled. 27, No. 1, 31--45 (2021; Zbl 07642556) Full Text: DOI
Levi, Nissan; Avron, Arnon Analysis in a formal predicative set theory. (English) Zbl 07547740 Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 167-183 (2021). MSC: 03B70 PDFBibTeX XMLCite \textit{N. Levi} and \textit{A. Avron}, Lect. Notes Comput. Sci. 13038, 167--183 (2021; Zbl 07547740) Full Text: DOI
Avron, Arnon Comments on the papers. (English) Zbl 07452009 Arieli, Ofer (ed.) et al., Arnon Avron on semantics and proof theory of non-classical logics. Cham: Springer. Outst. Contrib. Log. 21, 319-330 (2021). MSC: 03B50 03B10 03-02 PDFBibTeX XMLCite \textit{A. Avron}, Outst. Contrib. Log. 21, 319--330 (2021; Zbl 07452009) Full Text: DOI
Avron, Arnon Why predicative sets? (English) Zbl 07614716 Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 30-45 (2020). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{A. Avron}, Lect. Notes Comput. Sci. 12180, 30--45 (2020; Zbl 07614716) Full Text: DOI
Avron, Arnon A note on semi-implication with negation. (English) Zbl 1487.03040 Costa-Leite, Alexandre (ed.), Abstract consequence and logics. Essays in honor of Edelcio G. de Souza. London: College Publications. Tributes 42, 221-226 (2020). MSC: 03B47 03B20 PDFBibTeX XMLCite \textit{A. Avron}, Tributes 42, 221--226 (2020; Zbl 1487.03040)
Avron, Arnon; Zamansky, Anna Paraconsistency, self-extensionality, modality. (English) Zbl 1477.03083 Log. J. IGPL 28, No. 5, 851-880 (2020). MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{A. Avron} and \textit{A. Zamansky}, Log. J. IGPL 28, No. 5, 851--880 (2020; Zbl 1477.03083) Full Text: DOI
Avron, Arnon Weyl reexamined: “Das Kontinuum” 100 years later. (English) Zbl 1458.03006 Bull. Symb. Log. 26, No. 1, 26-79 (2020). Reviewer: Jens Lemanski (Hagen) MSC: 03A05 03B30 03B38 01A60 03-03 PDFBibTeX XMLCite \textit{A. Avron}, Bull. Symb. Log. 26, No. 1, 26--79 (2020; Zbl 1458.03006) Full Text: DOI
Avron, Arnon The normal and self-extensional extension of Dunn-Belnap logic. (English) Zbl 1472.03019 Log. Univers. 14, No. 3, 281-296 (2020). Reviewer: Gemma Robles (León) MSC: 03B47 03B20 03B53 03B50 PDFBibTeX XMLCite \textit{A. Avron}, Log. Univers. 14, No. 3, 281--296 (2020; Zbl 1472.03019) Full Text: DOI
Cohen, Liron; Avron, Arnon The middle ground-ancestral logic. (English) Zbl 1475.03082 Synthese 196, No. 7, 2671-2693 (2019). MSC: 03B60 03F05 03A05 PDFBibTeX XMLCite \textit{L. Cohen} and \textit{A. Avron}, Synthese 196, No. 7, 2671--2693 (2019; Zbl 1475.03082) Full Text: DOI
Dvir, Yotam; Avron, Arnon First-order quasi-canonical proof systems. (English) Zbl 1435.03085 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 77-93 (2019). MSC: 03F07 03F05 68T27 68T30 PDFBibTeX XMLCite \textit{Y. Dvir} and \textit{A. Avron}, Lect. Notes Comput. Sci. 11714, 77--93 (2019; Zbl 1435.03085) Full Text: DOI
Avron, Arnon; Zohar, Yoni Rexpansions of nondeterministic matrices and their applications in nonclassical logics. (English) Zbl 07063885 Rev. Symb. Log. 12, No. 1, 173-200 (2019). MSC: 03B50 03B52 03B53 03B60 PDFBibTeX XMLCite \textit{A. Avron} and \textit{Y. Zohar}, Rev. Symb. Log. 12, No. 1, 173--200 (2019; Zbl 07063885) Full Text: DOI
Avron, Arnon; Lahav, Ori A simple cut-free system for a paraconsistent logic equivalent to S5. (English) Zbl 1418.03126 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 29-42 (2018). MSC: 03B53 03B45 03F05 PDFBibTeX XMLCite \textit{A. Avron} and \textit{O. Lahav}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 29--42 (2018; Zbl 1418.03126)
Avron, Arnon; Arieli, Ofer; Zamansky, Anna Theory of effective propositional paraconsistent logics. (English) Zbl 1448.03001 Studies in Logic (London) 75. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-84890-270-1/pbk). xxiv, 550 p. (2018). MSC: 03-02 03B53 PDFBibTeX XMLCite \textit{A. Avron} et al., Theory of effective propositional paraconsistent logics. London: College Publications (2018; Zbl 1448.03001)
Avron, Arnon; Beziau, Jean-Yves Self-extensional three-valued paraconsistent logics have no implication. (English) Zbl 1405.03063 Log. J. IGPL 25, No. 2, 183-194 (2017). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{A. Avron} and \textit{J.-Y. Beziau}, Log. J. IGPL 25, No. 2, 183--194 (2017; Zbl 1405.03063) Full Text: DOI
Arieli, Ofer; Avron, Arnon Four-valued paradefinite logics. (English) Zbl 1417.03190 Stud. Log. 105, No. 6, 1087-1122 (2017). MSC: 03B53 03B50 03B47 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, Stud. Log. 105, No. 6, 1087--1122 (2017; Zbl 1417.03190) Full Text: DOI
Avron, Arnon Self-extensional three-valued paraconsistent logics. (English) Zbl 1420.03042 Log. Univers. 11, No. 3, 297-315 (2017). MSC: 03B53 03B50 03F05 PDFBibTeX XMLCite \textit{A. Avron}, Log. Univers. 11, No. 3, 297--315 (2017; Zbl 1420.03042) Full Text: DOI
Avron, Arnon \(\mathbf{RM}\) and its nice properties. (English) Zbl 1439.03047 Bimbó, Katalin (ed.), J. Michael Dunn on information based logics. Cham: Springer. Outst. Contrib. Log. 8, 15-43 (2016). MSC: 03B47 03B52 03B53 PDFBibTeX XMLCite \textit{A. Avron}, Outst. Contrib. Log. 8, 15--43 (2016; Zbl 1439.03047) Full Text: DOI
Avron, Arnon; Zamansky, Anna A paraconsistent view on B and S5. (English) Zbl 1400.03055 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 21-37 (2016). MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{A. Avron} and \textit{A. Zamansky}, in: Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 -- September 2, 2016. London: College Publications. 21--37 (2016; Zbl 1400.03055)
Avron, Arnon Paraconsistent fuzzy logic preserving non-falsity. (English) Zbl 1397.03047 Fuzzy Sets Syst. 292, 75-84 (2016). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B53 03B52 03B47 PDFBibTeX XMLCite \textit{A. Avron}, Fuzzy Sets Syst. 292, 75--84 (2016; Zbl 1397.03047) Full Text: DOI
Arieli, Ofer; Avron, Arnon Minimal paradefinite logics for reasoning with incompleteness and inconsistency. (English) Zbl 1387.03026 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 7, 15 p. (2016). MSC: 03B53 03B50 68T27 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 7, 15 p. (2016; Zbl 1387.03026) Full Text: DOI
Arieli, Ofer; Avron, Arnon Three-valued paraconsistent propositional logics. (English) Zbl 1423.03092 Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 91-129 (2015). MSC: 03B53 03B50 03F05 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, Springer Proc. Math. Stat. 152, 91--129 (2015; Zbl 1423.03092) Full Text: DOI
Lahav, Ori; Avron, Arnon A cut-free calculus for second-order Gödel logic. (English) Zbl 1388.03030 Fuzzy Sets Syst. 276, 1-30 (2015). MSC: 03B52 03B15 03F05 PDFBibTeX XMLCite \textit{O. Lahav} and \textit{A. Avron}, Fuzzy Sets Syst. 276, 1--30 (2015; Zbl 1388.03030) Full Text: DOI
Avron, Arnon; Konikowska, Beata; Zamansky, Anna Efficient reasoning with inconsistent information using C-systems. (English) Zbl 1360.68827 Inf. Sci. 296, 219-236 (2015). MSC: 68T37 03B50 03B53 68T27 PDFBibTeX XMLCite \textit{A. Avron} et al., Inf. Sci. 296, 219--236 (2015; Zbl 1360.68827) Full Text: DOI
Avron, Arnon Semi-implication: a chapter in universal logic. (English) Zbl 1372.03024 Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 59-72 (2015). MSC: 03B20 03B47 PDFBibTeX XMLCite \textit{A. Avron}, in: The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer. 59--72 (2015; Zbl 1372.03024) Full Text: DOI
Avron, Arnon Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. (English) Zbl 1398.03135 J. Appl. Non-Class. Log. 24, No. 1-2, 12-34 (2014). MSC: 03B53 03B50 03F05 PDFBibTeX XMLCite \textit{A. Avron}, J. Appl. Non-Class. Log. 24, No. 1--2, 12--34 (2014; Zbl 1398.03135) Full Text: DOI
Avron, Arnon The classical constraint on relevance. (English) Zbl 1344.03027 Log. Univers. 8, No. 1, 1-15 (2014). MSC: 03B47 03B20 PDFBibTeX XMLCite \textit{A. Avron}, Log. Univers. 8, No. 1, 1--15 (2014; Zbl 1344.03027) Full Text: DOI
Cohen, Liron; Avron, Arnon Ancestral logic: a proof theoretical study. (English) Zbl 1429.03113 Kohlenbach, Ulrich (ed.) et al., Logic, language, information, and computation. 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1–4, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8652, 137-151 (2014). MSC: 03B60 03B35 03F03 PDFBibTeX XMLCite \textit{L. Cohen} and \textit{A. Avron}, Lect. Notes Comput. Sci. 8652, 137--151 (2014; Zbl 1429.03113) Full Text: DOI
Avron, Arnon What is relevance logic? (English) Zbl 1325.03022 Ann. Pure Appl. Logic 165, No. 1, 26-48 (2014). Reviewer: Gemma Robles (León) MSC: 03B47 03B22 03B53 03F52 PDFBibTeX XMLCite \textit{A. Avron}, Ann. Pure Appl. Logic 165, No. 1, 26--48 (2014; Zbl 1325.03022) Full Text: DOI
Avron, Arnon; Konikowska, Beata; Zamansky, Anna Cut-free sequent calculi for C-systems with generalized finite-valued semantics. (English) Zbl 1267.03032 J. Log. Comput. 23, No. 3, 517-540 (2013). MSC: 03B35 03B50 03B53 PDFBibTeX XMLCite \textit{A. Avron} et al., J. Log. Comput. 23, No. 3, 517--540 (2013; Zbl 1267.03032) Full Text: DOI
Lahav, Ori; Avron, Arnon A semantic proof of strong cut-admissibility for first-order Gödel logic. (English) Zbl 1284.03255 J. Log. Comput. 23, No. 1, 59-86 (2013). MSC: 03F05 03B52 03B55 PDFBibTeX XMLCite \textit{O. Lahav} and \textit{A. Avron}, J. Log. Comput. 23, No. 1, 59--86 (2013; Zbl 1284.03255) Full Text: DOI
Avron, Arnon; Konikowska, Beata; Zamansky, Anna Modular construction of cut-free sequent calculi for paraconsistent logics. (English) Zbl 1364.03043 Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 85-94 (2012). MSC: 03B53 03B35 03F05 PDFBibTeX XMLCite \textit{A. Avron} et al., in: Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society. 85--94 (2012; Zbl 1364.03043) Full Text: DOI
Avron, Arnon; Konikowska, Beata Finite-valued logics for information processing. (English) Zbl 1248.03042 Fundam. Inform. 114, No. 1, 1-30 (2012). MSC: 03B50 03B70 PDFBibTeX XMLCite \textit{A. Avron} and \textit{B. Konikowska}, Fundam. Inform. 114, No. 1, 1--30 (2012; Zbl 1248.03042) Full Text: Link
Lahav, Ori; Avron, Arnon Non-deterministic connectives in propositional Gödel logic. (English) Zbl 1254.03055 Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 28, 175-182 (2011). MSC: 03B52 03B25 PDFBibTeX XMLCite \textit{O. Lahav} and \textit{A. Avron}, in: Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18--22, 2011. Amsterdam: Atlantis Press. Paper No. 28, 175--182 (2011; Zbl 1254.03055) Full Text: DOI
Arieli, O.; Avron, A.; Zamansky, A. Ideal paraconsistent logics. (English) Zbl 1248.03046 Stud. Log. 99, No. 1-3, 31-60 (2011). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{O. Arieli} et al., Stud. Log. 99, No. 1--3, 31--60 (2011; Zbl 1248.03046) Full Text: DOI
Avron, Arnon A simple proof of completeness and cut-admissibility for propositional Gödel logic. (English) Zbl 1258.03026 J. Log. Comput. 21, No. 5, 813-821 (2011). MSC: 03B50 03F05 PDFBibTeX XMLCite \textit{A. Avron}, J. Log. Comput. 21, No. 5, 813--821 (2011; Zbl 1258.03026) Full Text: DOI
Avron, Arnon; Lahav, Ori Kripke semantics for basic sequent systems. (English) Zbl 1333.03236 Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 43-57 (2011). MSC: 03F05 03B60 PDFBibTeX XMLCite \textit{A. Avron} and \textit{O. Lahav}, Lect. Notes Comput. Sci. 6793, 43--57 (2011; Zbl 1333.03236) Full Text: DOI
Avron, Arnon; Lahav, Ori A multiple-conclusion calculus for first-order Gödel logic. (English) Zbl 1332.03004 Kulikov, Alexander (ed.) et al., Computer science – theory and applications. 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20711-2/pbk). Lecture Notes in Computer Science 6651, 456-469 (2011). MSC: 03B50 03F05 PDFBibTeX XMLCite \textit{A. Avron} and \textit{O. Lahav}, Lect. Notes Comput. Sci. 6651, 456--469 (2011; Zbl 1332.03004) Full Text: DOI
Arieli, Ofer; Avron, Arnon; Zamansky, Anna Maximal and premaximal paraconsistency in the framework of three-valued semantics. (English) Zbl 1256.03030 Stud. Log. 97, No. 1, 31-60 (2011). MSC: 03B53 03A05 03B50 PDFBibTeX XMLCite \textit{O. Arieli} et al., Stud. Log. 97, No. 1, 31--60 (2011; Zbl 1256.03030) Full Text: DOI Link
Avron, Arnon; Lahav, Ori Strict canonical constructive systems. (English) Zbl 1287.03099 Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 75-94 (2010). MSC: 03F05 03B60 PDFBibTeX XMLCite \textit{A. Avron} and \textit{O. Lahav}, Lect. Notes Comput. Sci. 6300, 75--94 (2010; Zbl 1287.03099) Full Text: DOI
Avron, Arnon Multi-valued semantics: why and how. (English) Zbl 1182.03044 Stud. Log. 92, No. 2, 163-182 (2009). MSC: 03B50 03B22 PDFBibTeX XMLCite \textit{A. Avron}, Stud. Log. 92, No. 2, 163--182 (2009; Zbl 1182.03044) Full Text: DOI
Avron, Arnon; Konikowska, Beata Proof systems for reasoning about computation errors. (English) Zbl 1169.03022 Stud. Log. 91, No. 2, 273-293 (2009). MSC: 03B70 03B50 68Q60 PDFBibTeX XMLCite \textit{A. Avron} and \textit{B. Konikowska}, Stud. Log. 91, No. 2, 273--293 (2009; Zbl 1169.03022) Full Text: DOI
Avron, Arnon; Ben-Naim, Jonathan; Konikowska, Beata Processing information from a set of sources. (English) Zbl 1156.03030 Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 165-186 (2009). MSC: 03B70 PDFBibTeX XMLCite \textit{A. Avron} et al., in: Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1--4, 2006. Berlin: Springer. 165--186 (2009; Zbl 1156.03030) Full Text: DOI
Avron, A.; Konikowska, B. Rough sets and 3-valued logics. (English) Zbl 1159.03016 Stud. Log. 90, No. 1, 69-92 (2008). MSC: 03B50 68T37 PDFBibTeX XMLCite \textit{A. Avron} and \textit{B. Konikowska}, Stud. Log. 90, No. 1, 69--92 (2008; Zbl 1159.03016) Full Text: DOI
Avron, Arnon; Zamansky, Anna Canonical calculi with \((n,k)\)-ary quantifiers. (English) Zbl 1151.03028 Log. Methods Comput. Sci. 4, No. 3, Paper 2, 23 p. (2008). MSC: 03F05 03B47 03C80 PDFBibTeX XMLCite \textit{A. Avron} and \textit{A. Zamansky}, Log. Methods Comput. Sci. 4, No. 3, Paper 2, 23 p. (2008; Zbl 1151.03028) Full Text: DOI
Avron, Arnon; Zamansky, Anna A triple correspondence in canonical calculi: Strong cut-elimination, coherence, and non-deterministic semantics. (English) Zbl 1143.03028 Hirsch, Edward A. (ed.) et al., Computer science – theory and applications. Third international computer science symposium in Russia, CSR 2008 Moscow, Russia, June 7–12, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79708-1/pbk). Lecture Notes in Computer Science 5010, 52-63 (2008). MSC: 03F05 03C80 PDFBibTeX XMLCite \textit{A. Avron} and \textit{A. Zamansky}, Lect. Notes Comput. Sci. 5010, 52--63 (2008; Zbl 1143.03028) Full Text: DOI
Avron, Arnon Non-deterministic matrices and modular semantics of rules. 2nd revised ed. (English) Zbl 1143.03326 Beziau, Jean-Yves (ed.), Logica universalis. Towards a general theory of logic. Basel: Birkhäuser (ISBN 978-3-7643-8353-4/pbk). 155-173 (2007). MSC: 03B22 03B50 03B53 PDFBibTeX XMLCite \textit{A. Avron}, in: Logica universalis. Towards a general theory of logic. Basel: Birkhäuser. 155--173 (2007; Zbl 1143.03326)
Zamansky, Anna; Avron, Arnon Effective non-deterministic semantics for first-order LFIs. (English) Zbl 1139.03019 J. Mult.-Val. Log. Soft Comput. 13, No. 4-6, 335-351 (2007). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{A. Zamansky} and \textit{A. Avron}, J. Mult.-Val. Log. Soft Comput. 13, No. 4--6, 335--351 (2007; Zbl 1139.03019)
Avron, Arnon; Zamansky, Anna Generalized non-deterministic matrices and \((n,k)\)-ary quantifiers. (English) Zbl 1132.03342 Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 26-40 (2007). MSC: 03C80 03F05 PDFBibTeX XMLCite \textit{A. Avron} and \textit{A. Zamansky}, Lect. Notes Comput. Sci. 4514, 26--40 (2007; Zbl 1132.03342) Full Text: DOI
Avron, Arnon Non-deterministic semantics for logics with a consistency operator. (English) Zbl 1122.03026 Int. J. Approx. Reasoning 45, No. 2, 271-287 (2007). MSC: 03B53 68T27 PDFBibTeX XMLCite \textit{A. Avron}, Int. J. Approx. Reasoning 45, No. 2, 271--287 (2007; Zbl 1122.03026) Full Text: DOI
Avron, Arnon; Ben-Naim, Jonathan; Konikowska, Beata Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. (English) Zbl 1118.03049 Log. Univers. 1, No. 1, 41-70 (2007). MSC: 03F05 03B50 PDFBibTeX XMLCite \textit{A. Avron} et al., Log. Univers. 1, No. 1, 41--70 (2007; Zbl 1118.03049) Full Text: DOI
Avron, Arnon Logical non-determinism as a tool for logical modularity: an introduction. (English) Zbl 1279.03033 Artemov, Sergei (ed.) et al., We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. London: College Publications (ISBN 1-904987-11-7/pbk; 1-904987-25-7/hbk). Tributes 1, 105-123 (2005). MSC: 03B22 03B50 PDFBibTeX XMLCite \textit{A. Avron}, Tributes 1, 105--123 (2005; Zbl 1279.03033)
Avron, Arnon Non-deterministic semantics for paraconsistent C-systems. (English) Zbl 1113.03323 Godo, Lluís (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27326-3/pbk). Lecture Notes in Computer Science 3571. Lecture Notes in Artificial Intelligence, 625-637 (2005). MSC: 03B53 68T27 PDFBibTeX XMLCite \textit{A. Avron}, Lect. Notes Comput. Sci. 3571, 625--637 (2005; Zbl 1113.03323) Full Text: DOI
Avron, Arnon A non-deterministic view on non-classical negations. (English) Zbl 1086.03023 Stud. Log. 80, No. 2-3, 159-194 (2005). MSC: 03B60 03B20 03B50 03B53 03B70 PDFBibTeX XMLCite \textit{A. Avron}, Stud. Log. 80, No. 2--3, 159--194 (2005; Zbl 1086.03023) Full Text: DOI
Avron, Arnon; Konikowska, Beata Multi-valued calculi for logics based on non-determinism. (English) Zbl 1080.03007 Log. J. IGPL 13, No. 4, 365-387 (2005). MSC: 03B50 03F05 03B35 03B22 03B53 PDFBibTeX XMLCite \textit{A. Avron} and \textit{B. Konikowska}, Log. J. IGPL 13, No. 4, 365--387 (2005; Zbl 1080.03007) Full Text: DOI
Avron, Arnon Non-deterministic matrices and modular semantics of rules. (English) Zbl 1081.03011 Beziau, Jean-Yves (ed.), Logica universalis. Towards a general theory of logic. Basel: Birkhäuser (ISBN 3-7643-7259-1/pbk). 149-167 (2005). MSC: 03B22 03B50 03B53 PDFBibTeX XMLCite \textit{A. Avron}, in: Logica universalis. Towards a general theory of logic. Basel: Birkhäuser. 149--167 (2005; Zbl 1081.03011)
Avron, Arnon; Lev, Iddo Non-deterministic multiple-valued structures. (English) Zbl 1070.03010 J. Log. Comput. 15, No. 3, 241-261 (2005). MSC: 03B50 03B35 68T37 03B53 03B25 PDFBibTeX XMLCite \textit{A. Avron} and \textit{I. Lev}, J. Log. Comput. 15, No. 3, 241--261 (2005; Zbl 1070.03010) Full Text: DOI Link
Avron, Arnon Combining classical logic, paraconsistency and relevance. (English) Zbl 1067.03030 J. Appl. Log. 3, No. 1, 133-160 (2005). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B53 03B47 PDFBibTeX XMLCite \textit{A. Avron}, J. Appl. Log. 3, No. 1, 133--160 (2005; Zbl 1067.03030) Full Text: DOI
Avron, Arnon Safety signature for first-order languages and their applications. (English) Zbl 1092.03015 Hendricks, Vincent (ed.) et al., First-order logic revisited. Proceedings of the conference FOL75 – 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18–21, 2003. Berlin: Logos Verlag (ISBN 3-8325-0475-3/pbk). Logische Philosophie 12, 37-58 (2004). Reviewer: Marie Duží (Ostrava) MSC: 03B70 03D80 03B10 68P15 03E30 PDFBibTeX XMLCite \textit{A. Avron}, Logische Philos. 12, 37--58 (2004; Zbl 1092.03015)
Avron, Arnon Classical Gentzen-type methods in proposititional many-valued logics. (English) Zbl 1046.03011 Fitting, Melvin (ed.) et al., Beyond two: Theory and applications of multiple-valued logic. Heidelberg: Physica-Verlag (ISBN 3-7908-1541-1/pbk). Stud. Fuzziness Soft Comput. 114, 117-155 (2003). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B22 03B35 03F05 03B70 03-02 PDFBibTeX XMLCite \textit{A. Avron}, Stud. Fuzziness Soft Comput. 114, 117--155 (2003; Zbl 1046.03011)
Avron, Arnon; Lev, Iddo Canonical propositional Gentzen-type systems. (English) Zbl 0988.03011 Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 529-544 (2001). MSC: 03B05 03F05 03B20 PDFBibTeX XMLCite \textit{A. Avron} and \textit{I. Lev}, Lect. Notes Comput. Sci. 2083, 529--544 (2001; Zbl 0988.03011) Full Text: Link
Avron, Arnon; Konikowska, Beata Decomposition proof systems for Gödel-Dummett logics. (English) Zbl 1010.03020 Stud. Log. 69, No. 2, 197-219 (2001). Reviewer: G.Mints (Stanford) MSC: 03B55 03F03 03B35 03B50 03F05 PDFBibTeX XMLCite \textit{A. Avron} and \textit{B. Konikowska}, Stud. Log. 69, No. 2, 197--219 (2001; Zbl 1010.03020) Full Text: DOI
Arieli, Ofer; Avron, Arnon Bilattices and paraconsistency. (English) Zbl 0994.03021 Batens, Diderik (ed.) et al., Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30-August 2, 1997. Baldock: Research Studies Press. Stud. Log. Comput. 8, 11-27 (2000). MSC: 03B53 03G10 68T27 68T37 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, Stud. Log. Comput. 8, 11--27 (2000; Zbl 0994.03021)
Avron, A. Implicational \(F\)-structures and implicational relevance logics. (English) Zbl 0960.03017 J. Symb. Log. 65, No. 2, 788-802 (2000). MSC: 03B47 03F05 03B20 PDFBibTeX XMLCite \textit{A. Avron}, J. Symb. Log. 65, No. 2, 788--802 (2000; Zbl 0960.03017) Full Text: DOI
Arieli, Ofer; Avron, Arnon General patterns for nonmonotonic reasoning: From basic entailments to plausible relations. (English) Zbl 0966.03024 Log. J. IGPL 8, No. 2, 119-148 (2000). Reviewer: Jan Šefránek (Bratislava) MSC: 03B60 68T27 03B53 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, Log. J. IGPL 8, No. 2, 119--148 (2000; Zbl 0966.03024) Full Text: DOI Link
Avron, Arnon Negation: Two points of view. (English) Zbl 0972.03011 Gabbay, Dov M. (ed.) et al., What is negation? Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 13, 3-22 (1999). MSC: 03B22 03B10 03B20 03B47 PDFBibTeX XMLCite \textit{A. Avron}, Appl. Log. Ser. 13, 3--22 (1999; Zbl 0972.03011)
Avron, Arnon On the expressive power of three-valued and four-valued languages. (English) Zbl 0941.03012 J. Log. Comput. 9, No. 6, 977-994 (1999). MSC: 03B42 03B50 PDFBibTeX XMLCite \textit{A. Avron}, J. Log. Comput. 9, No. 6, 977--994 (1999; Zbl 0941.03012) Full Text: DOI Link
Arieli, Ofer; Avron, Arnon Nonmonotonic and paraconsistent reasoning: From basic entailments to plausible relations. (English) Zbl 0932.03025 Hunter, Anthony (ed.) et al., Symbolic and quantitative approaches to reasoning and uncertainty. European conference, ECSQARU ‘99. London, GB, July 5-9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1638, 11-21 (1999). MSC: 03B60 03B53 68T27 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, Lect. Notes Comput. Sci. 1638, 11--21 (1999; Zbl 0932.03025)
Avron, Arnon; Honsell, Furio; Miculan, Marino; Paravano, Cristian Encoding modal logics in logical frameworks. (English) Zbl 0954.03021 Stud. Log. 60, No. 1, 161-208 (1998). MSC: 03B45 03B35 03B40 68T15 PDFBibTeX XMLCite \textit{A. Avron} et al., Stud. Log. 60, No. 1, 161--208 (1998; Zbl 0954.03021) Full Text: DOI
Arieli, Ofer; Avron, Arnon The logical role of the four-valued bilattice. (English) Zbl 0945.03537 Thirteenth annual IEEE symposium on Logic in computer science. Held in Indianapolis, IN, USA, June 21-24, 1998. Los Alamitos, CA: IEEE Computer Society. 118-126 (1998). MSC: 03B50 03B70 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, in: Thirteenth annual IEEE symposium on logic in computer science. Held in Indianapolis, IN, USA, June 21--24, 1998. Los Alamitos, CA: IEEE Computer Society. 118--126 (1998; Zbl 0945.03537)
Avron, A. Multiplicative conjunction and an algebraic meaning of contraction and weakening. (English) Zbl 0916.03041 J. Symb. Log. 63, No. 3, 831-859 (1998). MSC: 03F50 03B47 PDFBibTeX XMLCite \textit{A. Avron}, J. Symb. Log. 63, No. 3, 831--859 (1998; Zbl 0916.03041) Full Text: DOI
Arieli, Ofer; Avron, Arnon The value of the four values. (English) Zbl 0928.03025 Artif. Intell. 102, No. 1, 97-141 (1998). MSC: 03B53 68T37 03B50 68T27 03G25 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, Artif. Intell. 102, No. 1, 97--141 (1998; Zbl 0928.03025) Full Text: DOI
Avron, Arnon Two types of multiple-conclusion systems. (English) Zbl 0914.03057 Log. J. IGPL 6, No. 5, 695-717 (1998). MSC: 03F05 03B47 PDFBibTeX XMLCite \textit{A. Avron}, Log. J. IGPL 6, No. 5, 695--717 (1998; Zbl 0914.03057) Full Text: DOI
Avron, Arnon Formulas for which contraction is admissible. (English) Zbl 0893.03018 Log. J. IGPL 6, No. 1, 43-48 (1998). MSC: 03F03 03B20 PDFBibTeX XMLCite \textit{A. Avron}, Log. J. IGPL 6, No. 1, 43--48 (1998; Zbl 0893.03018) Full Text: DOI Link
Avron, Arnon Multiplicative conjunction as an extensional conjunction. (English) Zbl 0867.03019 Log. J. IGPL 5, No. 2, 181-208 (1997). MSC: 03F05 03B20 03B47 03B53 PDFBibTeX XMLCite \textit{A. Avron}, Log. J. IGPL 5, No. 2, 181--208 (1997; Zbl 0867.03019) Full Text: DOI Link
Arieli, Ofer; Avron, Arnon Reasoning with logical bilattices. (English) Zbl 0851.03017 J. Logic Lang. Inf. 5, No. 1, 25-63 (1996). MSC: 03F03 03G10 03B53 68T27 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, J. Logic Lang. Inf. 5, No. 1, 25--63 (1996; Zbl 0851.03017) Full Text: DOI
Avron, Arnon What is a logical system? (English) Zbl 0824.03003 Gabbay, D. M. (ed.), What is a logical system? Oxford: Oxford University Press. Stud. Log. Comput. 4, 217-238 (1994). Reviewer: B.Boričić (Heraklion) MSC: 03B22 03B60 PDFBibTeX XMLCite \textit{A. Avron}, Stud. Log. Comput. 4, 217--238 (1994; Zbl 0824.03003)
Avron, Arnon Some properties of linear logic proved by semantic methods. (English) Zbl 0814.03006 J. Log. Comput. 4, No. 6, 929-938 (1994). MSC: 03B20 03F03 03G25 PDFBibTeX XMLCite \textit{A. Avron}, J. Log. Comput. 4, No. 6, 929--938 (1994; Zbl 0814.03006) Full Text: DOI Link
Avron, Arnon Gentzen-type systems, resolution and tableaux. (English) Zbl 0788.03013 J. Autom. Reasoning 10, No. 2, 265-281 (1993). Reviewer: G.Mints (Stanford) MSC: 03B35 03F05 PDFBibTeX XMLCite \textit{A. Avron}, J. Autom. Reasoning 10, No. 2, 265--281 (1993; Zbl 0788.03013) Full Text: DOI
Avron, Arnon Whither relevance logic? (English) Zbl 0773.03015 J. Philos. Log. 21, No. 3, 243-281 (1992). Reviewer: G.Priest (Brisbane) MSC: 03B47 03A05 PDFBibTeX XMLCite \textit{A. Avron}, J. Philos. Log. 21, No. 3, 243--281 (1992; Zbl 0773.03015) Full Text: DOI
Avron, A. Axiomatic systems, deduction and implication. (English) Zbl 0756.03008 J. Log. Comput. 2, No. 1, 51-98 (1992). MSC: 03B22 03B20 03B47 03B60 PDFBibTeX XMLCite \textit{A. Avron}, J. Log. Comput. 2, No. 1, 51--98 (1992; Zbl 0756.03008) Full Text: DOI
Avron, Arnon; Honsell, Furio; Mason, Ian A.; Pollack, Robert Using typed lambda calculus to implement formal systems on a machine. (English) Zbl 0784.68072 J. Autom. Reasoning 9, No. 3, 309-354 (1992). MSC: 68T15 03B40 03B70 PDFBibTeX XMLCite \textit{A. Avron} et al., J. Autom. Reasoning 9, No. 3, 309--354 (1992; Zbl 0784.68072) Full Text: DOI
Avron, Arnon Simple consequence relations. (English) Zbl 0733.03007 Inf. Comput. 92, No. 1, 105-139 (1991). Reviewer: G.Mints (Stanford) MSC: 03B22 03F05 PDFBibTeX XMLCite \textit{A. Avron}, Inf. Comput. 92, No. 1, 105--139 (1991; Zbl 0733.03007) Full Text: DOI
Avron, Arnon Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems. (English) Zbl 0726.03012 Notre Dame J. Formal Logic 32, No. 1, 147-160 (1991). Reviewer: G.Priest (Brisbane) MSC: 03B47 03B53 03F05 PDFBibTeX XMLCite \textit{A. Avron}, Notre Dame J. Formal Logic 32, No. 1, 147--160 (1991; Zbl 0726.03012) Full Text: DOI
Avron, Arnon A note of provability, truth and existence. (English) Zbl 0748.03036 J. Philos. Log. 20, No. 4, 403-409 (1991). Reviewer: G.Priest (Brisbane) MSC: 03F30 03A05 PDFBibTeX XMLCite \textit{A. Avron}, J. Philos. Log. 20, No. 4, 403--409 (1991; Zbl 0748.03036) Full Text: DOI
Avron, Arnon Natural 3-valued logics – characterization and proof theory. (English) Zbl 0745.03017 J. Symb. Log. 56, No. 1, 276-294 (1991). Reviewer: I.D’Ottaviano (Campinas) MSC: 03B50 03B53 03F05 03B47 PDFBibTeX XMLCite \textit{A. Avron}, J. Symb. Log. 56, No. 1, 276--294 (1991; Zbl 0745.03017) Full Text: DOI
Avron, Arnon Relevance and paraconsistency - a new approach. II: The formal systems. (English) Zbl 0714.03020 Notre Dame J. Formal Logic 31, No. 2, 169-202 (1990). Reviewer: G.Priest MSC: 03B47 03B53 PDFBibTeX XMLCite \textit{A. Avron}, Notre Dame J. Formal Logic 31, No. 2, 169--202 (1990; Zbl 0714.03020) Full Text: DOI
Avron, Arnon Gentzenizing Schroeder-Heister’s natural extension of natural deduction. (English) Zbl 0712.03046 Notre Dame J. Formal Logic 31, No. 1, 127-135 (1990). Reviewer: O.Sonobe MSC: 03F05 03B60 PDFBibTeX XMLCite \textit{A. Avron}, Notre Dame J. Formal Logic 31, No. 1, 127--135 (1990; Zbl 0712.03046) Full Text: DOI
Avron, Arnon Relevance and paraconsistency - a new approach. (English) Zbl 0705.03007 J. Symb. Log. 55, No. 2, 707-732 (1990). Reviewer: G.Priest MSC: 03B47 03B53 03G10 PDFBibTeX XMLCite \textit{A. Avron}, J. Symb. Log. 55, No. 2, 707--732 (1990; Zbl 0705.03007) Full Text: DOI
Avron, Arnon The semantics and proof theory of linear logic. (English) Zbl 0652.03018 Theor. Comput. Sci. 57, No. 2-3, 161-184 (1988). Reviewer: M.Eytan MSC: 03B70 03F99 PDFBibTeX XMLCite \textit{A. Avron}, Theor. Comput. Sci. 57, No. 2--3, 161--184 (1988; Zbl 0652.03018) Full Text: DOI
Avron, Arnon A constructive analysis of RM. (English) Zbl 0639.03017 J. Symb. Log. 52, 939-951 (1987). Reviewer: S.Giambrone MSC: 03B45 03F05 03F65 PDFBibTeX XMLCite \textit{A. Avron}, J. Symb. Log. 52, 939--951 (1987; Zbl 0639.03017) Full Text: DOI
Avron, Arnon On purely relevant logics. (English) Zbl 0615.03004 Notre Dame J. Formal Logic 27, 180-194 (1986). Reviewer: S.Giambrone MSC: 03B45 PDFBibTeX XMLCite \textit{A. Avron}, Notre Dame J. Formal Logic 27, 180--194 (1986; Zbl 0615.03004) Full Text: DOI
Avron, Arnon On an implication connective of RM. (English) Zbl 0613.03003 Notre Dame J. Formal Logic 27, 201-209 (1986). Reviewer: J.B.Bacon MSC: 03B45 PDFBibTeX XMLCite \textit{A. Avron}, Notre Dame J. Formal Logic 27, 201--209 (1986; Zbl 0613.03003) Full Text: DOI
Avron, Arnon On modal systems having arithmetical interpretations. (English) Zbl 0587.03016 J. Symb. Log. 49, 935-942 (1984). Reviewer: S.Miura MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{A. Avron}, J. Symb. Log. 49, 935--942 (1984; Zbl 0587.03016) Full Text: DOI
Avron, Arnon Relevant entailment - semantics and formal systems. (English) Zbl 0586.03017 J. Symb. Log. 49, 334-342 (1984). Reviewer: G.Priest MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{A. Avron}, J. Symb. Log. 49, 334--342 (1984; Zbl 0586.03017) Full Text: DOI