×

Found 96 Documents (Results 1–96)

Effective Skolemization. (English) Zbl 07810558

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 69-82 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Lyndon interpolation holds for the prenex \(\supset\) prenex fragment of Gödel logic. (English) Zbl 1416.03011

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 95-110 (2018).
MSC:  03B50 03C40
PDFBibTeX XMLCite
Full Text: DOI

Gödel logics and the fully boxed fragment of FO-LTL. (English) Zbl 1402.03025

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 404-416 (2017).
MSC:  03B44 03B50 03B70
PDFBibTeX XMLCite
Full Text: DOI

First-order interpolation of non-classical logics derived from propositional interpolation. (English) Zbl 1496.03097

Dixon, Clare (ed.) et al., Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10483, 265-280 (2017).
MSC:  03B50 03F03
PDFBibTeX XMLCite
Full Text: DOI

Cut elimination for Gödel logic with an operator adding a constant. (English) Zbl 1478.03050

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 36-51 (2016).
MSC:  03B50 03F05
PDFBibTeX XMLCite
Full Text: DOI

Elementary elimination of prenex cuts in disjunction-free intuitionistic logic. (English) Zbl 1373.03122

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 94-109 (2015).
MSC:  03F05 03B20 03F20
PDFBibTeX XMLCite
Full Text: DOI

Effective finite-valued semantics for labelled calculi. (English) Zbl 1358.03018

Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 52-66 (2012).
PDFBibTeX XMLCite
Full Text: DOI

A resolution mechanism for prenex Gödel logic. (English) Zbl 1238.03022

Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 67-79 (2010).
MSC:  03B35 03B50 03B52
PDFBibTeX XMLCite
Full Text: DOI

SAT in monadic Gödel logics: a borderline between decidability and undecidability. (English) Zbl 1246.03046

Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 113-123 (2009).
MSC:  03B52 03B25
PDFBibTeX XMLCite
Full Text: DOI

Cut elimination for first order Gödel logic by hyperclause resolution. (English) Zbl 1182.03102

Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 451-466 (2008).
MSC:  03F05 03B35
PDFBibTeX XMLCite
Full Text: DOI

Herbrand theorems and Skolemization for prenex fuzzy logics. (English) Zbl 1142.03340

Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 22-31 (2008).
MSC:  03B52
PDFBibTeX XMLCite
Full Text: DOI

Effective finite-valued approximations of general propositional logics. (English) Zbl 1133.03328

Avron, Arnon (ed.) et al., Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Berlin: Springer (ISBN 978-3-540-78126-4/pbk). Lecture Notes in Computer Science 4800, 107-129 (2008).
MSC:  03B50
PDFBibTeX XMLCite
Full Text: DOI arXiv

Monadic fragments of Gödel logics: Decidability and undecidability results. (English) Zbl 1138.03025

Dershowitz, Nachum (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75558-6/pbk). Lecture Notes in Computer Science 4790. Lecture Notes in Artificial Intelligence, 77-91 (2007).
MSC:  03B50 03B25
PDFBibTeX XMLCite
Full Text: DOI

Proof theory for first order Łukasiewicz logic. (English) Zbl 1133.03010

Olivetti, Nicola (ed.), Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3–6, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73098-9/pbk). Lecture Notes in Computer Science 4548. Lecture Notes in Artificial Intelligence, 28-42 (2007).
MSC:  03B50 03F05
PDFBibTeX XMLCite
Full Text: DOI

Proof transformation by CERES. (English) Zbl 1125.03012

Borwein, Jonathan M. (ed.) et al., Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37104-4/pbk). Lecture Notes in Computer Science 4108. Lecture Notes in Artificial Intelligence, 82-93 (2006).
MSC:  03B35 03F05 68T15
PDFBibTeX XMLCite
Full Text: DOI

On interpolation in existence logics. (English) Zbl 1143.03325

Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 697-711 (2005).
MSC:  03B20 03C40 03F05
PDFBibTeX XMLCite
Full Text: DOI

Cut-elimination: experiments with CERES. (English) Zbl 1108.03305

Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 481-495 (2005).
MSC:  03B35 03F05 68T15
PDFBibTeX XMLCite
Full Text: DOI

CERES in many-valued logics. (English) Zbl 1109.03007

Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 1-20 (2005).
MSC:  03B35 03B50 03F05 68T15
PDFBibTeX XMLCite
Full Text: DOI

