×

Found 288 Documents (Results 1–100)

Range-restricted and Horn interpolation through clausal tableaux. (English) Zbl 07850735

Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 3-23 (2023).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Formal reasoning about influence in natural sciences experiments. (English) Zbl 07838485

Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 153-169 (2023).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Synthetic tableaux: Minimal tableau search heuristics. (English) Zbl 07628201

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 407-425 (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Eliminating models during model elimination. (English) Zbl 07532520

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 250-265 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Formalizing a Seligman-style tableau system for hybrid logic (short paper). (English) Zbl 07614529

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 474-481 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Formalized proof systems for propositional logic. (English) Zbl 1528.03097

Abel, Andreas (ed.) et al., 23rd international conference on types for proofs and programs, TYPES 2017, May 24 – June 1, 2017, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 104, Article 5, 16 p. (2018).
MSC:  03B35
PDFBibTeX XMLCite
Full Text: DOI

Rejection in Łukasiewicz’s and Słupecki’s sense. (English) Zbl 1406.03032

Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 575-597 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

A new rule for LTL tableaux. (English) Zbl 1478.03030

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 287-301 (2016).
MSC:  03B44 03B70
PDFBibTeX XMLCite
Full Text: arXiv Link

Index sets for finite normal predicate logic programs with function symbols. (English) Zbl 1474.68041

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 60-75 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Free-variable semantic tableaux for the logic of fuzzy inequalities. (English. Russian original) Zbl 1386.03025

Algebra Logic 55, No. 2, 103-127 (2016); translation from Algebra Logika 55, No. 2, 156-191 (2016); erratum ibid. 55, No. 3, 256 (2016).
MSC:  03B52 03F03 68Q17
PDFBibTeX XMLCite
Full Text: DOI

A propositional tableaux based proof calculus for reasoning with default rules. (English) Zbl 1471.03015

De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 6-21 (2015).
MSC:  03B35 68T27 68V15
PDFBibTeX XMLCite
Full Text: DOI

How many times do we need an assumption to prove a tautology in minimal logic? Examples on the compression power of classical reasoning. (English) Zbl 1352.03067

Nieves, Juan Carlos (ed.) et al., Selected papers based on the presentations at the 9th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Valle de Bravo, Mexico, November 5–7, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 315, 31-46 (2014).
MSC:  03F20 03B05 03B35
PDFBibTeX XMLCite
Full Text: DOI

Henkin’s completeness proof and Glivenko’s theorem. (English) Zbl 1336.03038

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 217-223 (2014).
MSC:  03B55 03C10
PDFBibTeX XMLCite
Full Text: DOI

Henkin’s theorem in textbooks. (English) Zbl 1330.03003

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 135-148 (2014).
MSC:  03-03 01A60 01A05
PDFBibTeX XMLCite
Full Text: DOI

New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency. (English) Zbl 1272.03007

Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008. Berlin: Springer (ISBN 978-94-007-4437-0/hbk). Logic, Epistemology, and the Unity of Science 26, 101-122 (2013).
MSC:  03A05 03B53
PDFBibTeX XMLCite
Full Text: DOI

Decision procedures for region logic. (English) Zbl 1326.68264

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 379-395 (2012).
MSC:  68T15 03B70 03B35 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software