Pages that link to "Item:Q865045"
From MaRDI portal
The following pages link to Selfextensional logics with a conjunction (Q865045):
Displayed 21 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)
- De Morgan clones and four-valued logics (Q829759) (← 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)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras (Q2082260) (← links)
- Monotonic modal logics with a conjunction (Q2238141) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- XIV Latin American Symposium on Mathematical Logic (SLALM) (Q3398618) (← links)
- Pure Variable Inclusion Logics (Q5066089) (← links)