Jump to main content

yr 〜
yr

Search results 80

Proof theory and algebra in logic (Short textbooks in logic)

Proof theory and algebra in logic (Short textbooks in logic)
Paper図書
Hiroakira OnoSpringer[2019]<MA41-D5>
National Diet LibraryOther Libraries in Japan
  • Contents...ogic Basics of algebraic logic Logics and varieties Residuat...
  • Subject HeadingProof theory Algebraic logic

Algebraic theories : a categorical introduction to general algebra (Cambridge tracts in mathematics ; 184)

Algebraic theories : a categorical introduction to general algebra (Cambridge tracts in mathematics ; 184)
Paper図書
J. Adámek, J. Rosický, E.M. Vitale, with a foreword by F.W. Lawvere.Cambridge University Press2011.<MA67-B75>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingCategories (Mathematics) Algebraic logic.

From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich Wehrung. (Lecture notes in mathematics ; 2029)

From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich Wehrung. (Lecture notes in mathematics ; 2029)
Paper図書
Springer-Verlagc2011.<MA67-B68>
National Diet Library
  • Subject HeadingFunctor theory. Algebra, Boolean. Algebraic logic.

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)
Paper図書
Springer[2014]<M17-15-1583>
National Diet Library
  • Subject HeadingAlgebraic logic--Congresses. R......s--Congresses. Algebraic logic. Computer science--Mathematic...

Logics of variable inclusion

Logics of variable inclusion
Paper図書
Stefano Bonzio, Francesco Paoli, Michele Pra BaldiSpringerc2022
Other Libraries in Japan
  • Subject HeadingAlgebraic logic
  • Subject Heading (ID)Algebraic logic

Consequence relations : an introduction to the Lindenbaum-Tarski method

Consequence relations : an introduction to the Lindenbaum-Tarski method
Paper図書
Alex Citkin, Alexei MuravitskyOxford University Pressc2022
Other Libraries in Japan
  • Subject HeadingAlgebraic logic
  • Subject Heading (ID)Algebraic logic

Universal algebraic logic : dedicated to the unity of science : pbk

Universal algebraic logic : dedicated to the unity of science : pbk
Paper図書
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó SainBirkhäuserc2022
Other Libraries in Japan
  • Subject HeadingAlgebraic logic
  • Subject Heading (ID)Algebraic logic

Residuated structures in algebra and logic : pbk

Residuated structures in algebra and logic : pbk
Paper図書
George Metcalfe, Francesco Paoli, Constantine TsinakisAmerican Mathematical Societyc2023
Other Libraries in Japan
  • Subject HeadingAlgebraic logic Algebra, Universal
  • Subject Heading (ID)Algebraic logic Algebra, Universal

Universal algebraic logic : dedicated to the unity of science hbk.

Universal algebraic logic : dedicated to the unity of science hbk.
Paper図書
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó SainBirkhäuser2022
Other Libraries in Japan
  • Subject HeadingAlgebraic logic
  • Subject Heading (ID)Algebraic 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
  • Subject HeadingUrquhart, Alasdair Algebraic logic Lattice theory
  • Subject Heading (ID)Urquhart, Alasdair Algebraic logic Lattice theory

Relations and Kleene algebra in computer science : 11th international conference on relational methods in computer science, RelMiCS 2009 and 6th international conference on applications of Kleene algebra, AKA 2009 : Doha, Qatar, November 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)

Relations and Kleene algebra in computer science : 11th international conference on relational methods in computer science, RelMiCS 2009 and 6th international conference on applications of Kleene algebra, AKA 2009 : Doha, Qatar, November 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)
Paper図書
Springerc2009.<M17-10-1915>
National Diet Library
  • Subject Heading...-- Congresses. Algebraic logic -- Congresses. Computer scien...

Logic and its applications. : international conference on logic and its applications in algebra and geometry : workshop on combinatorial set theory, excellent classes, and schanuel conjecture : Apr 2003, Ann Arbor, MI. (Contemporary Mathematics ; 380)

Logic and its applications. : international conference on logic and its applications in algebra and geometry : workshop on combinatorial set theory, excellent classes, and schanuel conjecture : Apr 2003, Ann Arbor, MI. (Contemporary Mathematics ; 380)
Paper図書
American Mathematical Societyc2005.<M17-05-2336>
National Diet Library
  • Subject HeadingAlgebraic logic -- Congresses. Algebraic geom...

Bringing out the algebraic character of arithmetic : from children's ideas to classroom practice / Analúcia D. Schliemann, David W. Carraher, Bárbara M. Brizuela. (Studies in mathematical thinking and learning)

Bringing out the algebraic character of arithmetic : from children's ideas to classroom practice / Analúcia D. Schliemann, David W. Carraher, Bárbara M. Brizuela. (Studies in mathematical thinking and learning)
Paper図書
Lawrence Erlbaum Associates2007.<YU111-B582>
National Diet Library
  • Subject HeadingArithmetic -- Study and teaching (Elementary) Algebraic logic -- Study and teaching (Elemen...

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)
Paper図書
Springerc2008.<M17-08-1262>
National Diet Library
  • Subject Heading...-- Congresses. Algebraic logic -- Congresses. Computer scien...

Algebraic logic : pbk.

Algebraic logic : pbk.
Paper図書
Paul R. HalmosDover Publications2016
Other Libraries in Japan
  • Subject HeadingAlgebraic logic
  • Subject Heading (ID)Algebraic logic

Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)

Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)
Paper図書
Springerc2006.<M17-06-3042>
National Diet Library
  • Subject HeadingAlgebraic logic -- Congresses. Computer scien...

A general algebraic semantics for sentential logics 2nd ed.

A general algebraic semantics for sentential logics 2nd ed.
Paper図書
Josep Maria Font, Ramon JansanaAssociation for Symbolic Logicc2016
Other Libraries in Japan
  • Subject HeadingAlgebraic logic
  • Subject Heading (ID)Algebraic logic

Algebraic coding theory and information theory : DIMACS workshop : algebraic coding theory and information theory : December 15-18, 2003 : Rutgers University : Piscataway, New Jersey. : 2001-2005 special focus on computational information theory and coding : 4-year special focus on computational information theory and coding : Dec 2003, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 68)

Algebraic coding theory and information theory : DIMACS workshop : algebraic coding theory and information theory : December 15-18, 2003 : Rutgers University : Piscataway, New Jersey. : 2001-2005 special focus on computational information theory and coding : 4-year special focus on computational information theory and coding : Dec 2003, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 68)
Paper図書
American Mathematical Societyc2005.<M17-05-1783>
National Diet Library
  • Subject Heading...-- Congresses. Algebraic logic -- Congresses.

Algebraizable logics

Algebraizable logics
Paper図書
W.J. Blok and Don PigozziAdvanced Reasoning Forum2014
Other Libraries in Japan
  • Subject HeadingAlgebraic logic
  • Subject Heading (ID)Algebraic logic

The equationally-defined commutator : a study in equational logic and algebra

The equationally-defined commutator : a study in equational logic and algebra
Paper図書
Janusz CzelakowskiBirkhäuserc2015
Other Libraries in Japan
  • Subject HeadingAlgebraic logic Commutators (Operator theory)
  • Subject Heading (ID)Algebraic logic Commutators (Operator theory)
RSS