A translation characterizing the constructive content of classical theories. (English) Zbl 1273.03160

Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 107-121 (2003).
MSC:  03F20 03B35
PDFBibTeX XMLCite

Sequent of relations calculi: A framework for analytic deduction in many-valued logics. (English) Zbl 1041.03020

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, 157-180 (2003).
MSC:  03B50 03F07
PDFBibTeX XMLCite

Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25–30, 2003. Proceedings. (English) Zbl 1019.00011

Lecture Notes in Computer Science. 2803. Berlin: Springer. xii, 590 p. (2003).
PDFBibTeX XMLCite
Full Text: DOI Link

Proof analysis by resolution. (English) Zbl 1015.03509

Egly, Uwe (ed.) et al., Automated reasoning with analytic tableaux and related methods. 11th international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2381, 1 (2002).
MSC:  03B35 68T15 03F07
PDFBibTeX XMLCite
Full Text: Link

Logic for programming, artificial intelligence, and reasoning. 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14–18, 2002. Proceedings. (English) Zbl 1007.00026

Lecture Notes in Computer Science 2514. Lecture Notes in Artificial Intelligence. Berlin: Springer. xiii, 463 p. (2002).
PDFBibTeX XMLCite
Full Text: DOI Link

Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving. (English) Zbl 1275.03098

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 201-216 (2001).
MSC:  03B50 03B35 68T15
PDFBibTeX XMLCite
Full Text: DOI

On a generalisation of Herbrand’s theorem. (English) Zbl 0999.03051

Fribourg, Laurent (ed.), Computer science logic. 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2142, 469-483 (2001).
MSC:  03F20 03B35 03F05
PDFBibTeX XMLCite
Full Text: Link

Automated deduction for many-valued logics. (English) Zbl 0992.03015

Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier. 1355-1402 (2001).
MSC:  03B35 03B50 68T15
PDFBibTeX XMLCite

Normal form transformations. (English) Zbl 1005.03013

Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; 0-444-50812-0 (vol. 2); 0-444-50813-9 (set)). 273-333 (2001).
Reviewer: U.Schöning (Ulm)
MSC:  03B35 03F05 03F07 68T15
PDFBibTeX XMLCite

Quantified propositional Gödel logics. (English) Zbl 0988.03014

Parigot, Michel (ed.) et al., Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1955, 240-256 (2000).
MSC:  03B25 03B50 03C10
PDFBibTeX XMLCite
Full Text: arXiv

Hypersequents and the proof theory of intuitionistic fuzzy logic. (English) Zbl 0973.03029

Clote, Peter G. (ed.) et al., Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1862, 187-201 (2000).
MSC:  03B52 03F05
PDFBibTeX XMLCite
Full Text: arXiv

An analytic calculus for quantified propositional Gödel logic. (English) Zbl 0963.03075

Dyckhoff, Roy (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000, St Andrews, Scotland, GB, July 3-7, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1847, 112-126 (2000).
PDFBibTeX XMLCite

An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. (English) Zbl 0943.03020

Buss, Samuel R. (ed.) et al., Logic colloquium ’98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lect. Notes Log. 13, 91-104 (2000).
MSC:  03B50 03B52
PDFBibTeX XMLCite

On the undecidability of some sub-classical first-order logics. (English) Zbl 0952.03003

Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 258-268 (1999).
PDFBibTeX XMLCite

Analytic calculi for projective logics. (English) Zbl 0931.03066

Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 36-50 (1999).
MSC:  03F03 03B50 68T27
PDFBibTeX XMLCite

Proof theory of fuzzy logics: Urquhart’s \(C\) and related logics. (English) Zbl 0921.03028

Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 203-212 (1998).
MSC:  03B52 03F03 03B50
PDFBibTeX XMLCite

Lean induction principles for tableaux. (English) Zbl 1415.03015

Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 62-75 (1997).
MSC:  03B35 03F30
PDFBibTeX XMLCite
Full Text: DOI

MUltlog 1.0: towards an expert system for many-valued logics. (English) Zbl 1412.68204

McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 226-230 (1996).
MSC:  68T15 03B50 68T35
PDFBibTeX XMLCite
Full Text: DOI

Combining many-valued and intuitionistic tableaux. (English) Zbl 1415.03016

Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 65-79 (1996).
MSC:  03B35 03B20 03B50
PDFBibTeX XMLCite
Full Text: DOI

MULTLOG: A system for axiomatizing many-valued logics. (English) Zbl 0793.68126

Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 345-347 (1993).
MSC:  68T15 03B50
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software