The following pages link to (Q2753193):
Displaying 50 items.
- Current trends in substructural logics (Q266641) (← links)
- Paraconsistent logic (Q266659) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras (Q472706) (← links)
- A generalization of the Routley-Meyer semantic framework (Q496325) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- Possible worlds in use (Q647416) (← links)
- Negation in the context of gaggle theory (Q813083) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- A positive information logic for inferential information (Q833030) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- Algebras for Galois-style connections and their discrete duality (Q969585) (← links)
- Inferentializing semantics (Q975776) (← links)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448) (← links)
- Varieties of misrepresentation and homomorphism (Q1705304) (← links)
- Nonclassical probability and convex hulls (Q1706782) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Blurring: an approach to conflation (Q1750295) (← links)
- Semantics for dual and symmetric combinatory calculi (Q1826434) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
- Contradictory information: too much of a good thing (Q1959325) (← links)
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Implicational tonoid logics: algebraic and relational semantics (Q2070425) (← links)
- Implicational partial Galois logics: relational semantics (Q2070426) (← links)
- Logics of order and related notions (Q2106877) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- The continuous weak order (Q2196345) (← links)
- Basic quasi-Boolean expansions of relevance logics (Q2236601) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Questions and answers in an orthoalgebraic approach (Q2255196) (← links)
- Speech acts, categoricity, and the meanings of logical connectives (Q2258539) (← links)
- Logical geometries and information in the square of oppositions (Q2258819) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) (Q2481250) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- From modal discourse to possible worlds (Q2500773) (← links)
- Weakly implicative (fuzzy) logics. I: Basic properties (Q2505501) (← links)
- Residuated expansions of lattice-ordered structures (Q2658277) (← links)
