Jump to main content

yr 〜
yr

Search results 80

Interval/probabilistic uncertainty and non-classical logics. : ------. (Advances in Soft Computing ; 46)

Interval/probabilistic uncertainty and non-classical logics. : ------. (Advances in Soft Computing ; 46)
Paper図書
Springerc2008.<M17-08-863>
National Diet LibraryOther Libraries in Japan
  • Note (General)...nty and on non-classical logics." -- backcover.

Computation in classical logic and dual calculus

Computation in classical logic and dual calculus
Paper博士論文
Daisuke Kimura [著][Daisuke Kimura][2007]<UT51-2007-R188>
National Diet Library

Proof-theoretic studies of the correspondence of modal logic and classical logic

Proof-theoretic studies of the correspondence of modal logic and classical logic
Paper博士論文
Hirohiko Kushida [著][Hirohiko Kushida][2006]<UT51-2006-S560>
National Diet Library

Lambda calculi for classical logic

Lambda calculi for classical logic
Paper博士論文
馬場謙介 [著][馬場謙介]2002<UT51-2002-E779>
National Diet Library

Proof theoretical investigations for Visser's logics, classical logic and the first-order arithmetic

Proof theoretical investigations for Visser's logics, classical logic and the first-order arithmetic
Paper博士論文
Katsumasa Ishii [著][Katsumasa Ishii]2002<UT51-2003-D787>
National Diet LibraryOther Libraries in Japan

Automated deduction in classical and non-classical logics -- : First-order theorem proving : International workshop : Nov 1998, Vienna, Austria. (Lecture Notes in Computer Science ; 1761)

Automated deduction in classical and non-classical logics -- : First-order theorem proving : International workshop : Nov 1998, Vienna, Austria. (Lecture Notes in Computer Science ; 1761)
Paper図書
Springer2000.<M17-01-1057>
National Diet Library
  • Note (General)...ed deduction ; classical logics. BL shelfmark: 5180.185 [no]...
  • Alternative Title...ed deduction ; classical logics
  • Alternative Title...ed deduction ; classical logics

An algebraic approach to non-classical logics. (Studies in logic and the foundations of mathematics, v. 78)

An algebraic approach to non-classical logics. (Studies in logic and the foundations of mathematics, v. 78)
Paper図書
North-Holland Pub. Co.1974.<H35-59>
National Diet Library

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. (Studies in logic and the foundations of mathematics ; v. 89)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. (Studies in logic and the foundations of mathematics ; v. 89)
Paper図書
North-Holland Pub. Co.1977.<MA41-116>
National Diet Library

Kit fine on truthmakers, relevance, and non-classical logic

Kit fine on truthmakers, relevance, and non-classical logic
Paper図書
Federico L.G. Faroldi, Frederik Van De Putte, editorsSpringerc2023
Other Libraries in Japan

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

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

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

Logic without gaps or gluts : how to solve the paradoxes without sacrificing classical logic

Logic without gaps or gluts : how to solve the paradoxes without sacrificing classical logic
Paper図書
Benjamin Alan BurgisSpringerc2022
Other Libraries in Japan

Boolean algebra, classical logic, cellular automata, and probability manipulations 1st. revision

Boolean algebra, classical logic, cellular automata, and probability manipulations 1st. revision
Paper図書
David J. BlowerThird Millennium Inferencing2017
Other Libraries in Japan

Intuitionism vs. classicism : a mathematical attack on classical logic

Intuitionism vs. classicism : a mathematical attack on classical logic
Paper図書
Nick HaverkampKlostermann2015
Other Libraries in Japan

Classical logic and its rabbit-holes : a first course : pbk

Classical logic and its rabbit-holes : a first course : pbk
Paper図書
Nelson P. LandeHackettc2013
Other Libraries in Japan

Belief revision in non-classical logics

Belief revision in non-classical logics
Paper図書
Márcio Moretto RibeiroSpringerc2013
Other Libraries in Japan

Structural analysis of non-classical logics : the proceedings of the second Taiwan Philosophical Logic Colloquium

Structural analysis of non-classical logics : the proceedings of the second Taiwan Philosophical Logic Colloquium
Paper図書
Syrara Chin-Mu Yang, Duen-Min Den, Hanti Lin, editorsSpringerc2016
Other Libraries in Japan

An introduction to non-classical logic : : from if to is / 2nd ed.

An introduction to non-classical logic : : from if to is / 2nd ed.
Paper図書
Cambridge University Press,2008.
Other Libraries in Japan
  • Note (General)...al Logic -- 1. Classical logic and the materi......dentity -- 12. Classical logic -- 13. Free logic -- 14. Cons...

An introduction to non-classical logic : from if to is : hbk : pbk 2nd ed

An introduction to non-classical logic : from if to is : hbk : pbk 2nd ed
Paper図書
Graham PriestCambridge University Press2008
Other Libraries in Japan
  • Note (General)...duction to non-classical logic Includes bibliographical refe...
RSS