-
1
-
-
85058742925
-
-
Princeton University Press Princeton, NJ
-
Anderson, A.R., Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton, NJ (1975)
-
(1975)
Entailment: The Logic of Relevance and Necessity, Vol. 1
-
-
Anderson, A.R.1
Belnap, N.D.2
-
2
-
-
0001129020
-
Modal languages and bounded fragments of predicate logic
-
Andréka, H., van Benthem, J., Németi, I.: Modal languages and bounded fragments of predicate logic. J. Philos. Logic 27, 217-274 (1998)
-
(1998)
J. Philos. Logic
, vol.27
, pp. 217-274
-
-
Andréka, H.1
Van Benthem, J.2
Németi, I.3
-
3
-
-
0001790326
-
Finiteness of infinite-valued Łukasiewicz logic
-
Aguzzoli, S., Ciabattoni, A.: Finiteness of infinite-valued Łukasiewicz logic. J. Logic, Lang. Inf. 9, 5-29 (2000)
-
(2000)
J. Logic, Lang. Inf.
, vol.9
, pp. 5-29
-
-
Aguzzoli, S.1
Ciabattoni, A.2
-
4
-
-
0003032982
-
Algebraic logic
-
Kluwer Dordrecht
-
Andréka, H., Németi, I., Sain, I.: Algebraic logic. In: Handbook of Philosophical Logic, 2nd edn., vol. 2. Kluwer, Dordrecht (2001)
-
(2001)
Handbook of Philosophical Logic, 2nd Edn., Vol. 2
-
-
Andréka, H.1
Németi, I.2
Sain, I.3
-
5
-
-
84880849114
-
Terminological cycles in a description logic with existential restrictions
-
Morgan Kaufmann San Mateo, CA
-
Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Gottlob, G., Walsh, T. (eds) Proceedings of the 18th International Joint Conference on Artificial Intelligence, (IJCAR 2003), pp. 325-330. Morgan Kaufmann, San Mateo, CA (2003)
-
(2003)
Proceedings of the 18th International Joint Conference on Artificial Intelligence, (IJCAR 2003)
, pp. 325-330
-
-
Baader, F.1
Gottlob, G.2
Walsh, T.3
-
6
-
-
9444243186
-
The instance problem and the most specific concept in the description logic w.r.t. terminological cycles with descriptive semantics
-
Springer Berlin Heidelberg New York
-
Baader, F.: The instance problem and the most specific concept in the description logic w.r.t. terminological cycles with descriptive semantics. In: Günter, A., Kruse, R., Neumann, B. (eds) Proceedings of the 26th Annual German Conference on Artificial Intelligence, (KI 2003). LNAI, vol. 2821, pp. 64-78. Springer, Berlin Heidelberg New York (2003)
-
(2003)
Proceedings of the 26th Annual German Conference on Artificial Intelligence, (KI 2003). LNAI, Vol. 2821
, pp. 64-78
-
-
Baader, F.1
Günter, A.2
Kruse, R.3
Neumann, B.4
-
7
-
-
0000970038
-
Resolution-based theorem proving for many-valued logics
-
Baaz, M., Fermüller, C.G.: Resolution-based theorem proving for many-valued logics. J. Symb. Comput. 19, 353-391 (1995)
-
(1995)
J. Symb. Comput.
, vol.19
, pp. 353-391
-
-
Baaz, M.1
Fermüller, C.G.2
-
8
-
-
84937391021
-
Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving
-
Springer Berlin Heidelberg New York
-
Baaz, M., Fermüller, C.G., Ciabattoni, A.: Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving. In: Nieuwenhuis, R., Voronkov, A. (eds) Proceedings of LPAR'2001. Lecture Notes in Computer Science, vol. 2250, pp. 201-215. Springer, Berlin Heidelberg New York (2001)
-
(2001)
Proceedings of LPAR'2001. Lecture Notes in Computer Science, Vol. 2250
, pp. 201-215
-
-
Baaz, M.1
Fermüller, C.G.2
Ciabattoni, A.3
Nieuwenhuis, R.4
Voronkov, A.5
-
9
-
-
0346261137
-
Automated deduction for many-valued logics
-
Elsevier Amsterdam, The Netherlands
-
Baaz, M., Fermüller, C.G., Salzer, G.: Automated deduction for many-valued logics. In: Robinson, A., Voronkov, A. (eds) Handbook of Automated Reasoning, vol. II, pp. 1355-1402. Elsevier, Amsterdam, The Netherlands (2001)
-
(2001)
Handbook of Automated Reasoning, Vol. II
, pp. 1355-1402
-
-
Baaz, M.1
Fermüller, C.G.2
Salzer, G.3
Robinson, A.4
Voronkov, A.5
-
10
-
-
0005483198
-
Rewrite-based equational theorem proving with selection and simplification
-
3
-
Bachmair, L., Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. J. Log. Comput. 4(3), 217-247 (1994)
-
(1994)
J. Log. Comput.
, vol.4
, pp. 217-247
-
-
Bachmair, L.1
Ganzinger, H.2
-
11
-
-
0032201822
-
Ordered chaining calculi for first-order theories of transitive relations
-
6
-
Bachmair, L., Ganzinger, H.: Ordered chaining calculi for first-order theories of transitive relations. Journal of the ACM 45(6), 1007-1049 (1998)
-
(1998)
Journal of the ACM
, vol.45
, pp. 1007-1049
-
-
Bachmair, L.1
Ganzinger, H.2
-
12
-
-
0032678061
-
Transformations between signed and classical clause logic
-
IEEE Press Piscataway, NJ
-
Beckert, B., Hähnle, R., Manyà, F.: Transformations between signed and classical clause logic. In: Proceedings of the 29th International Symposium on Multiple-valued Logic (ISMVL'99), Freiburg, Germany, pp. 248-255. IEEE Press, Piscataway, NJ (1999)
-
(1999)
Proceedings of the 29th International Symposium on Multiple-valued Logic (ISMVL'99), Freiburg, Germany
, pp. 248-255
-
-
Beckert, B.1
Hähnle, R.2
Manyà, F.3
-
13
-
-
0033720762
-
The 2-SAT problem of regular signed CNF formulas
-
IEEE Press Piscataway, NJ
-
Beckert, B., Hähnle, R., Manyà, F.: The 2-SAT problem of regular signed CNF formulas. In: Proceedings of the 30th International Symposium on Multiple-valued Logic (ISMVL'2000), Portland, USA, pp. 331-336. IEEE Press, Piscataway, NJ (2000)
-
(2000)
Proceedings of the 30th International Symposium on Multiple-valued Logic (ISMVL'2000), Portland, USA
, pp. 331-336
-
-
Beckert, B.1
Hähnle, R.2
Manyà, F.3
-
14
-
-
0034822262
-
A modular reduction of regular logic to classical logic
-
IEEE Press Piscataway, NJ
-
Béjar, R., Hähnle, R., Manyà, F.: A modular reduction of regular logic to classical logic. In: Proceedings if the 31st International Symposium on Multiple-valued Logic (ISMVL'01), Warsaw, Poland, pp. 221-226. IEEE Press, Piscataway, NJ (2001)
-
(2001)
Proceedings if the 31st International Symposium on Multiple-valued Logic (ISMVL'01), Warsaw, Poland
, pp. 221-226
-
-
Béjar, R.1
Hähnle, R.2
Manyà, F.3
-
15
-
-
0004260840
-
-
Cambridge University Press Cambridge, UK
-
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge, UK (2001)
-
(2001)
Modal Logic
-
-
Blackburn, P.1
De Rijke, M.2
Venema, Y.3
-
17
-
-
84981407239
-
Polynomial time uniform word problems
-
Burris, S.: Polynomial time uniform word problems. Math. Log. Q. 41, 173-182 (1995)
-
(1995)
Math. Log. Q.
, vol.41
, pp. 173-182
-
-
Burris, S.1
-
18
-
-
34547710875
-
An application of many-valued logic to decide propositional S5 formulae: A strategy designed for a parametric tableaux-based theorem prover
-
Elsevier Amsterdam, The Netherlands
-
Caferra, R., Zabel, N.: An application of many-valued logic to decide propositional S5 formulae: A strategy designed for a parametric tableaux-based theorem prover. In: Artificial Intelligence IV: Methodology, Systems, Applications, pp. 23-32. Elsevier, Amsterdam, The Netherlands (1990)
-
(1990)
Artificial Intelligence IV: Methodology, Systems, Applications
, pp. 23-32
-
-
Caferra, R.1
Zabel, N.2
-
19
-
-
18944395371
-
The relevance of semantic subtyping
-
Dezani-Ciangaglini, M., Frisch, A., Giovannetti, E., Motohama, Y.: The relevance of semantic subtyping. Electronic Notes in Theoretical Computer Science 70(1) (2002)
-
(2002)
Electronic Notes in Theoretical Computer Science
, vol.70
, Issue.1
-
-
Dezani-Ciangaglini, M.1
Frisch, A.2
Giovannetti, E.3
Motohama, Y.4
-
21
-
-
0001826588
-
A propositional calculus with denumerable matrix
-
2
-
Dummet, M.: A propositional calculus with denumerable matrix. J. Symb. Log. 24(2), 97-106 (1959)
-
(1959)
J. Symb. Log.
, vol.24
, pp. 97-106
-
-
Dummet, M.1
-
22
-
-
0000536688
-
Positive modal logic
-
Dunn, J.M.: Positive modal logic. Stud. Log. 55, 301-317 (1995)
-
(1995)
Stud. Log.
, vol.55
, pp. 301-317
-
-
Dunn, J.M.1
-
23
-
-
0345441122
-
A resolution-based decision procedure for extensions of K4
-
CSLI Stanford, USA
-
Ganzinger, H., Hustadt, U., Meyer, C., Schmidt, R.A.: A resolution-based decision procedure for extensions of K4. In: Zakharyaschev, M., Segerberg, K., de Rijke, M., Wansing, H. (eds.) Advances in Modal Logic, vol. 119. CSLI Lecture Notes, chapter 9, vol. 2, pp. 225-246. CSLI, Stanford, USA (2001)
-
(2001)
Advances in Modal Logic, Vol. 119. CSLI Lecture Notes, Chapter 9, Vol. 2
, pp. 225-246
-
-
Ganzinger, H.1
Hustadt, U.2
Meyer, C.3
Schmidt, R.A.4
Zakharyaschev, M.5
Segerberg, K.6
De Rijke, M.7
Wansing, H.8
-
24
-
-
0032597509
-
A superposition decision procedure for the guarded fragment with equality
-
IEEE Computer Society Press Los Alamitos, CA
-
Ganzinger, H., de Nivelle, H.: A superposition decision procedure for the guarded fragment with equality. In: Proceedings of the Fourteenth Annual IEEE Symposium on Logic in Computer Science (LICS'99), pp. 295-303. IEEE Computer Society Press, Los Alamitos, CA (1999)
-
(1999)
Proceedings of the Fourteenth Annual IEEE Symposium on Logic in Computer Science (LICS'99)
, pp. 295-303
-
-
Ganzinger, H.1
De Nivelle, H.2
-
26
-
-
0033702419
-
Chaining techniques for automated theorem proving in many-valued logics
-
IEEE Press Piscataway, NJ
-
Ganzinger, H., Sofronie-Stokkermans, V.: Chaining techniques for automated theorem proving in many-valued logics. In: Proceedings of the 30th International Symposium on Multiple-valued Logic (ISMVL'2000), Portland, USA, pp. 337-344. IEEE Press, Piscataway, NJ (2000)
-
(2000)
Proceedings of the 30th International Symposium on Multiple-valued Logic (ISMVL'2000), Portland, USA
, pp. 337-344
-
-
Ganzinger, H.1
Sofronie-Stokkermans, V.2
-
28
-
-
21844498602
-
Many-valued logic and mixed integer programming
-
3,4
-
Hähnle, R.: Many-valued logic and mixed integer programming. Ann. Math. Artif. Intell. 12(3,4), 231-264 (1994)
-
(1994)
Ann. Math. Artif. Intell.
, vol.12
, pp. 231-264
-
-
Hähnle, R.1
-
29
-
-
0000165644
-
Short conjunctive normal forms in finitely valued logics
-
6
-
Hähnle, R.: Short conjunctive normal forms in finitely valued logics. J. Log. Comput. 4(6), 905-927 (1994)
-
(1994)
J. Log. Comput.
, vol.4
, pp. 905-927
-
-
Hähnle, R.1
-
30
-
-
0001787165
-
Exploiting data dependencies in many-valued logics
-
1
-
Hähnle, R.: Exploiting data dependencies in many-valued logics. J. Appl. Non-Class. Log. 6(1), 49-69 (1996)
-
(1996)
J. Appl. Non-Class. Log.
, vol.6
, pp. 49-69
-
-
Hähnle, R.1
-
32
-
-
0003612371
-
Proof theory of many-valued logic - Linear optimization - Logic design: Connections and interactions
-
3
-
Hähnle, R.: Proof theory of many-valued logic - linear optimization - logic design: connections and interactions. Soft Computing - A Fusion of Foundations, Methodologies and Applications 1(3), 107-119 (1997)
-
(1997)
Soft Computing - A Fusion of Foundations, Methodologies and Applications
, vol.1
, pp. 107-119
-
-
Hähnle, R.1
-
33
-
-
22544450718
-
Advanced many-valued logics
-
Kluwer Dordrecht. 2nd edn.
-
Hähnle, R.: Advanced many-valued logics. In: Handbook of Philosophical Logic, vol. 2, pp. 297-395. Kluwer, Dordrecht, 2nd edn. (2001)
-
(2001)
Handbook of Philosophical Logic, Vol. 2
, pp. 297-395
-
-
Hähnle, R.1
-
34
-
-
34547703895
-
Complexity of many-valued logics
-
Springer Berlin
-
Hähnle, R.: Complexity of many-valued logics. In: Fitting, M., Orłowska, E. (eds) Beyond Two: Theory and Applications of Multiple Valued Logic. Studies in Fuzziness and Soft Computing, vol. 114, chapter 3, pp. 211-233. Springer, Berlin (2003)
-
(2003)
Beyond Two: Theory and Applications of Multiple Valued Logic. Studies in Fuzziness and Soft Computing, Vol. 114, Chapter 3
, pp. 211-233
-
-
Hähnle, R.1
Fitting, M.2
Orłowska, E.3
-
35
-
-
0004130617
-
Metamathematics of fuzzy logic
-
Kluwer Dordrecht
-
Hájek, P.: Metamathematics of fuzzy logic. In: Trends in Logic, vol. 4. Kluwer, Dordrecht (1998)
-
(1998)
Trends in Logic, Vol. 4
-
-
Hájek, P.1
-
38
-
-
0003131047
-
Symmetrical Heyting algebras with operators
-
Iturrioz, L.: Symmetrical Heyting algebras with operators. Z. Math. Log. Grundl. Math. 29, 33-70 (1983)
-
(1983)
Z. Math. Log. Grundl. Math.
, vol.29
, pp. 33-70
-
-
Iturrioz, L.1
-
39
-
-
0004800355
-
A logic for reasoning with inconsistency
-
Kifer, M., Lozinskii, M.: A logic for reasoning with inconsistency. J. Autom. Reason. 9, 179-215 (1992)
-
(1992)
J. Autom. Reason.
, vol.9
, pp. 179-215
-
-
Kifer, M.1
Lozinskii, M.2
-
40
-
-
84885895682
-
Subsumption of concepts in for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete
-
Calvanese, D., De Giacomo, G., Franconi, E. (eds) 2003 International Workshop on Description Logics (DL-03) University of Rome "La Sapienza" and Free University of Bolzano/Bozen, CEUR, Rome, Italy (September)
-
Kazakov, Y., de Nivelle, H.: Subsumption of concepts in for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete. In: Calvanese, D., De Giacomo, G., Franconi, E. (eds) 2003 International Workshop on Description Logics (DL-03), vol. 81 of CEUR Workshop Proceedings, pp. 56-64, University of Rome "La Sapienza" and Free University of Bolzano/Bozen, CEUR, Rome, Italy (September 2003)
-
(2003)
CEUR Workshop Proceedings
, vol.81
, pp. 56-64
-
-
Kazakov, Y.1
De Nivelle, H.2
-
41
-
-
0032143854
-
A framework for reasoning in multiple-valued logics
-
1
-
Lu, J., Murray, N.V., Rosenthal, E.: A framework for reasoning in multiple-valued logics. J. Autom. Reason. 21(1), 39-67 (1998)
-
(1998)
J. Autom. Reason.
, vol.21
, pp. 39-67
-
-
Lu, J.1
Murray, N.V.2
Rosenthal, E.3
-
44
-
-
0036590513
-
Tarskian set constraints
-
McAllester, D., Givan, R., Kozen, D., Witty, C.: Tarskian set constraints. Inf. Comput. 174, 105-131 (2002)
-
(2002)
Inf. Comput.
, vol.174
, pp. 105-131
-
-
McAllester, D.1
Givan, R.2
Kozen, D.3
Witty, C.4
-
45
-
-
0000366861
-
Resolution and model building in the infinite-valued calculus of Łukasiewicz
-
Mundici, D., Olivetti, N.: Resolution and model building in the infinite-valued calculus of Łukasiewicz. Theor. Comp. Sci. 200, 335-366 (1998)
-
(1998)
Theor. Comp. Sci.
, vol.200
, pp. 335-366
-
-
Mundici, D.1
Olivetti, N.2
-
46
-
-
0023537271
-
Satisfiability of many-valued sentential logics is NP-complete
-
Mundici, D.: Satisfiability of many-valued sentential logics is NP-complete. Theor. Comp. Sci. 52, 145-153 (1987)
-
(1987)
Theor. Comp. Sci.
, vol.52
, pp. 145-153
-
-
Mundici, D.1
-
47
-
-
85032069392
-
Translation methods for non-classical logics: An overview
-
1
-
Ohlbach, H.J.: Translation methods for non-classical logics: An overview. Bulletin of the IGPL 1(1), 69-89 (1993)
-
(1993)
Bulletin of the IGPL
, vol.1
, pp. 69-89
-
-
Ohlbach, H.J.1
-
48
-
-
0001984558
-
Logics without the contraction rule
-
Ono, H., Komori, Y.: Logics without the contraction rule. J. Symb. Log. 50, 169-201 (1985)
-
(1985)
J. Symb. Log.
, vol.50
, pp. 169-201
-
-
Ono, H.1
Komori, Y.2
-
49
-
-
0002511015
-
Semantics for substructural logics
-
Oxford University Press London, UK
-
Ono, H.: Semantics for substructural logics. In: Schroeder-Heister, P., Došen, K. (eds) Substructural Logics, pp. 259-291. Oxford University Press, London, UK (1993)
-
(1993)
Substructural Logics
, pp. 259-291
-
-
Ono, H.1
Schroeder-Heister, P.2
Došen, K.3
-
50
-
-
0003668657
-
The semantics and proof theory of the logic of bunched implications
-
Kluwer Boston, MA
-
Pym, D.J.: The semantics and proof theory of the logic of bunched implications. In: Applied Logics Series, vol. 26. Kluwer, Boston, MA (2002)
-
(2002)
Applied Logics Series, Vol. 26
-
-
Pym, D.J.1
-
52
-
-
0033123386
-
Decidability by resolution for propositional modal logics
-
4
-
Schmidt, R.A.: Decidability by resolution for propositional modal logics. J. Autom. Reason. 22(4), 379-396 (1999)
-
(1999)
J. Autom. Reason.
, vol.22
, pp. 379-396
-
-
Schmidt, R.A.1
-
53
-
-
0345441123
-
Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operators
-
3/4
-
Sofronie-Stokkermans, V.: Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operators. Multiple-valued Logic - An International Journal 6(3/4), 289-344 (2001)
-
(2001)
Multiple-valued Logic - An International Journal
, vol.6
, pp. 289-344
-
-
Sofronie-Stokkermans, V.1
-
54
-
-
84885207318
-
On uniform word problems involving bridging operators on distributive lattices
-
Springer Berlin Heidelberg New York
-
Sofronie-Stokkermans, V.: On uniform word problems involving bridging operators on distributive lattices. In: Egly, U., Fermüller, Ch. (eds) Proceedings of TABLEAUX 2002. LNAI, Copenhagen, Denmark, vol. 2381, pp. 235-250. Springer, Berlin Heidelberg New York (2002)
-
(2002)
Proceedings of TABLEAUX 2002. LNAI, Copenhagen, Denmark, Vol. 2381
, pp. 235-250
-
-
Sofronie-Stokkermans, V.1
Egly, U.2
Fermüller, Ch.3
-
55
-
-
0345548345
-
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
-
6
-
Sofronie-Stokkermans, V.: Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators. J. Symb. Comput. 36(6), 891-924 (2003)
-
(2003)
J. Symb. Comput.
, vol.36
, pp. 891-924
-
-
Sofronie-Stokkermans, V.1
-
56
-
-
0002674493
-
Many-valued logic
-
Reidel Amsterdam, The Netherlands
-
Urquhart, A.: Many-valued logic. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, vol. III, pp. 71-116. Reidel, Amsterdam, The Netherlands (1986)
-
(1986)
Handbook of Philosophical Logic, Vol. III
, pp. 71-116
-
-
Urquhart, A.1
Gabbay, D.2
Guenthner, F.3
-
57
-
-
0000335595
-
Duality for algebras of relevant logics
-
1,2
-
Urquhart, A.: Duality for algebras of relevant logics. Stud. Log. 56(1,2), 263-276 (1996)
-
(1996)
Stud. Log.
, vol.56
, pp. 263-276
-
-
Urquhart, A.1
|