Pages that link to "Item:Q865045"
From MaRDI portal
The following pages link to Selfextensional logics with a conjunction (Q865045):
Displayed 14 items.
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- A new view of effects in a Hilbert space (Q514507) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- XIV Latin American Symposium on Mathematical Logic (SLALM) (Q3398618) (← links)