- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Independent basis for the consequence determined by non-degenerated distributive lattices
Bulletin of the Section of Logic 9 (3):141-143 (1980)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On finitely based consequence determined by a distributive lattice.Kazimiera Dyrda & Tadeusz Prucnal - 1980 - Bulletin of the Section of Logic 9 (2):60-64.
Normal filters of distributive lattices.M. Sambasiva Rao - 2012 - Bulletin of the Section of Logic 41 (3/4):131-143.
The number of quasivarietes of distributive lattices with pseudocomplementation.Andrzej Wronski - 1976 - Bulletin of the Section of Logic 5 (3):115-119.
Products of skeletons of finite distributive lattices.Joanna Grygiel - 2011 - Bulletin of the Section of Logic 40 (1/2):55-61.
Some numerical characterization of finite distributive lattices.Joanna Grygiel - 2004 - Bulletin of the Section of Logic 33 (3):127-133.
Metric Postulates for Modular, Distributive, and Boolean Lattices.D. W. Miller - 1979 - Bulletin of the Section of Logic 8 (4):191-195.
A Note on some Characterization of Distributive Lattices of Finite Length.Marcin Łazarz & Krzysztof Siemieńczuk - 2015 - Bulletin of the Section of Logic 44 (1/2):15-17.
Some elementary properties of conditionally distributive lattices.Jacek Hawranek & Jan Zygmunt - 1983 - Bulletin of the Section of Logic 12 (3):117-120.
Lattices of non-Locally Finite Hypergraphs are not Heyting.Adam Kolany - 2006 - Bulletin of the Section of Logic 35 (2/3):105-109.
On finitely e-based consequence determined by Wronski's matrix.Tadeusz Prucnal - 1985 - Bulletin of the Section of Logic 14 (1):15-18.
Analytics
Added to PP
2015-02-02
Downloads
0
6 months
0
2015-02-02
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
An alternative proof of the Hilbert-style axiomatization for the {∧,∨}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\{\wedge,\vee \}$$\end{document}-fragment of classical propositional logic. [REVIEW]Luciano J. González - 2022 - Archive for Mathematical Logic 61 (5-6):859-865.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo