ヘルプ
ヘルプ

検索結果 148 件

Studia Logica

Studia Logica
紙雑誌
Kluwer Academic Publishers<Z51-H252>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)
紙図書
Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.Springer[2020]<H35-D4>
国立国会図書館全国の図書館
  • 内容細目... poison game A logical characterization of the cont...
  • 関連情報Logic in Asia : Studia logica library
  • 掲載誌Logic in Asia : Studia logica library

Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)

Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)
紙図書
Toshiyasu AraiSpringer[2020]<MA21-D26>
国立国会図書館

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)
紙図書
Shier Ju, Hu Liu, Hiroakira Ono, editors.Springer[2015]<H35-B17>
国立国会図書館全国の図書館
  • 関連情報Logic in Asia : Studia logica library
  • 掲載誌Logic in Asia : Studia logica library

Towards mathematical philosophy : papers from the Studia Logica conference Trends in Logic IV : pbk

Towards mathematical philosophy : papers from the Studia Logica conference Trends in Logic IV : pbk
紙図書
David Makinson, Jacek Malinowski, Heinrich Wansing editorsSpringerc2009
全国の図書館
  • 関連情報Trends in logic : studia logica library
  • 掲載誌Trends in logic : studia logica library

Trends in logic : 50 years of Studia Logica

Trends in logic : 50 years of Studia Logica
紙図書
edited by Vincent F. Hendricks and Jacek MalinowskiKluwer Academicc2003
全国の図書館
  • 一般注記... - 50 Years of Studia Logica. The first conference took pl...
  • 関連情報Trends in logic : studia logica library
  • 掲載誌Trends in logic : studia logica library

Trends in logic : studia logica library

Trends in logic : studia logica library
紙図書
Kluwer Academic Publishersc1997-
全国の図書館
  • 目次・記事... semantics Topological and algebraic......, case studies Logical studies of pa......on : trends in logical semantics Nat...... have inspired logical investigation......phora and type logical grammar Displ...... : 50 years of Studia Logica Protoalgebraic......to generalized logical values Struct......apers from the Studia Logica conference Tre...... inclusion The logical writings of Karl Popper A mo...
  • 関連情報... semantics Topological and algebraic......, case studies Logical studies of pa......on : trends in logical semantics Nat...... have inspired logical investigation......phora and type logical grammar Displ...... : 50 years of Studia Logica Protoalgebraic......to generalized logical values Struct......apers from the Studia Logica conference Tre...... inclusion The logical writings of Karl Popper A mo...

Studia logica [Reprint ed.]

Studia logica [Reprint ed.]
紙雑誌
Komitet Filozoficzny, Polska Akademia NaukSwets & Zeitlinger N.V.1970-
全国の図書館
  • 並列タイトル等（連結）Stud. logica Studia logica
  • 並列タイトル等Stud. logica Studia logica

Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 (1974), pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 (1979), pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 (1980), pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 (1971), pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices. Notre Dame journal of formal logic, vol. 22 (1981), pp. 163–182. - J. M. Jauch and C. Piron. What is “quantum-logic”?Quanta, Essays in theoretical physics dedicated to Gregor Wentzel, edited by P. G. O. Freund, C. J. Goebel, and Y. Nambu, The University of Chicago Press, Chicago and London1970, pp. 166–181. - Jerzy Kotas. <i>An axiom system for the modular logic</i>. English with Polish and Russian summaries. Studia logica, vol. 21 (1967), pp. 17–38. - P. Mittelstaedt. <i>On the interpretation of the lattice of subspaces of the Hilbert space as a propositional calculus</i>. Zeitschrift für Naturforschung, vol. 27a no. 8–9 (1972), pp. 1358–1362. - J. Jay Zeman. <i>Generalized normal logic</i>. Journal of philosophical logic, vol. 7(1978), pp. 225–243.

Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 (1974), pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 (1979), pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 (1980), pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 (1971), pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices. Notre Dame journal of formal logic, vol. 22 (1981), pp. 163–182. - J. M. Jauch and C. Piron. What is “quantum-logic”?Quanta, Essays in theoretical physics dedicated to Gregor Wentzel, edited by P. G. O. Freund, C. J. Goebel, and Y. Nambu, The University of Chicago Press, Chicago and London1970, pp. 166–181. - Jerzy Kotas. <i>An axiom system for the modular logic</i>. English with Polish and Russian summaries. Studia logica, vol. 21 (1967), pp. 17–38. - P. Mittelstaedt. <i>On the interpretation of the lattice of subspaces of the Hilbert space as a propositional calculus</i>. Zeitschrift für Naturforschung, vol. 27a no. 8–9 (1972), pp. 1358–1362. - J. Jay Zeman. <i>Generalized normal logic</i>. Journal of philosophical logic, vol. 7(1978), pp. 225–243.
デジタル記事
1983-03Journal of Symbolic Logic48 1p.206-208
全国の図書館

Logica : studia Paul Bernays dedicata

Logica : studia Paul Bernays dedicata
紙図書
Editions du Griffonc1959
全国の図書館

Studia Logica

Studia Logica
デジタル電子書籍・電子雑誌雑誌
Hybrid
国立国会図書館
  • その他のタイトル（略タイトル）STUD LOGICA STUD. LOG STUDIA LOGICA STUDIA LOGICA AN INTERNATIONAL JOURNAL FOR ...

Logic in Asia : Studia logica library

Logic in Asia : Studia logica library
紙図書
series editors Fenrong Liu, Hiroakira Ono ... [et al.]Springer
全国の図書館

検索結果は以上です。