Document Search Results

Indrzejczak, Andrzej; Petrukhin, Yaroslav

A uniform formalisation of three-valued logics in bisequent calculus. (English) Zbl 07838495

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, 325-343 (2023).

MSC: 03B35 68V15

Cite Review PDF

Full Text: DOI

Indrzejczak, Andrzej

Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation. (English) Zbl 07800190

J. Autom. Reasoning 67, No. 4, Paper No. 37, 19 p. (2023).

MSC: 68V15

Cite Review PDF

Full Text: DOI

OA License

Coll, Jordi; Li, Chu-Min; Manyà, Felip; Yangin, Elifnaz

MaxSAT resolution for regular propositional logic. (English) Zbl 1531.68046

Int. J. Approx. Reasoning 162, Article ID 109010, 11 p. (2023).

MSC: 68R07 03B50 68T20 68V15

Cite Review PDF

Full Text: DOI

OA License

Zach, Richard

An epimorphism between Fine and Ferguson’s matrices for Angell’s AC. (English) Zbl 1530.03106

Log. Log. Philos. 32, No. 2, 161-179 (2023).

MSC: 03B50

Cite Review PDF

Full Text: DOI arXiv

Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca

Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach. (English) Zbl 07644285

J. Philos. Log. 51, No. 6, 1417-1452 (2022).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

OA License

Bishara, Anriette Michel Fouad; Rukhaia, Mikheil

Unranked fuzzy logic and reasoning. (English) Zbl 1511.68263

Zgurovsky, Michael (ed.) et al., System analysis & intelligent computing. Theory and applications. Cham: Springer. Stud. Comput. Intell. 1022, 339-353 (2022).

MSC: 68T27 03B52 68T30

Cite Review PDF

Full Text: DOI

Grätz, Lukas

Analytic tableaux for non-deterministic semantics. (English) Zbl 07532508

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, 38-55 (2021).

MSC: 68V15

Cite Review PDF

Full Text: DOI

Petrukhin, Yaroslav; Shangin, Vasilyi

Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. (English) Zbl 1446.03055

Log. Log. Philos. 28, No. 2, 223-257 (2019).

MSC: 03B50 03B35 03F03 68V15

Cite Review PDF

Full Text: DOI

Behrisch, Mike; Vargas-García, Edith; Zhuk, Dmitriy

The number of clones determined by disjunctions of unary relations. (English) Zbl 1484.08003

Theory Comput. Syst. 63, No. 6, 1298-1313 (2019).

MSC: 08A40 03B50 08A02 68Q25

Cite Review PDF

Full Text: DOI arXiv

Vidal, Amanda

MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions. (English) Zbl 1428.68346

Inf. Sci. 372, 709-730 (2016).

MSC: 68V15 03B52

Cite Review PDF

Full Text: DOI

Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare

A modal-layered resolution calculus for K. (English) Zbl 1471.03017

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, 185-200 (2015).

MSC: 03B35 03B45 68V15

Cite Review PDF

Full Text: DOI

Ciabattoni, Agata; Ramanayake, Revantha; Wansing, Heinrich

Hypersequent and display calculi – a unified perspective. (English) Zbl 1344.03043

Stud. Log. 102, No. 6, 1245-1294 (2014).

MSC: 03F03 03F05 03B45 03B20 03B50

Cite Review PDF

Full Text: DOI

Xu, Yang; Liu, Jun; Ruan, Da; Li, Xiaobing

Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\). (English) Zbl 1239.03007

Inf. Sci. 181, No. 10, 1836-1862 (2011).

Reviewer: Viorica Sofronie-Stokkermans (Koblenz)

MSC: 03B35 03B50 03B52 68T15

Cite Review PDF

Full Text: DOI

Fermüller, Christian G.; Metcalfe, George

Giles’s game and the proof theory of Łukasiewicz logic. (English) Zbl 1185.03041

Stud. Log. 92, No. 1, 27-61 (2009).

Reviewer: Albert Hoogewijs (Gent)

MSC: 03B50 03B52 03F03

Cite Review PDF

Full Text: DOI Link

Pearce, David; Valverde, Agustín

