Jump to main content

yr 〜
yr

Search results 29

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)
Paper図書
Nikolaos Galatos, Kazushige Terui, editorsSpringer[2022]<MA41-D8>
National Diet Library
  • Title HeadingOutstanding contributions to logic ; volume 23

Petr Hájek on mathematical Fuzzy logic

Petr Hájek on mathematical Fuzzy logic
Paper図書
Franco MontagnaSpringer International Publishing[2015]
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Dick de Jongh on Intuitionistic and Provability Logics :hbk.

Dick de Jongh on Intuitionistic and Provability Logics :hbk.
Paper図書
Nick Bezhanishvili, Rosalie Iemhoff, Fan YangSpringer International Publishing2024
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Saul Kripke on modal logic

Saul Kripke on modal logic
Paper図書
Yale Weiss, Romina BirmanSpringer International Publishing2024
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Samson Abramsky on logic and structure in computer science and beyond

Samson Abramsky on logic and structure in computer science and beyond
Paper図書
Alessandra Palmigiano, Mehrnoosh Sadrzadeh, editorsSpringerc2023
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Hiroakira Ono on substructural logics

Hiroakira Ono on substructural logics
Paper図書
Nikolaos Galatos, Kazushige TeruiSpringerc2022
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
Paper図書
Ivo Düntsch, Edwin Mares, editorsSpringerc2022
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

V.A. Yankov on non-classical logics, history and philosophy of mathematics

V.A. Yankov on non-classical logics, history and philosophy of mathematics
Paper図書
Alex Citkin, Ioannis M. Vandoulakis, editorsSpringerc2022
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Arnon Avron on semantics and proof theory of non-classical logics

Arnon Avron on semantics and proof theory of non-classical logics
Paper図書
Ofer Arieli, Anna Zamansky, editorsSpringerc2021
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Joachim Lambek : The Interplay of Mathematics, Logic, and Linguistics

Joachim Lambek : The Interplay of Mathematics, Logic, and Linguistics
Paper図書
Claudia Casadio, Philip J. Scott, EditorsSpringerc2021
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Hajnal Andréka and István Németi on Unity of Science : from computing to relativity theory through Algebraic Logic

Hajnal Andréka and István Németi on Unity of Science : from computing to relativity theory through Algebraic Logic
Paper図書
Judit Madarász, Gergely Székely, EditorsSpringerc2021
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Graham Priest on dialetheism and paraconsistency

Graham Priest on dialetheism and paraconsistency
Paper図書
Can Ba̦şkent, Thomas Macaulay Ferguson, EditorsSpringerc2019
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Larisa Maksimova on implication, interpolation, and definability

Larisa Maksimova on implication, interpolation, and definability
Paper図書
Sergei Odintsov, editorsSpringerc2018
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
Paper図書
Janusz Czelakowski, editorSpringerc2018
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Hilary Putnam on logic and mathematics : hardcover

Hilary Putnam on logic and mathematics : hardcover
Paper図書
Geoffrey Hellman, Roy T. Cook, editorsSpringerc2018
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Jaakko Hintikka on knowledge and game-theoretical semantics

Jaakko Hintikka on knowledge and game-theoretical semantics
Paper図書
Hans van Ditmarsch, Gabriel Sandu, editorsSpringerc2018
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Feferman on foundations : logic, mathematics, philosophy

Feferman on foundations : logic, mathematics, philosophy
Paper図書
Gerhard Jäger, Wilfried Sieg, editorsSpringerc2017
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Rohit Parikh on logic, language and society

Rohit Parikh on logic, language and society
Paper図書
Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam editorsSpringerc2017
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

Raymond Smullyan on self reference

Raymond Smullyan on self reference
Paper図書
Melvin Fitting, Brian Rayman, editorsSpringerc2017
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic

J. Michael Dunn on information based logics

J. Michael Dunn on information based logics
Paper図書
edited by Katalin BimbóSpringerc2016
Other Libraries in Japan
  • Related MaterialOutstanding contributions to logic
  • Periodical TitleOutstanding contributions to logic
RSS