Gardiner, Mark Quentin Semantic challenges to realism: Dummett and Putnam. (English) Zbl 1093.03004 Toronto Studies in Philosophy. Toronto: University of Toronto Press (ISBN 0-8020-4771-8/hbk). x, 267 p. (2000). Reviewer: Pavel Materna (Praha) MSC: 03A05 03-02 PDFBibTeX XMLCite \textit{M. Q. Gardiner}, Semantic challenges to realism: Dummett and Putnam. Toronto: University of Toronto Press (2000; Zbl 1093.03004)
Pynko, Alexej P. Regular bilattices. (English) Zbl 1031.06005 J. Appl. Non-Class. Log. 10, No. 1, 93-111 (2000). MSC: 06B99 03B70 08A70 PDFBibTeX XMLCite \textit{A. P. Pynko}, J. Appl. Non-Class. Log. 10, No. 1, 93--111 (2000; Zbl 1031.06005) Full Text: DOI
Pietarinen, Ahti Logic and coherence in the light of competitive games. (English) Zbl 1028.03024 Log. Anal., Nouv. Sér. 43, No. 171-172, 371-391 (2000). MSC: 03B60 91A80 PDFBibTeX XMLCite \textit{A. Pietarinen}, Log. Anal., Nouv. Sér. 43, No. 171--172, 371--391 (2000; Zbl 1028.03024)
Antonelli, Aldo; May, Robert Frege’s new science. (English) Zbl 1009.03004 Notre Dame J. Formal Logic 41, No. 3, 242-270 (2000). MSC: 03-03 03A05 00A30 51-03 PDFBibTeX XMLCite \textit{A. Antonelli} and \textit{R. May}, Notre Dame J. Formal Logic 41, No. 3, 242--270 (2000; Zbl 1009.03004) Full Text: DOI
Jones, John; Millington, Mark; Virvou, Maria An assumption-based truth maintenance system in active aid for UNIX users. (English) Zbl 1035.68616 Artif. Intell. Rev. 14, No. 3, 229-252 (2000). MSC: 68U99 68T20 68T30 68N25 PDFBibTeX XMLCite \textit{J. Jones} et al., Artif. Intell. Rev. 14, No. 3, 229--252 (2000; Zbl 1035.68616) Full Text: DOI
Gottwald, Siegfried Generalized solvability behaviour for systems of fuzzy equations. (English) Zbl 1006.03033 Novák, Vilém (ed.) et al., Discovering the world with fuzzy logic. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 57, 401-430 (2000). Reviewer: E.Kerre (Gent) MSC: 03E72 03B52 93C42 PDFBibTeX XMLCite \textit{S. Gottwald}, Stud. Fuzziness Soft Comput. 57, 401--430 (2000; Zbl 1006.03033)
Novák, Vilém; Perfilieva, Irina Some consequences of Herbrand and McNaughton theorems in fuzzy logic. (English) Zbl 1006.03026 Novák, Vilém (ed.) et al., Discovering the world with fuzzy logic. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 57, 271-295 (2000). Reviewer: Vladimir Komendantsky (Dolgoprudny) MSC: 03B52 03B50 03G20 PDFBibTeX XMLCite \textit{V. Novák} and \textit{I. Perfilieva}, Stud. Fuzziness Soft Comput. 57, 271--295 (2000; Zbl 1006.03026)
Lehmke, Stephan Degrees of truth and degrees of validity. (English) Zbl 1005.03029 Novák, Vilém (ed.) et al., Discovering the world with fuzzy logic. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 57, 192-236 (2000). Reviewer: Salvatore Sessa (Napoli) MSC: 03B52 03B50 68T37 PDFBibTeX XMLCite \textit{S. Lehmke}, Stud. Fuzziness Soft Comput. 57, 192--236 (2000; Zbl 1005.03029)
Paris, Jeff Semantics for fuzzy logic supporting truth functionality. (English) Zbl 1006.03025 Novák, Vilém (ed.) et al., Discovering the world with fuzzy logic. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 57, 82-104 (2000). Reviewer: Vladimir Komendantsky (Dolgoprudny) MSC: 03B52 03B50 03A05 68T37 PDFBibTeX XMLCite \textit{J. Paris}, Stud. Fuzziness Soft Comput. 57, 82--104 (2000; Zbl 1006.03025)
Varzi, Achille C. Supervaluationism and paraconsistency. (English) Zbl 0993.03036 Batens, Diderik (ed.) et al., Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30-August 2, 1997. Baldock: Research Studies Press. Stud. Log. Comput. 8, 279-297 (2000). MSC: 03B53 PDFBibTeX XMLCite \textit{A. C. Varzi}, Stud. Log. Comput. 8, 279--297 (2000; Zbl 0993.03036)
Ausín, Francisco José; Peña, Lorenzo Paraconsistent deontic logic with enforceable rights. (English) Zbl 0994.03022 Batens, Diderik (ed.) et al., Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30-August 2, 1997. Baldock: Research Studies Press. Stud. Log. Comput. 8, 29-47 (2000). MSC: 03B53 03B52 PDFBibTeX XMLCite \textit{F. J. Ausín} and \textit{L. Peña}, Stud. Log. Comput. 8, 29--47 (2000; Zbl 0994.03022)
Smutná, Dana; Vojtáš, Peter New connectives for (full) fuzzy resolution. (English) Zbl 0986.03021 Sinčák, Peter (ed.) et al., The state of the art in computational intelligence. Proceedings of the European symposium on computational intelligence, Košice, Slovak Republic, August 30-September 1, 2000. With Forewords by Lotfi A. Zadeh, David E. Goldberg and Kunihiko Fukushima. Heidelberg: Physica-Verlag. Advances in Soft Computing. 146-151 (2000). MSC: 03B52 03B50 PDFBibTeX XMLCite \textit{D. Smutná} and \textit{P. Vojtáš}, in: The state of the art in computational intelligence. Proceedings of the European symposium on computational intelligence, Košice, Slovak Republic, August 30--September 1, 2000. With Forewords by Lotfi A. Zadeh, David E. Goldberg and Kunihiko Fukushima. Heidelberg: Physica-Verlag. 146--151 (2000; Zbl 0986.03021)
Zeitz, Philip Parametrized \(\in_{T}\)-logic. A theory of the extension of abstract logics concerning the concepts of truth, reference and classical negation. (Parametrisierte \(\in_{T}\)-Logik. Eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation.) (German) Zbl 0992.03013 Berlin: Logos Verlag. Berlin: TU Berlin (Diss. 1999), vi, 145 S. (2000). MSC: 03B22 03-02 PDFBibTeX XMLCite \textit{P. Zeitz}, Parametrisierte \(\in_{T}\)-Logik. Eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation. Berlin: Logos Verlag; Berlin: TU Berlin (Diss. 1999) (2000; Zbl 0992.03013)
Kmet’, A. B. Minimization of logical functions by the method of subimplicants. (English. Russian original) Zbl 1002.94055 Cybern. Syst. Anal. 36, No. 3, 384-396 (2000); translation from Kibern. Sist. Anal. 2000, No. 3, 84-99 (2000). Reviewer: Sergiu Rudeanu (Bucureşti) MSC: 94C10 06E30 PDFBibTeX XMLCite \textit{A. B. Kmet'}, Cybern. Syst. Anal. 36, No. 3, 384--396 (2000; Zbl 1002.94055); translation from Kibern. Sist. Anal. 2000, No. 3, 84--99 (2000) Full Text: DOI
Lee, Jonathan; Liu, Kevin F. R.; Chiang, Weiling A possibilistic-logic-based approach to integrating imprecise and uncertain information. (English) Zbl 0970.68558 Fuzzy Sets Syst. 113, No. 2, 309-322 (2000). MSC: 68U99 68T15 68T35 PDFBibTeX XMLCite \textit{J. Lee} et al., Fuzzy Sets Syst. 113, No. 2, 309--322 (2000; Zbl 0970.68558) Full Text: DOI
Raatikainen, Panu The concept of truth in a finite universe. (English) Zbl 0971.03009 J. Philos. Log. 29, No. 6, 617-633 (2000). MSC: 03A05 03F30 03C13 PDFBibTeX XMLCite \textit{P. Raatikainen}, J. Philos. Log. 29, No. 6, 617--633 (2000; Zbl 0971.03009) Full Text: DOI
Hyttinen, Tapani; Sandu, Gabriel Henkin quantifiers and the definability of truth. (English) Zbl 0970.03035 J. Philos. Log. 29, No. 5, 507-527 (2000). MSC: 03C80 03A05 03B10 91A05 91A80 PDFBibTeX XMLCite \textit{T. Hyttinen} and \textit{G. Sandu}, J. Philos. Log. 29, No. 5, 507--527 (2000; Zbl 0970.03035) Full Text: DOI
McDonald, Brian Edison On meaningfulness and truth. (English) Zbl 0970.03010 J. Philos. Log. 29, No. 5, 433-482 (2000). MSC: 03A05 PDFBibTeX XMLCite \textit{B. E. McDonald}, J. Philos. Log. 29, No. 5, 433--482 (2000; Zbl 0970.03010) Full Text: DOI
Pichler, Reinhard Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria. (English) Zbl 0969.03019 J. Symb. Comput. 29, No. 2, 213-257 (2000). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B35 68T15 03B25 03D15 68Q25 PDFBibTeX XMLCite \textit{R. Pichler}, J. Symb. Comput. 29, No. 2, 213--257 (2000; Zbl 0969.03019) Full Text: DOI
Akiba, Ken Shogenji’s probabilistic measure of coherence is incoherent. (English) Zbl 0974.03506 Analysis, Oxf. 60, No. 4, 356-359 (2000). MSC: 03B48 03B30 03B42 PDFBibTeX XMLCite \textit{K. Akiba}, Analysis, Oxf. 60, No. 4, 356--359 (2000; Zbl 0974.03506) Full Text: DOI
Beall, Jc Minimalism, gaps, and the Holton conditional. (English) Zbl 0970.03502 Analysis, Oxf. 60, No. 4, 340-351 (2000). MSC: 03A05 PDFBibTeX XMLCite \textit{J. Beall}, Analysis, Oxf. 60, No. 4, 340--351 (2000; Zbl 0970.03502) Full Text: DOI
Bradley, Richard A preservation condition for conditionals. (English) Zbl 0974.03027 Analysis, Oxf. 60, No. 3, 219-222 (2000). MSC: 03B48 03B30 03B42 PDFBibTeX XMLCite \textit{R. Bradley}, Analysis, Oxf. 60, No. 3, 219--222 (2000; Zbl 0974.03027) Full Text: DOI
Zalta, Edward N. Neo-logicism? An ontological reduction of mathematics to metaphysics. (English) Zbl 0987.03004 Erkenntnis 53, No. 1-2, 219-265 (2000). Reviewer: Ralf Naumann (Düsseldorf) MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{E. N. Zalta}, Erkenntnis 53, No. 1--2, 219--265 (2000; Zbl 0987.03004) Full Text: DOI
Halbach, Volker Truth and reduction. (English) Zbl 0971.03008 Erkenntnis 53, No. 1-2, 97-126 (2000). Reviewer: M.Yasuhara (Princeton) MSC: 03A05 03F35 03F25 PDFBibTeX XMLCite \textit{V. Halbach}, Erkenntnis 53, No. 1--2, 97--126 (2000; Zbl 0971.03008) Full Text: DOI
Paty, Michel The quantum and classical domains as provisional parallel coexistents. (English) Zbl 0981.81011 Synthese 125, No. 1-2, 179-200 (2000). MSC: 81P05 81P15 PDFBibTeX XMLCite \textit{M. Paty}, Synthese 125, No. 1--2, 179--200 (2000; Zbl 0981.81011) Full Text: DOI
Bueno, Otávio Quasi-truth in quasi-set theory. (English) Zbl 0977.03005 Synthese 125, No. 1-2, 33-53 (2000). Reviewer: Rachel Wallace Garden (Thames) MSC: 03A05 03E70 03B30 81P10 PDFBibTeX XMLCite \textit{O. Bueno}, Synthese 125, No. 1--2, 33--53 (2000; Zbl 0977.03005) Full Text: DOI
Greimann, D. The judgement-stroke as a truth-operator: A new interpretation of the logical form of sentences in Frege’s scientific language. (English) Zbl 0969.03010 Erkenntnis 52, No. 2, 213-238 (2000). MSC: 03A05 03-03 PDFBibTeX XMLCite \textit{D. Greimann}, Erkenntnis 52, No. 2, 213--238 (2000; Zbl 0969.03010) Full Text: DOI
Hinzen, Wolfram Anti-realist semantics. (English) Zbl 0969.03011 Erkenntnis 52, No. 3, 281-311 (2000). MSC: 03A05 PDFBibTeX XMLCite \textit{W. Hinzen}, Erkenntnis 52, No. 3, 281--311 (2000; Zbl 0969.03011) Full Text: DOI
Blanchette, Patricia A. Models and modality. (English) Zbl 0969.03006 Synthese 124, No. 1, 45-72 (2000). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{P. A. Blanchette}, Synthese 124, No. 1, 45--72 (2000; Zbl 0969.03006) Full Text: DOI
Lavine, Shaughan Quantification and ontology. (English) Zbl 0969.03013 Synthese 124, No. 1, 1-43 (2000). MSC: 03A05 PDFBibTeX XMLCite \textit{S. Lavine}, Synthese 124, No. 1, 1--43 (2000; Zbl 0969.03013) Full Text: DOI
Dunn, J. Michael Partiality and its dual. (English) Zbl 0988.03012 Stud. Log. 66, No. 1, 5-40 (2000). Reviewer: A.Karpenko (Moskva) MSC: 03B22 03B50 03B53 03B47 PDFBibTeX XMLCite \textit{J. M. Dunn}, Stud. Log. 66, No. 1, 5--40 (2000; Zbl 0988.03012) Full Text: DOI
Ockenfels, Axel; Selten, Reinhard An experiment on the hypothesis of involuntary truth-signalling in bargaining. (English) Zbl 0962.91029 Games Econ. Behav. 33, No. 1, 90-116 (2000). MSC: 91B26 91A05 PDFBibTeX XMLCite \textit{A. Ockenfels} and \textit{R. Selten}, Games Econ. Behav. 33, No. 1, 90--116 (2000; Zbl 0962.91029) Full Text: DOI
Galminas, L. R. A computably enumerable vector space with the strong antibasis property. (English) Zbl 0963.03065 Arch. Math. Logic 39, No. 8, 605-629 (2000). MSC: 03D45 03D25 PDFBibTeX XMLCite \textit{L. R. Galminas}, Arch. Math. Logic 39, No. 8, 605--629 (2000; Zbl 0963.03065) Full Text: DOI
Marchenkov, S. S. Closed classes of Boolean functions. (Zamknutye klassy Bulevykh funktsij.) (Russian. English summary) Zbl 0965.03074 Moskva: Nauka, Fizmatlit. 126 p. (2000). Reviewer: Sergiu Rudeanu (Bucureşti) MSC: 03G05 06E30 94C10 PDFBibTeX XMLCite \textit{S. S. Marchenkov}, Zamknutye klassy Bulevykh funktsij (Russian). Moskva: Nauka, Fizmatlit (2000; Zbl 0965.03074)
Liu, Tian Some structural properties of SAT. (English) Zbl 0961.68053 J. Comput. Sci. Technol. 15, No. 5, 439-444 (2000). MSC: 68Q15 PDFBibTeX XMLCite \textit{T. Liu}, J. Comput. Sci. Technol. 15, No. 5, 439--444 (2000; Zbl 0961.68053) Full Text: DOI
Schoch, Daniel A fuzzy measure for explanatory coherence. (English) Zbl 0956.03509 Synthese 122, No. 3, 291-311 (2000). MSC: 03B30 03A05 03B52 PDFBibTeX XMLCite \textit{D. Schoch}, Synthese 122, No. 3, 291--311 (2000; Zbl 0956.03509) Full Text: DOI
Hong, Dug Hun; Choi, Chang-Hwan Multicriteria fuzzy decision-making problems based on vague set theory. (English) Zbl 0963.91031 Fuzzy Sets Syst. 114, No. 1, 103-113 (2000). MSC: 91B06 90B50 03E72 PDFBibTeX XMLCite \textit{D. H. Hong} and \textit{C.-H. Choi}, Fuzzy Sets Syst. 114, No. 1, 103--113 (2000; Zbl 0963.91031) Full Text: DOI
Vilhelm, C.; Ravaux, P.; Calvelo, D.; Jaborska, A.; Chambrin, M.-C. Think!: A unified numerical–symbolic knowledge representation scheme and reasoning system. (English) Zbl 0939.68839 Artif. Intell. 116, No. 1-2, 67-85 (2000). MSC: 68T30 PDFBibTeX XMLCite \textit{C. Vilhelm} et al., Artif. Intell. 116, No. 1--2, 67--85 (2000; Zbl 0939.68839) Full Text: DOI
Bassi, Angelo; Ghirardi, GianCarlo Decoherent histories and realism. (English) Zbl 1009.81006 J. Stat. Phys. 98, No. 1-2, 457-494 (2000). Reviewer: Bassano Vacchini (Milano) MSC: 81P05 PDFBibTeX XMLCite \textit{A. Bassi} and \textit{G. Ghirardi}, J. Stat. Phys. 98, No. 1--2, 457--494 (2000; Zbl 1009.81006) Full Text: DOI arXiv
Peregrin, Jaroslav The ‘natural’ and the ‘formal’. (English) Zbl 0964.03005 J. Philos. Log. 29, No. 1, 75-101 (2000). Reviewer: Louis F.Goble (Salem) MSC: 03A05 PDFBibTeX XMLCite \textit{J. Peregrin}, J. Philos. Log. 29, No. 1, 75--101 (2000; Zbl 0964.03005) Full Text: DOI
Hájek, Petr; Paris, Jeff; Shepherdson, John The Liar paradox and fuzzy logic. (English) Zbl 0945.03031 J. Symb. Log. 65, No. 1, 339-346 (2000). MSC: 03B50 03F30 03B52 PDFBibTeX XMLCite \textit{P. Hájek} et al., J. Symb. Log. 65, No. 1, 339--346 (2000; Zbl 0945.03031) Full Text: DOI
Orilia, Francesco Property theory and the revision theory of definitions. (English) Zbl 0960.03003 J. Symb. Log. 65, No. 1, 212-246 (2000). Reviewer: Pavel Materna (Praha) MSC: 03A05 03B65 03B40 PDFBibTeX XMLCite \textit{F. Orilia}, J. Symb. Log. 65, No. 1, 212--246 (2000; Zbl 0960.03003) Full Text: DOI
Apostoli, Peter The analytic conception of truth and the foundations of arithmetic. (English) Zbl 0986.03004 J. Symb. Log. 65, No. 1, 33-102 (2000). Reviewer: Roman Murawski (Poznań) MSC: 03A05 03F30 PDFBibTeX XMLCite \textit{P. Apostoli}, J. Symb. Log. 65, No. 1, 33--102 (2000; Zbl 0986.03004) Full Text: DOI
Hiebert, Erwin N. Common frontiers of the exact sciences and the humanities. (English) Zbl 0953.01012 Phys. Perspect. 2, No. 1, 6-29 (2000). Reviewer: W.H.Schmidt (Greifswald) MSC: 01A55 01A60 PDFBibTeX XMLCite \textit{E. N. Hiebert}, Phys. Perspect. 2, No. 1, 6--29 (2000; Zbl 0953.01012) Full Text: DOI
Bucciarelli, Antonio; Ehrhard, Thomas On phase semantics and denotational semantics in multiplicative-additive linear logic. (English) Zbl 0949.03057 Ann. Pure Appl. Logic 102, No. 3, 247-282 (2000). MSC: 03F52 68Q55 03B70 03F05 PDFBibTeX XMLCite \textit{A. Bucciarelli} and \textit{T. Ehrhard}, Ann. Pure Appl. Logic 102, No. 3, 247--282 (2000; Zbl 0949.03057) Full Text: DOI
Bennett, A. D. C.; Paris, J. B.; Vencovská, A. A new criterion for comparing fuzzy logics for uncertain reasoning. (English) Zbl 0940.03030 J. Logic Lang. Inf. 9, No. 1, 31-63 (2000). MSC: 03B52 68T37 PDFBibTeX XMLCite \textit{A. D. C. Bennett} et al., J. Logic Lang. Inf. 9, No. 1, 31--63 (2000; Zbl 0940.03030) Full Text: DOI
Höhle, Ulrich Classification of subsheaves over \(GL\)-algebras. (English) Zbl 0946.03080 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, 238-261 (2000). Reviewer: D.Busneag (Craiova) MSC: 03G30 06D20 06F07 PDFBibTeX XMLCite \textit{U. Höhle}, Lect. Notes Log. 13, 238--261 (2000; Zbl 0946.03080)
Hauser, Kai Reflections on the last Delfino problem. (English) Zbl 0972.03044 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, 206-225 (2000). MSC: 03E15 54H05 03E45 03E60 03E35 PDFBibTeX XMLCite \textit{K. Hauser}, Lect. Notes Log. 13, 206--225 (2000; Zbl 0972.03044)
Ambos-Spies, Klaus; Bentzien, Levke; Fejer, Peter A.; Merkle, Wolfgang; Stephan, Frank Collapsing polynomial-time degrees. (English) Zbl 0951.03039 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, 1-24 (2000). Reviewer: Zheng Xizhong (Hagen) MSC: 03D30 PDFBibTeX XMLCite \textit{K. Ambos-Spies} et al., Lect. Notes Log. 13, 1--24 (2000; Zbl 0951.03039)
Ekin, Oya; Foldes, Stephan; Hammer, Peter L.; Hellerstein, Lisa Equational characterizations of Boolean function classes. (English) Zbl 0947.06008 Discrete Math. 211, No. 1-3, 27-51 (2000). Reviewer: S.Rudeanu (Bucureşti) MSC: 06E30 03C05 94C10 PDFBibTeX XMLCite \textit{O. Ekin} et al., Discrete Math. 211, No. 1--3, 27--51 (2000; Zbl 0947.06008) Full Text: DOI
Heintz, Bettina The inner world of mathematics. (Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin.) (German) Zbl 0949.01033 Ästhetik und Naturwissenschaften. Bildende Wissenschaften - Zivilisierung der Kulturen. Wien: Springer. 318 S. DM 69.00; öS 485.00; sFr. 63.00 (2000). Reviewer: V.Peckhaus (Erlangen) MSC: 01A80 00A30 PDFBibTeX XMLCite \textit{B. Heintz}, Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin. Wien: Springer (2000; Zbl 0949.01033)