The following pages link to (Q3268305):
Displayed 50 items.
- Deduction theorems for RM and its extensions (Q1257468) (← links)
- The existence of matrices strongly adequate for E, R and their fragments (Q1259580) (← links)
- Axiomatization of semigroup consequences (Q1263575) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Algebraic study of Sette's maximal paraconsistent logic (Q1344874) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Deductive argumentation by enhanced sequent calculi and dynamic derivations (Q1744402) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- On structural completeness of Lukasiewicz's logics (Q1846414) (← links)
- Remarks on a theorem of McGee (Q1896786) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- Human rationality challenges universal logic (Q1931349) (← links)
- Replacement in logic (Q1947034) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- Direct proofs of Lindenbaum conditionals (Q2254568) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- Logical argumentation by dynamic proof systems (Q2424889) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach (Q2506098) (← links)
- Some theorems on abstract logics (Q2548597) (← links)
- The problem of reconstructability of propositional calculi (Q2559462) (← links)
- Identity connective and modality (Q2561209) (← links)
- Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations (Q2626580) (← links)
- On the scope of Lindenbaum's theorem on complete supersystems (Q2626589) (← links)
- Axiomatization of the De Morgan type rules (Q2640587) (← links)
- Theories of propositional logics and the converse of substitution (Q2678340) (← links)
- Filter pairs and natural extensions of logics (Q2700816) (← links)
- $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Algebraic Valuations as Behavioral Logical Matrices (Q3638271) (← links)
- CLASSICALLY ARCHETYPAL RULES (Q4577996) (← links)
- Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations (Q4999460) (← links)
- Connexive Variants of Modal Logics Over FDE (Q5020173) (← links)
- Pure Variable Inclusion Logics (Q5066089) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Two Genuine 3-Valued Paraconsistent Logics (Q5213770) (← links)
- Strong Three-Valued Paraconsistent Logics (Q5241521) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Homotopical Categories of Logics (Q5258961) (← links)
- Fuzzy semantics for multiple-conclusion sequential calculi with structural rules (Q5947553) (← links)
- What is a logical theory? On theories containing assertions and denials (Q6067100) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
- A postulate-driven study of logical argumentation (Q6136108) (← links)