×

Found 97 Documents (Results 1–97)

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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

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

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite

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

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

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software