Quantified equilibrium logic and foundations for answer set programs. (English) Zbl 1185.68175

Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 546-560 (2008).

MSC: 68N17 03B55 03B70

Cite Review PDF

Full Text: DOI

Baaz, Matthias; Zach, Richard

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

Cite Review PDF

Full Text: DOI arXiv

Kupferman, Orna; Lustig, Yoad

Latticed simulation relations and games. (English) Zbl 1141.68473

Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 316-330 (2007).

MSC: 68Q60 91A05 91A80

Cite Review PDF

Full Text: DOI

Sofronie-Stokkermans, Viorica

Automated theorem proving by resolution in non-classical logics. (English) Zbl 1130.03010

Ann. Math. Artif. Intell. 49, No. 1-4, 221-252 (2007).

Reviewer: Nail Zamov (Kazan)

MSC: 03B35

Cite Review PDF

Full Text: DOI

Ma, Jun; Li, Wenjiang; Ruan, Da; Xu, Yang

Filter-based resolution principle for lattice-valued propositional logic LP\((X)\). (English) Zbl 1114.03019

Inf. Sci. 177, No. 4, 1046-1062 (2007).

MSC: 03B52 03B35

Cite Review PDF

Full Text: DOI

Pearce, David

Equilibrium logic. (English) Zbl 1117.03039

Ann. Math. Artif. Intell. 47, No. 1-2, 3-41 (2006).

Reviewer: Nail Zamov (Kazan)

MSC: 03B70 03B55 68N17 68T27

Cite Review PDF

Full Text: DOI

Aguzzoli, S.; Gerla, B.; Haniková, Z.

Complexity issues in Basic Logic. (English) Zbl 1093.03010

Soft Comput. 9, No. 12, 919-934 (2005).

MSC: 03B52 03B50 03D15

Cite Review PDF

Full Text: DOI

Wu, Jinzhao

CWA extensions to multi-valued logics. (English) Zbl 1185.68303

J. Appl. Non-Class. Log. 13, No. 2, 133-164 (2003).

MSC: 68P15 03B50

Cite Review PDF

Full Text: DOI

Lu, Mi; Wu, Jinzhao

On theorem proving in annotated logics. (English) Zbl 1033.03006

J. Appl. Non-Class. Log. 10, No. 2, 121-143 (2000).

MSC: 03B35 03B53

Cite Review PDF

Full Text: DOI Link

Salzer, Gernot

Optimal axiomatizations of finitely valued logics. (English) Zbl 1006.03020

Inf. Comput. 162, No. 1-2, 185-205 (2000).

MSC: 03B50 03B35 68T15

Cite Review PDF

Full Text: DOI

Xu, Yang; Ruan, Da; Kerre, Etienne E.; Liu, Jun

\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\). (English) Zbl 0987.03010

Inf. Sci. 130, No. 1-4, 195-223 (2000).

Reviewer: Vladimir Komendantsky (Dolgoprudny)

MSC: 03B35 03B50 03B52 68T15

Cite Review PDF

Full Text: DOI

Muskens, Reinhard

On partial and paraconsistent logics. (English) Zbl 1007.03029

Notre Dame J. Formal Logic 40, No. 3, 352-374 (1999).

MSC: 03B53

Cite Review PDF

Full Text: DOI

1998 European summer meeting of the Association for Symbolic Logic. Logic colloquium ’98, Prague, Czech Republic, August 9-15, 1998. (English) Zbl 0925.03009

Bull. Symb. Log. 5, No. 1, 59-153 (1999).

MSC: 03-06 00B05

Cite Review PDF

Full Text: DOI Link

Wu, Jinzhao; Tan, Hongyan; Li, Yongli

An algebraic method to decide the deduction problem in many-valued logics. (English) Zbl 0920.03037

J. Appl. Non-Class. Log. 8, No. 4, 353-360 (1998).

MSC: 03B50 03B35

Cite Review PDF

Full Text: DOI

Akama, Seiki

Tableaux for logic programming with strong negation. (English) Zbl 1412.68030

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, 31-42 (1997).

MSC: 68N17 03B35 68T30

Cite Review PDF

Full Text: DOI

Enciso, Manuel; de Guzmán, Inma P.; Rossi, Carlos

