×

zbMATH — the first resource for mathematics

Found 154 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Markose, Sheri
The Gödelian foundations of self-reference, the liar and incompleteness: arms race in complex strategic innovation. (English) Zbl 1407.91014
Pinto, Alberto A. (ed.) et al., Trends in mathematical economics. Dialogues between Southern Europe and Latin America. Selected papers based on the presentations at the conferences: 3rd international conference on dynamics, games and science, DGS III, on the occasion of the 50th birthday of Alberto A. Pinto, Porto, Portugal, February 17–21, 2014, the 1st Hellenic-Portuguese meeting on mathematical economics, AUEB, Athens, Greece, and the XV Jornadas Latinoamericanas de Teoría Económica, JOLATE, Guanajuato, México. Cham: Springer. 217-244 (2016); erratum ibid. E1 (2016).
MSC:  91A05 03F40
PDF BibTeX XML Cite
\textit{S. Markose}, in: Trends in mathematical economics. Dialogues between Southern Europe and Latin America. Selected papers based on the presentations at the conferences: 3rd international conference on dynamics, games and science, DGS III, on the occasion of the 50th birthday of Alberto A. Pinto, Porto, Portugal, February 17--21, 2014, the 1st Hellenic-Portuguese meeting on mathematical economics, AUEB, Athens, Greece, and the XV Jornadas Latinoamericanas de Teoría Económica, JOLATE, Guanajuato, México. Cham: Springer. 217--244 (2016; Zbl 1407.91014)
Full Text: DOI
Beringer, Timo; Schindler, Thomas
Reference graphs and semantic paradox. (English) Zbl 1423.03246
Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications. 1-15 (2016).
MSC:  03F30 05C90 91A80
PDF BibTeX XML Cite
\textit{T. Beringer} and \textit{T. Schindler}, in: The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15--19, 2015. London: College Publications. 1--15 (2016; Zbl 1423.03246)
Pleitz, Martin
Curry’s paradox and the inclosure schema. (English) Zbl 1381.03013
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 233-248 (2015).
MSC:  03A05 03B53
PDF BibTeX XML Cite
\textit{M. Pleitz}, in: The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16--20, 2014. London: College Publications. 233--248 (2015; Zbl 1381.03013)
Grattan-Guinness, Ivor
Is logic universal or hierarchical? (English) Zbl 1371.03004
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 307-318 (2015).
MSC:  03-03 03A05 03-02 01A60 01A55
PDF BibTeX XML Cite
\textit{I. Grattan-Guinness}, in: The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer. 307--318 (2015; Zbl 1371.03004)
Full Text: DOI
Halbach, Volker; Visser, Albert
The Henkin sentence. (English) Zbl 1347.03002
Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 249-263 (2014).
MSC:  03-03 03A05 03F40 03F45 01A60
PDF BibTeX XML Cite
\textit{V. Halbach} and \textit{A. Visser}, in: The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer. 249--263 (2014; Zbl 1347.03002)
Full Text: DOI
Priest, Graham
Vague inclosures. (English) Zbl 1272.03037
Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008. Berlin: Springer (ISBN 978-94-007-4437-0/hbk). Logic, Epistemology, and the Unity of Science 26, 367-377 (2013).
MSC:  03A05
PDF BibTeX XML Cite
\textit{G. Priest}, Log. Epistemol. Unity Sci. 26, 367--377 (2013; Zbl 1272.03037)
Full Text: DOI
Case, John; Moelius, Samuel E.
Program self-reference in constructive Scott subdomains. (English) Zbl 1266.03051
Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 89-98 (2009).
MSC:  03D20 03D45 06B35 68Q55
PDF BibTeX XML Cite
\textit{J. Case} and \textit{S. E. Moelius}, Lect. Notes Comput. Sci. 5635, 89--98 (2009; Zbl 1266.03051)
Full Text: DOI
Bab, Sebastian; Mahr, Bernd; Wieczorek, Tina
\(\varepsilon\)-style (of) semantics. An alternative to set-theoretic modelling. (English) Zbl 1213.03068
Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 111-142 (2008).
MSC:  03E75 03B40 03B70 03E70
PDF BibTeX XML Cite
\textit{S. Bab} et al., in: New approaches to classes and concepts. Based on the workshop ``Alternative set theories -- Alternatives to set theory'', University of Southern Denmark, June 2, 2006. London: College Publications. 111--142 (2008; Zbl 1213.03068)
Gentilini, Paolo
Paraconsistent arithmetic with a local consistency operator and global selfreference. (English) Zbl 1276.03024
Corradini, Flavio (ed.) et al., Proceedings of the workshop on logic, models and computer science (LMCS 2006), Camerino, Italy, April 20–22, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 169, 73-86 (2007).
MSC:  03B53 03F45
PDF BibTeX XML Cite
\textit{P. Gentilini}, Electron. Notes Theor. Comput. Sci. 169, 73--86 (2007; Zbl 1276.03024)
Full Text: Link
Case, John; Moelius, Samuel E. III
Properties complementary to program self-reference. (English) Zbl 1147.68441
Kučera, Luděk (ed.) et al., Mathematical foundations of computer science 2007. 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74455-9/pbk). Lecture Notes in Computer Science 4708, 253-263 (2007).
MSC:  68N30
PDF BibTeX XML Cite
\textit{J. Case} and \textit{S. E. Moelius III}, Lect. Notes Comput. Sci. 4708, 253--263 (2007; Zbl 1147.68441)
Full Text: DOI
Case, John; Moelius, Samuel E. III
Characterizing programming systems allowing program self-reference. (English) Zbl 1151.68365
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 125-134 (2007).
MSC:  68N30
PDF BibTeX XML Cite
\textit{J. Case} and \textit{S. E. Moelius III}, Lect. Notes Comput. Sci. 4497, 125--134 (2007; Zbl 1151.68365)
Full Text: DOI
Stepanov, V. A.
Semantics of self-reference: Dynamical systems approach. (Russian. English summary) Zbl 1043.03514
Karpenko, A. S. (ed.) et al., Proceedings of the Research Logical Seminar of the Institute of Philosophy RAS. 2001–2002. No. XVI. Moskva: Rossijskaya Akademiya Nauk, Institut Filosofii (ISBN 5-201-02149-2/pbk). Tr. Nauchno-Issled. Semin. Log. Tsentra Inst. Filos. RAN 16, 97-108 (2002).
MSC:  03B60 03A05
PDF BibTeX XML Cite
\textit{V. A. Stepanov}, in: Trudy Nauchno-Issledovatel'skogo Seminara Logicheskogo Tsentra Instituta Filosofii RAN. 2001--2002. Vyp. XVI. Moskva: Rossijskaya Akademiya Nauk, Institut Filosofii. 97--108 (2002; Zbl 1043.03514)
Sholl, M. Jeanne
The role of a self-reference system in spatial navigation. (English) Zbl 1042.68801
Montello, Daniel R. (ed.), Spatial information theory. Foundations of geographic information science. 5th international conference, COSIT 2001, Morro Bay, CA, USA, September 19–23, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42613-2). Lect. Notes Comput. Sci. 2205, 217-232 (2001).
MSC:  68U99 68U05 68U35
PDF BibTeX XML Cite
\textit{M. J. Sholl}, Lect. Notes Comput. Sci. 2205, 217--232 (2001; Zbl 1042.68801)
Full Text: Link
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
PDF BibTeX XML Cite
\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)
Epstein, Richard L.; Carnielli, Walter A.
Computability. Computable functions, logic, and the foundations of mathematics. With “Computability and undecidability—a timeline. The story of the development of computable functions and the undecidability of arithmetic to 1970” by Richard L. Epstein. 2nd ed. (English) Zbl 0951.03001
Belmont, CA: Wadsworth/Thomson Learning. 299 p., 38 p. (2000).
Reviewer: B.Boričić (Beograd)
MSC:  03-01 03Dxx 00A30 00A35 03Fxx 03A05
PDF BibTeX XML Cite
\textit{R. L. Epstein} and \textit{W. A. Carnielli}, Computability. Computable functions, logic, and the foundations of mathematics. With ``Computability and undecidability---a timeline. The story of the development of computable functions and the undecidability of arithmetic to 1970'' by Richard L. Epstein. 2nd ed. Belmont, CA: Wadsworth/Thomson Learning (2000; Zbl 0951.03001)
Cantini, Andrea
Proof-theoretical aspects of self-referential truth. (English) Zbl 0944.03055
Dalla Chiara, Maria Luisa (ed.) et al., Logic and scientific methods. Volume one of the proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19-25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 259, 7-27 (1997).
Reviewer: M.Yasuhara (Princeton)
MSC:  03F25
PDF BibTeX XML Cite
\textit{A. Cantini}, Synth. Libr. 259, 7--27 (1997; Zbl 0944.03055)
Barwise, Jon; Moss, Lawrence
Vicious circles. On the mathematics of non-wellfounded phenomena. (English) Zbl 0865.03002
CSLI Lecture Notes. 60. Stanford, CA: CSLI, Center for the Study of Language and Information. x, 390 p. £16.95/pbk; $ 24.95/pbk; £50.00/ hbk; $ 64.95/hbk (1996).
Reviewer: S.Gottwald (Leipzig)
MSC:  03-02 00A30 03-01 68R99 03E70 03A05
PDF BibTeX XML Cite
\textit{J. Barwise} and \textit{L. Moss}, Vicious circles. On the mathematics of non-wellfounded phenomena. Stanford, CA: CSLI, Center for the Study of Language and Information (1996; Zbl 0865.03002)
Kamareddine, Fairouz
Are types needed for natural language? (English) Zbl 0847.03016
Pólos, László (ed.) et al., Applied logic: how, what and why. Logical approaches to natural language. Papers presented at the international conference “Applied logic: logic at work”, held in Amsterdam (Netherlands), December 1992. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 247, 79-120 (1995).
Reviewer: F.Kamareddine (Glasgow)
MSC:  03B65 03B40
PDF BibTeX XML Cite
\textit{F. Kamareddine}, Synth. Libr. 247, 79--120 (1995; Zbl 0847.03016)

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Software