Bulletin of the Section of Logic

Bulletin of the Section of Logic

Bibliographic Details
Format:	journal
Language:	English
Published:	Lodz University Press 2020
Subjects:	logical calculi logical calculus mathematical logic and foundations computer science general algebraic systems ordered algebraic structures Logic BC1-199
Online Access:	https://doaj.org/toc/2449-836X

Similar Items

Duality Theories for Boolean Algebras with Operators
by: Givant, Steven
Published: (2014)

Proof Theory for Fuzzy Logics
by: Metcalfe, George, et al.
Published: (2009)

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Published: (2016)

Introduction to Boolean Algebras
by: Halmos, Paul, et al.
Published: (2009)

Cardinal Invariants on Boolean Algebras Second Revised Edition /
by: Monk, J. Donald
Published: (2014)

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004 /
Published: (2006)

Ordered Sets An Introduction with Connections from Combinatorics to Topology /
by: Schröder, Bernd
Published: (2016)

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
Published: (2008)

Non-commutative Multiple-Valued Logic Algebras
by: Ciungu, Lavinia Corina
Published: (2014)

From Objects to Diagrams for Ranges of Functors
by: Gillibert, Pierre, et al.
Published: (2011)

Towards a General Theory of Classifications
by: Parrochia, Daniel, et al.
Published: (2013)

The Congruences of a Finite Lattice A "Proof-by-Picture" Approach /
by: Grätzer, George
Published: (2016)

The Congruences of a Finite Lattice A Proof-by-Picture Approach /
by: Grätzer, George
Published: (2006)

The q-theory of Finite Semigroups
by: Rhodes, John, et al.
Published: (2009)

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 /
Published: (2009)

M-Solid Varieties of Algebras
by: Koppitz, J., et al.
Published: (2006)

Proof Theory and Algebra in Logic
by: Ono, Hiroakira, et al.
Published: (2019)

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings /
Published: (2013)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory /
by: Lau, Dietlinde
Published: (2006)

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV /
Published: (2009)

Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
Published: (2015)

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /
Published: (2007)

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /
Published: (2008)

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings /
Published: (2006)

Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings /
Published: (2011)

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings /
Published: (2012)

Introduction to Relation Algebras Relation Algebras, Volume 1 /
by: Givant, Steven
Published: (2017)

Advanced Topics in Relation Algebras Relation Algebras, Volume 2 /
by: Givant, Steven
Published: (2017)

Informal Logic
Published: (2008)

A Course on Mathematical Logic
by: Srivastava, S. M.
Published: (2008)

A Course on Mathematical Logic
by: Srivastava, Shashi Mohan
Published: (2013)

Problems and Proofs in Numbers and Algebra
by: Millman, Richard S., et al.
Published: (2015)

Lecture Notes on O-Minimal Structures and Real Analytic Geometry
Published: (2012)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Published: (2009)

Cylindric-like Algebras and Algebraic Logic
Published: (2013)

Logical Methods in Computer Science
Published: (2004)

Philosophies
Published: (2017)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Published: (2015)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Published: (2017)

Semigroups in Complete Lattices Quantales, Modules and Related Topics /
by: Eklund, Patrik, et al.
Published: (2018)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών