The following pages link to (Q4079581):
Displaying 30 items.
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Aristotelian diagrams for semantic and syntactic consequence (Q2690166) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- A system for proper multiple-conclusion entailment (Q2987737) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- (Q4553278) (← links)
- Generalized Entailments (Q4568330) (← links)
- FDE: A Logic of Clutters (Q4912990) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- Comments on the Contributions (Q5027252) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Disjunctive Multiple-Conclusion Consequence Relations (Q5126201) (← links)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← links)
- Ordering groups constructively (Q5238136) (← links)
- Stipulation and Symmetrical Consequence (Q5241532) (← links)
- The Algebra of Opposition (and Universal Logic Interpretations) (Q5258966) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- Idempotent full paraconsistent negations are not algebraizable (Q5937811) (← links)
- Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces (Q6044445) (← links)
- What is a logical theory? On theories containing assertions and denials (Q6067100) (← links)
- Two traditions in abstract valuational model theory (Q6088600) (← links)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- Consequence relations and data science: from Galois mappings to data interpretation (Q6577633) (← links)
- An essay in matrix semantics for consequence relations (Q6610498) (← links)
- A logical consequence informed by probability (Q6633057) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
