Pages that link to "Item:Q4458702"
From MaRDI portal
The following pages link to On the linear Lindenbaum algebra of Basic Propositional Logic (Q4458702):
Displaying 13 items.
- Amalgamation property for the class of basic algebras and some of its natural subclasses (Q862346) (← links)
- Existence of the least and the greatest elements of a subset of the Lindenbaum algebra (Q1086230) (← links)
- Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
- Implication via spacetime (Q2658280) (← links)
- On the structure and the properties of \(L_0^*\)-Lindenbaum algebra (Q2752631) (← links)
- On linear Brouwerian logics (Q2922494) (← links)
- On Löb algebras (Q3376543) (← links)
- On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi (Q3727948) (← links)
- (Q3824308) (← links)
- (Q4222846) (← links)
- Some Properties of Linear Logic Proved by Semantic Methods (Q4323009) (← links)
- On self‐distributive weak Heyting algebras (Q6096729) (← links)
- A study on some classes of distributive lattices with a generalized implication (Q6663920) (← links)