Jump to main content

yr 〜
yr

Search results 62

Trends in logic : studia logica library

Trends in logic : studia logica library
Paper図書
Kluwer Academic Publishersc1997-
Other Libraries in Japan

Inquisitive logic : consequence and inference in the realm of questions : [hbk]

Inquisitive logic : consequence and inference in the realm of questions : [hbk]
Paper図書
Ivano CiardelliSpringerc2022
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

The logical writings of Karl Popper : pbk

The logical writings of Karl Popper : pbk
Paper図書
David Binder, Thomas Piecha, Peter Schroeder-Heister, editorsSpringerc2022
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Logics of variable inclusion

Logics of variable inclusion
Paper図書
Stefano Bonzio, Francesco Paoli, Michele Pra BaldiSpringerc2022
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Logic in high definition : trends in logical semantics : [pbk.]

Logic in high definition : trends in logical semantics : [pbk.]
Paper図書
Alessandro Giordani, Jacek Malinowski, editorsSpringerc2021
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Algebraic perspectives on substructural logics

Algebraic perspectives on substructural logics
Paper図書
Davide Fazio, Antonio Ledda, Francesco Paoli, editorsSpringerc2021
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Logic in high definition : trends in logical semantics

Logic in high definition : trends in logical semantics
Paper図書
Alessandro Giordani, Jacek Malinowski, editorsSpringerc2021
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Logic and Implication : an introduction to the general algebraic study of non-classical logics hbk.

Logic and Implication : an introduction to the general algebraic study of non-classical logics hbk.
Paper図書
Petr Cintula, Carles Noguera2021
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory : hardback

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory : hardback
Paper図書
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editorsSpringerc2020
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
Paper図書
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editorsSpringerc2020
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Heyting algebras : duality theory

Heyting algebras : duality theory
Paper図書
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton EvseevSpringerc2019
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Foundations of the theory of parthood : a study of Mereology

Foundations of the theory of parthood : a study of Mereology
Paper図書
Andrzej PietruszczakSpringer2020
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

A model-theoretic approach to proof theory

A model-theoretic approach to proof theory
Paper図書
Henryk Kotlarski, author ; edited by Zofia Adamowicz, Teresa Bigorajska and Konrad ZdanowskiSpringerc2019
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Heyting algebras : duality theory hardcover

Heyting algebras : duality theory hardcover
Paper図書
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton EvseevSpringerc2019
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Quantum computation and logic : how quantum computers have inspired logical investigations

Quantum computation and logic : how quantum computers have inspired logical investigations
Paper図書
Maria Luisa Dalla Chiara ... [et al.]Springerc2018
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Descriptor revision : belief change through direct choice

Descriptor revision : belief change through direct choice
Paper図書
Sven Ove HanssonSpringerc2017
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Advances in proof-theoretic semantics

Advances in proof-theoretic semantics
Paper図書
Thomas Piecha, Peter Schroeder-Heister, editorsSpringerc2016
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Toward predicate approaches to modality

Toward predicate approaches to modality
Paper図書
Johannes SternSpringerc2016
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Logical studies of paraconsistent reasoning in science and mathematics

Logical studies of paraconsistent reasoning in science and mathematics
Paper図書
Holger Andreas, Peter Verdée, editors.Springerc2016
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Logics and falsifications : a new perspective on constructivist semantics

Logics and falsifications : a new perspective on constructivist semantics
Paper図書
Andreas KapsnerSpringerc2014
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library
RSS