Qiu, Di; Lui, Lok Ming Inconsistent surface registration via optimization of mapping distortions. (English) Zbl 1435.65042 J. Sci. Comput. 83, No. 3, Paper No. 64, 31 p. (2020). MSC: 65D18 65D17 68U05 PDF BibTeX XML Cite \textit{D. Qiu} and \textit{L. M. Lui}, J. Sci. Comput. 83, No. 3, Paper No. 64, 31 p. (2020; Zbl 1435.65042) Full Text: DOI
Sun, Zhongyang; Guo, Xianping Equilibrium for a time-inconsistent stochastic linear-quadratic control system with jumps and its application to the mean-variance problem. (English) Zbl 1410.91431 J. Optim. Theory Appl. 181, No. 2, 383-410 (2019). MSC: 91G10 91G80 93E20 60H10 49N10 PDF BibTeX XML Cite \textit{Z. Sun} and \textit{X. Guo}, J. Optim. Theory Appl. 181, No. 2, 383--410 (2019; Zbl 1410.91431) Full Text: DOI
Hofer-Szabó, Gábor (ed.); Wroński, Leszek (ed.) Making it formally explicit. Probability, causality and indeterminism. (English) Zbl 1380.81019 European Studies in Philosophy of Science 6. Cham: Springer (ISBN 978-3-319-55485-3/hbk; 978-3-319-55486-0/ebook). xiv, 242 p. (2017). MSC: 81-06 81P05 00A30 00B25 PDF BibTeX XML Cite \textit{G. Hofer-Szabó} (ed.) and \textit{L. Wroński} (ed.), Making it formally explicit. Probability, causality and indeterminism. Cham: Springer (2017; Zbl 1380.81019) Full Text: DOI
Björk, Tomas; Khapko, Mariana; Murgoci, Agatha On time-inconsistent stochastic control in continuous time. (English) Zbl 1360.49013 Finance Stoch. 21, No. 2, 331-360 (2017). MSC: 49K45 49L20 49L99 49N90 93E20 60J70 91A10 91A25 91B51 91G10 91G80 PDF BibTeX XML Cite \textit{T. Björk} et al., Finance Stoch. 21, No. 2, 331--360 (2017; Zbl 1360.49013) Full Text: DOI
Mortensen, Chris Wedge sum, merge and inconsistency. (English) Zbl 1439.03065 Bimbó, Katalin (ed.), J. Michael Dunn on information based logics. Cham: Springer. Outst. Contrib. Log. 8, 45-51 (2016). MSC: 03B53 PDF BibTeX XML Cite \textit{C. Mortensen}, Outst. Contrib. Log. 8, 45--51 (2016; Zbl 1439.03065) Full Text: DOI
Cacace, Simone; Camilli, Fabio A generalized Newton method for homogenization of Hamilton-Jacobi equations. (English) Zbl 1354.65129 SIAM J. Sci. Comput. 38, No. 6, A3589-A3617 (2016). MSC: 65K10 35F21 35B27 49M15 49J20 PDF BibTeX XML Cite \textit{S. Cacace} and \textit{F. Camilli}, SIAM J. Sci. Comput. 38, No. 6, A3589--A3617 (2016; Zbl 1354.65129) Full Text: DOI
Djehiche, Boualem; Tembine, Hamidou Risk-sensitive mean-field type control under partial observation. (English) Zbl 1334.93180 Benth, Fred Espen (ed.) et al., Stochastics of environmental and financial economics. Centre of Advanced Study, Oslo, Norway, 2014–2015. Cham: Springer (ISBN 978-3-319-23424-3/hbk; 978-3-319-23425-0/ebook). Springer Proceedings in Mathematics & Statistics 138, 243-263 (2016). MSC: 93E20 60H30 60H10 49K45 91G80 PDF BibTeX XML Cite \textit{B. Djehiche} and \textit{H. Tembine}, in: Stochastics of environmental and financial economics. Centre of Advanced Study, Oslo, Norway, 2014--2015. Cham: Springer. 243--263 (2016; Zbl 1334.93180) Full Text: DOI arXiv
Schöneborn, Torsten Optimal trade execution for time-inconsistent mean-variance criteria and risk functions. (English) Zbl 1335.91070 SIAM J. Financ. Math. 6, 1044-1067 (2015). Reviewer: Yuliya S. Mishura (Kyïv) MSC: 91G10 91B24 62P05 93C15 91G80 PDF BibTeX XML Cite \textit{T. Schöneborn}, SIAM J. Financ. Math. 6, 1044--1067 (2015; Zbl 1335.91070) Full Text: DOI
Thomas, Nick Expressive limitations of naïve set theory in LP and minimally inconsistent LP. (English) Zbl 1329.03084 Rev. Symb. Log. 7, No. 2, 341-350 (2014). MSC: 03E70 03B53 PDF BibTeX XML Cite \textit{N. Thomas}, Rev. Symb. Log. 7, No. 2, 341--350 (2014; Zbl 1329.03084) Full Text: DOI
Björk, Tomas; Murgoci, Agatha A theory of Markovian time-inconsistent stochastic control in discrete time. (English) Zbl 1297.49038 Finance Stoch. 18, No. 3, 545-592 (2014). MSC: 49K45 49L20 49J55 49L99 93E20 60J05 60J20 91A10 91A15 91G10 91G80 PDF BibTeX XML Cite \textit{T. Björk} and \textit{A. Murgoci}, Finance Stoch. 18, No. 3, 545--592 (2014; Zbl 1297.49038) Full Text: DOI
Colyvan, Mark Applying inconsistent mathematics. (English) Zbl 1343.00008 Bueno, Otávio (ed.) et al., New waves in philosophy of mathematics. Papers based on the conference on new waves in philosophy of mathematics, Miami, FL, USA, April 24–26, 2008. Basingstoke: Palgrave Macmillan Publishers (ISBN 978-0-230-21943-4/pbk; 978-0-230-21942-7/hbk). 160-172 (2009). MSC: 00A30 00A35 PDF BibTeX XML Cite \textit{M. Colyvan}, in: New waves in philosophy of mathematics. Papers based on the conference on new waves in philosophy of mathematics, Miami, FL, USA, April 24--26, 2008. Basingstoke: Palgrave Macmillan Publishers. 160--172 (2009; Zbl 1343.00008)
Su, Kaile Constraints on extensions of a default theory. (English) Zbl 0989.03030 J. Comput. Sci. Technol. 16, No. 4, 329-340 (2001). MSC: 03B70 68T27 03B60 PDF BibTeX XML Cite \textit{K. Su}, J. Comput. Sci. Technol. 16, No. 4, 329--340 (2001; Zbl 0989.03030) Full Text: DOI
Mortensen, Chris Prospects for inconsistency. (English) Zbl 0993.03034 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, 203-208 (2000). MSC: 03B53 PDF BibTeX XML Cite \textit{C. Mortensen}, in: Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997. Baldock: Research Studies Press. 203--208 (2000; Zbl 0993.03034)
Vratanar, B.; Saje, M. A consistent equilibrium in a cross-section of an elastic-plastic beam. (English) Zbl 0968.74044 Int. J. Solids Struct. 36, No. 2, 311-337 (1999). Reviewer: Petre P.Teodorescu (Bucureşti) MSC: 74K10 74S05 74C05 PDF BibTeX XML Cite \textit{B. Vratanar} and \textit{M. Saje}, Int. J. Solids Struct. 36, No. 2, 311--337 (1999; Zbl 0968.74044) Full Text: DOI
Asenjo, Florencio G. Antinomicity and the axiom of choice. A chapter in antinomic mathematics. (English) Zbl 0983.03040 Log. Log. Philos. 4, 53-95 (1996). MSC: 03E70 03B53 03E25 03A05 PDF BibTeX XML Cite \textit{F. G. Asenjo}, Log. Log. Philos. 4, 53--95 (1996; Zbl 0983.03040) Full Text: DOI
Mortensen, Chris Inconsistent mathematics. (English) Zbl 0827.03013 Mathematics and its Applications (Dordrecht). 312. Dordrecht: Kluwer Academic Publishers. ix, 155 p. (1995). Reviewer: G.Priest (Brisbane) MSC: 03B53 03-02 PDF BibTeX XML Cite \textit{C. Mortensen}, Inconsistent mathematics. Dordrecht: Kluwer Academic Publishers (1995; Zbl 0827.03013)
Asenjo, F. G. Antinomicity and the axiom of choice: A chapter in antinomic mathematics. (English) Zbl 0846.03026 Rev. Acad. Ci. Exactas Fís. Quím. Nat. Zaragoza, II. Ser. 49, 5-45 (1994). Reviewer: G.Priest (Brisbane) MSC: 03E70 03B53 03E25 03A05 PDF BibTeX XML Cite \textit{F. G. Asenjo}, Rev. Acad. Ci. Exactas Fís. Quím. Nat. Zaragoza, II. Ser. 49, 5--45 (1994; Zbl 0846.03026)
da Costa, Newton C. A. Inconsistent formal systems. (Sistemas formais inconsistentes.) (Portuguese) Zbl 0798.03025 Clássicos. 3. Curitiba: Edition da UFPR. xxii, 66 p. (1993). Reviewer: Itala D’Ottaviano (Campinas) MSC: 03B53 01A75 03-02 03-03 00B60 PDF BibTeX XML Cite \textit{N. C. A. da Costa}, Sistemas formais inconsistentes (Portuguese). Curitiba: Edition da UFPR (1993; Zbl 0798.03025)
Cole, Joshua; Mortensen, Chris Fixed point theorems for inconsistent and incomplete formation of large categories. (English) Zbl 0833.18001 Log. Anal., Nouv. Sér. 35, No. 139-140, 223-238 (1992). MSC: 18A15 PDF BibTeX XML Cite \textit{J. Cole} and \textit{C. Mortensen}, Log. Anal., Nouv. Sér. 35, No. 139--140, 223--238 (1992; Zbl 0833.18001)
Baral, Chitta R.; Subrahmanian, V. S. Stable and extension class theory for logic programs and default logics. (English) Zbl 0763.03017 J. Autom. Reasoning 8, No. 3, 345-366 (1992). MSC: 03B60 03B70 68N17 68Q55 PDF BibTeX XML Cite \textit{C. R. Baral} and \textit{V. S. Subrahmanian}, J. Autom. Reasoning 8, No. 3, 345--366 (1992; Zbl 0763.03017) Full Text: DOI
Brady, R. T. The non-triviality of dialectical set theory. (English) Zbl 0691.03038 Paraconsistent logic, Essays on the inconsistent, 437-471 (1989). Reviewer: G.Priest MSC: 03E70 03B60 PDF BibTeX XML
Brady, R. T.; Routley, R. The non-triviality of extensional dialectical set theory. (English) Zbl 0691.03037 Paraconsistent logic, Essays on the inconsistent, 415-436 (1989). Reviewer: G.Priest MSC: 03E70 03B60 PDF BibTeX XML
Asenjo, F. G. Toward an antinomic mathematics. (English) Zbl 0687.03013 Paraconsistent logic, Essays on the inconsistent, 394-414 (1989). Reviewer: G.Priest MSC: 03B60 03A05 03C99 PDF BibTeX XML
Rozonoèr, L. I. On interpretation of inconsistent theories. (English) Zbl 0677.03019 Inf. Sci. 47, No. 3, 243-266 (1989). Reviewer: L.I.Rozonoehr MSC: 03B60 03B20 PDF BibTeX XML Cite \textit{L. I. Rozonoèr}, Inf. Sci. 47, No. 3, 243--266 (1989; Zbl 0677.03019) Full Text: DOI
Mortensen, Chris Inconsistent number systems. (English) Zbl 0644.03003 Notre Dame J. Formal Logic 29, No. 1, 45-60 (1988). Reviewer: D.Makinson MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{C. Mortensen}, Notre Dame J. Formal Logic 29, No. 1, 45--60 (1988; Zbl 0644.03003) Full Text: DOI
Stahl, Gerold Parallel theories and routine revision in first-order logic. (English) Zbl 0635.03005 Z. Math. Logik Grundlagen Math. 33, 457-459 (1987). Reviewer: D.Makinson MSC: 03B10 PDF BibTeX XML Cite \textit{G. Stahl}, Z. Math. Logik Grundlagen Math. 33, 457--459 (1987; Zbl 0635.03005) Full Text: DOI
Mortensen, Chris Inconsistent nonstandard arithmetic. (English) Zbl 0629.03046 J. Symb. Log. 52, 512-518 (1987). Reviewer: R.A.Herrmann MSC: 03H15 03C90 PDF BibTeX XML Cite \textit{C. Mortensen}, J. Symb. Log. 52, 512--518 (1987; Zbl 0629.03046) Full Text: DOI
da Costa, Newton C. A. On paraconsistent set theory. (English) Zbl 0633.03016 Logique Anal., Nouv. Sér. 29, 361-371 (1986). Reviewer: I.D’Ottaviano MSC: 03B60 03E70 03E35 PDF BibTeX XML Cite \textit{N. C. A. da Costa}, Log. Anal., Nouv. Sér. 29, 361--371 (1986; Zbl 0633.03016)
Priest, Graham Logic of paradox revisited. (English) Zbl 0543.03004 J. Philos. Logic 13, 153-179 (1984). MSC: 03A05 PDF BibTeX XML Cite \textit{G. Priest}, J. Philos. Log. 13, 153--179 (1984; Zbl 0543.03004) Full Text: DOI
da Costa, Newton C. A.; Wolf, R. G. Studies in paraconsistent logic. I: The dialectical principle of the unity of opposites. (English) Zbl 0614.03008 Philosophia 9, 189-217 (1980). MSC: 03A05 03B60 PDF BibTeX XML
Batens, Diderik Paraconsistent extensional propositional logics. (English) Zbl 0459.03013 Logique Anal., Nouv. Sér. 23, 195-234 (1980). MSC: 03B60 03A05 03B20 PDF BibTeX XML Cite \textit{D. Batens}, Log. Anal., Nouv. Sér. 23, 195--234 (1980; Zbl 0459.03013)
Kramosil, Ivan A classification of inconsistent theories. (English) Zbl 0415.68001 Bull. Sect. Logic, Pol. Acad. Sci. 6, 35-41 (1977). MSC: 68Q65 68T15 68T99 03B99 03F20 PDF BibTeX XML Cite \textit{I. Kramosil}, Bull. Sect. Logic, Pol. Acad. Sci. 6, 35--41 (1977; Zbl 0415.68001)