Temporal reasoning over linear discrete time. (English) Zbl 1427.68347

Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 303-319 (1996).

MSC: 68V15 03B35 03B44

Cite Review PDF

Full Text: DOI

Salzer, Gernot

Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices. (English) Zbl 1415.03030

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, 688-702 (1996).

MSC: 03B35 03B50

Cite Review PDF

Full Text: DOI

Beckert, Bernhard; Hähnle, Reiner; Oel, Peter; Sulzmann, Martin

The tableau-based theorem prover \(_3\mkern-4mu T^{\mkern-5mu A}\mkern-5mu P\) Version 4.0. (English) Zbl 1412.68207

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, 303-307 (1996).

MSC: 68T15

Cite Review PDF

Full Text: DOI

Baaz, Matthias; Fermüller, Christian G.; Salzer, Gernot; Zach, Richard

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

Cite Review PDF

Full Text: DOI

Hähnle, Reiner

Many-valued logic and mixed integer programming. (English) Zbl 0856.03011

Ann. Math. Artif. Intell. 12, No. 3-4, 231-263 (1994).

MSC: 03B35 03B50 68T15 03B05 90C10 68Q25 03D15

Cite Review PDF

Full Text: DOI

Kerber, Manfred; Kohlhase, Michael

A mechanization of strong Kleene logic for partial functions. (English) Zbl 1433.03024

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 371-385 (1994).

MSC: 03B35 03B50 03B53

Cite Review PDF

Full Text: DOI Link

Found 35 Documents (Results 1–35)

A uniform formalisation of three-valued logics in bisequent calculus. (English) Zbl 07838495

Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation. (English) Zbl 07800190

MaxSAT resolution for regular propositional logic. (English) Zbl 1531.68046

An epimorphism between Fine and Ferguson’s matrices for Angell’s AC. (English) Zbl 1530.03106

Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach. (English) Zbl 07644285

Unranked fuzzy logic and reasoning. (English) Zbl 1511.68263

Analytic tableaux for non-deterministic semantics. (English) Zbl 07532508

Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. (English) Zbl 1446.03055

The number of clones determined by disjunctions of unary relations. (English) Zbl 1484.08003

MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions. (English) Zbl 1428.68346

A modal-layered resolution calculus for K. (English) Zbl 1471.03017

Hypersequent and display calculi – a unified perspective. (English) Zbl 1344.03043

Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\). (English) Zbl 1239.03007

Giles’s game and the proof theory of Łukasiewicz logic. (English) Zbl 1185.03041

Quantified equilibrium logic and foundations for answer set programs. (English) Zbl 1185.68175

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

Latticed simulation relations and games. (English) Zbl 1141.68473

Automated theorem proving by resolution in non-classical logics. (English) Zbl 1130.03010

Filter-based resolution principle for lattice-valued propositional logic LP\((X)\). (English) Zbl 1114.03019

Equilibrium logic. (English) Zbl 1117.03039

Complexity issues in Basic Logic. (English) Zbl 1093.03010

CWA extensions to multi-valued logics. (English) Zbl 1185.68303

On theorem proving in annotated logics. (English) Zbl 1033.03006

Optimal axiomatizations of finitely valued logics. (English) Zbl 1006.03020

\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\). (English) Zbl 0987.03010

On partial and paraconsistent logics. (English) Zbl 1007.03029

1998 European summer meeting of the Association for Symbolic Logic. Logic colloquium ’98, Prague, Czech Republic, August 9-15, 1998. (English) Zbl 0925.03009

An algebraic method to decide the deduction problem in many-valued logics. (English) Zbl 0920.03037

Tableaux for logic programming with strong negation. (English) Zbl 1412.68030

Temporal reasoning over linear discrete time. (English) Zbl 1427.68347

Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices. (English) Zbl 1415.03030

The tableau-based theorem prover \(_3\mkern-4mu T^{\mkern-5mu A}\mkern-5mu P\) Version 4.0. (English) Zbl 1412.68207

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

Many-valued logic and mixed integer programming. (English) Zbl 0856.03011

A mechanization of strong Kleene logic for partial functions. (English) Zbl 1433.03024

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software