The following pages link to Ramon Jansana (Q218968):
Displaying 50 items.
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Generalized Priestley quasi-orders (Q634744) (← links)
- Distributive lattices with a generalized implication: topological duality (Q634749) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Varieties of interlaced bilattices (Q647327) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- A spectral-style duality for distributive posets (Q722594) (← links)
- Priestley style duality for distributive meet-semilattices (Q763299) (← links)
- On the free frontal implicative semilattice extension of a frontal Hilbert algebra (Q780095) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- (Q1005984) (redirect page) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- Some logics related to von Wright's logic of place (Q1333310) (← links)
- On elementary equivalence for equality-free logic (Q1355131) (← links)
- A new semantics for positive modal logic (Q1377550) (← links)
- Leibniz filters revisited (Q1419384) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- A survey of abstract algebraic logic (Q1422446) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Abstract modal logics (Q1902554) (← links)
- Residuated bilattices (Q1933771) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Esakia style duality for implicative semilattices (Q1942035) (← links)
- \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
- Definability of Leibniz equality (Q1970645) (← links)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- A note on Hilbert algebras and their related generalized Esakia spaces (Q2520718) (← links)
- A topological duality for posets (Q2520766) (← links)
- Bounded distributive lattices with two subordinations (Q2658281) (← links)
- Fully adequate Gentzen systems and the deduction theorem (Q2772907) (← links)
- A note on the model theory for positive modal logic (Q2882459) (← links)
- On the free implicative semilattice extension of a Hilbert algebra (Q2888632) (← links)
- Four-valued modal logic: Kripke semantics and duality (Q2987046) (← links)
- Some characterization theorems for infinitary universal Horn logic without equality (Q3128471) (← links)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
- (Q3367285) (← links)
- (Q3520838) (← links)
- (Q3666830) (← links)
- (Q3743303) (← links)
- On the Mathematical Content of the Theory of Classes KM (Q3813811) (← links)
- (Q4284397) (← links)
- On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics (Q4318163) (← links)
- (Q4335229) (← links)
- Weakly algebraizable logics (Q4508251) (← links)
- (Q4530155) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- A note of the full generalized models of the extensions of a logic (Q4609355) (← links)
