Pages that link to "Item:Q865045"

The following pages link to Selfextensional logics with a conjunction (Q865045):

Displaying 22 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)
• (Q5311056) (← links)